Taylor Hornby 998eea5db6 Disable hardening when building for coverage reports.		2016-08-11 15:15:50 -06:00
..
build.sh	Disable hardening when building for coverage reports.	2016-08-11 15:15:50 -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