| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Bump coqprime |  Jason Gross | 2018-07-10 |
| | | | | | Fixes #379 (I hope) | ||
| * | update coqprime |  Jade Philipoom | 2018-04-09 |
| | | |||
| * | reorganization: move more things into BaseConversion | Jade Philipoom | 2018-04-09 |
| | | |||
| * | Update coqprime | Jason Gross | 2018-04-03 |
| | | |||
| * | pass-through after Andres's review in #334 | Jade Philipoom | 2018-04-03 |
| | | |||
| * | Bump coqprime for .gitignore | Jason Gross | 2018-03-10 |
| | | |||
| * | git submodule update --remote --recursive |  Andres Erbsen | 2018-02-24 |
| | | |||
| * | coqprime in COQPATH (closes #269) | Andres Erbsen | 2018-02-24 |
| | | |||
| * | Change Implicit Arguments to Arguments in coqprime |  Jasper Hugunin | 2018-02-23 |
| | | |||
| * | Remove obsolete syntax for locality. (#270) |  Maxime Dénès | 2017-11-20 |
| | | | | | | | | This is preparing the landing of https://github.com/coq/coq/pull/1049. For now, I'm duplicating this patch which was already done upstream in CoqPrime, but please consider removing this ad-hoc copy (see discussion on PR #269). | ||
| * | Strip trailing whitespace | Jason Gross | 2017-06-02 |
| | | | | | | | | With ```bash bash ./etc/coq-scripts/formatting/strip-trailing-whitespace.sh ``` | ||
| * | Make Coq 8.5 the default target for Fiat-Crypto |  Jason Gross | 2016-06-22 |
| | | | | | Instructions for 8.4 build in the README | ||
| * | Absolutize Coqprime imports | Jason Gross | 2016-03-10 |
| | | | | | | | | | | | Used ```bash cd coqprime make -kj10 cd Coqprime git ls-files "*.v" | xargs python ~/Documents/repos/coq-tools/absolutize-imports.py -i -R . Coqprime ``` | ||
| * | Automate a UList proof a bit so it builds with 8.5 | Jason Gross | 2016-02-25 |
| | | | | | It still builds with 8.4 | ||
| * | Update Coqprime/UList | Jason Gross | 2016-02-24 |
| | | | | | | Ambiguous imports, oh joy! (Coqprime failed to build when Bedrock was in COQPATH.) | ||
| * | Update build process to use COQPATH & _CoqProject | Jason Gross | 2016-02-05 |
| | | | | | | | | | Removed all of the files not built by default; they can be resurrected from git history. _CoqProject is the standard way to list the files in a project and to give information to coq_makefile. COQPATH is the standard way to make use of not-yet-installed libraries that are not part of your project (i.e., you don't want to remove them when you `make clean`, etc.). | ||
| * | recursive-build coqprime |  Rob Sloan | 2016-01-28 |
| | | |||
| * | Import coqprime; use it to prove Euler's criterion. |  Jade Philipoom | 2016-01-20 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |