| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | sed s'/RewriterProofs/RewriterAll/g' |  Jason Gross | 2019-04-11 |
| | | |||
| * | Update README.md with new structure of the rewriter | Jason Gross | 2019-04-11 |
| | | |||
| * | Add back build status indicator to README.md | Jason Gross | 2019-03-04 |
| | | |||
| * | link to papers in readme |  Andres Erbsen | 2019-01-10 |
| | | |||
| * | fix typo in README.md | Andres Erbsen | 2019-01-10 |
| | | |||
| * | remove old pipeline | Andres Erbsen | 2019-01-09 |
| | | |||
| * | move src/Experiments/NewPipeline/ to src/ | Andres Erbsen | 2019-01-09 |
| | | |||
| * | Update build instructions regarding submodules, install |  Jason Gross | 2018-09-11 |
| | | |||
| * | Improve documentation of binaries | Jason Gross | 2018-09-11 |
| | | |||
| * | Add some documentation to README about the new pipeline | Jason Gross | 2018-09-11 |
| | | | | | | The documentation is very minimal at the moment, but I plan to update it with more details in the near future. | ||
| * | README: note remake_curves.sh is in Specific/CurveParameters |  George Tankersley | 2018-08-09 |
| | | |||
| * | Update README.md |  Jason Gross | 2017-11-15 |
| | | | | Formatting | ||
| * | Update README.md | Jason Gross | 2017-11-15 |
| | | |||
| * | Update README.md | Jason Gross | 2017-11-15 |
| | | |||
| * | Update README.md | Jason Gross | 2017-11-15 |
| | | | | Add a first draft of pointers to navigating the repo. | ||
| * | README: recommend against Coq 8.5 | Andres Erbsen | 2017-07-07 |
| | | |||
| * | git rm -rf src/Assembly | Andres Erbsen | 2017-04-06 |
| | | |||
| * | remove obsolete content from readme | Andres Erbsen | 2017-04-03 |
| | | |||
| * | Remove coqprime-8.4 | Jason Gross | 2017-04-02 |
| | | | | | | | | We're using tactics in terms in some places, and so have no hope of compiling with Coq 8.4. We no longer pretend to support it. We can probably also remove some other compatibility things, if we want. | ||
| * | Add instructions on building to README | Jason Gross | 2016-11-15 |
| | | |||
| * | If COQPATH is not set, set it by default (#38) | Jason Gross | 2016-07-25 |
| | | | | This allows most users to not need to type COQPATH=... on make. | ||
| * | Make Coq 8.5 the default target for Fiat-Crypto | Jason Gross | 2016-06-22 |
| | | | | | Instructions for 8.4 build in the README | ||
| * | Add travis build status indicator | Jason Gross | 2016-06-20 |
| | | |||
| * | readme typo | Andres Erbsen | 2016-06-20 |
| | | |||
| * | readme: dont say things I am not sure of | Andres Erbsen | 2016-06-20 |
| | | |||
| * | Update README so it's good for both github.com and github.mit.edu | Jason Gross | 2016-06-15 |
| | | |||
| * | 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. | ||
| * | 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.). | ||
| * | Import coqprime; use it to prove Euler's criterion. |  Jade Philipoom | 2016-01-20 |
| | | |||
| * | remove fiat dependency | Andres Erbsen | 2016-01-16 |
| | | |||
| * | init our centralized repo |  Robert Sloan | 2015-09-10 |
| | | |||
| * | Initial commit |  Robert Sloan | 2015-09-10 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |