Taylor Hornby 46ad3c2758 Fix inconsistent optimization flags; single source of truth.

2016-08-17 11:38:28 -06:00

..

build.sh

Fix inconsistent optimization flags; single source of truth.

2016-08-17 11:38:28 -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