Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Don't rely on autogenerated names | Jason Gross | 2017-06-05 |
| | | | | | | This fixes all of the private-names warnings emitted by compiling fiat-crypto with https://github.com/coq/coq/pull/268 (minus the ones in coqprime, which I didn't touch). | ||
* | Set Asymmetric Patterns | Jason Gross | 2016-06-10 |
| | |||
* | Add coqprime that works with 8.5, bundle bedrock | Jason Gross | 2016-06-10 |
This simplifes the build process, and also allows us to try to build with 8.5. We autodetect the version of Coq in the Makefile to decide which version of coqprime to build. |