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