Taylor Hornby 4e0b4af40f Enable -O1 for better FORTIFY_SOURCE protections.

2016-07-21 20:45:02 -06:00

..

build.sh

Enable -O1 for better FORTIFY_SOURCE protections.

2016-07-21 20:45:02 -06:00

cleanup-tags.sh

A script to remove "unofficial" tags from a remote, such as github.

2016-05-30 16:54:23 -07:00

fetch-params.sh

Remove the constraint system from the alpha proving key.

2016-07-19 14:01:58 -06:00