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