Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Synthesize selectznz | 2018-07-03 | |
| | |||
* | Synthesize more | 2018-07-03 | |
| | |||
* | WIP | 2018-07-03 | |
| | |||
* | Fix sed scripts in Makefile | 2018-06-28 | |
| | |||
* | Be more aggressive about removing \r | 2018-06-19 | |
| | |||
* | Make COQPATH in Makefile work on Windows / cygwin | 2018-06-19 | |
| | |||
* | New pipeline, split among files | 2018-06-17 | |
| | |||
* | Add more files to nobigmem | 2018-05-15 | |
| | |||
* | Fix a bug in previous commit | 2018-05-15 | |
| | |||
* | Add nobigmem target for Coq's ci | 2018-05-15 | |
| | |||
* | Don't allow coqprime and coqprime-all to run in parallel | 2018-04-30 | |
| | | | | We only want one invocation of submake at a time. | ||
* | Only install files built by the coq target | 2018-04-30 | |
| | |||
* | Add a coqprime-all target to build all of coqprime | 2018-04-30 | |
| | |||
* | Fix the lite-display target | 2018-04-20 | |
| | |||
* | Add COQLIBS to display targets | 2018-04-18 | |
| | | | | | As per https://github.com/mit-plv/fiat-crypto/issues/344#issuecomment-381424442 | ||
* | Error if a display target fails | 2018-04-18 | |
| | | | | | | | Because pipes eat error codes, we were previously succeeding when display targets fail. This meant that we didn't catch https://github.com/mit-plv/fiat-crypto/issues/344#issuecomment-381422896 on Travis. Now we will. | ||
* | Add a lite-display target | 2018-04-15 | |
| | |||
* | coqprime in COQPATH (closes #269) | 2018-02-24 | |
| | |||
* | Fix no-curves-proofs-non-specific target | 2018-02-11 | |
| | | | | Previously the vo_reverse_closure logic was not working correctly | ||
* | Support older git ls-files | 2018-02-10 | |
| | | | | The older ones don't have --recurse-submodules | ||
* | add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock ↵ | 2018-02-05 | |
| | | | | directory | ||
* | Add separate targets to build but not run test/bench | 2018-01-16 | |
| | |||
* | Move Curves/Weierstrass/Jacobian to curves-proofs | 2018-01-09 | |
| | | | | | We have about 15 minutes to spare on the curves-proofs travis job, so we move Jacobian.vo from no-curves-proofs-non-specific to there. | ||
* | @davidben merged Jacobian+affine into Jacobian+Jacobian | 2018-01-09 | |
| | |||
* | Also display timing on .log files | 2017-12-14 | |
| | |||
* | Apparently ln -s is too slow on travis, so we fake it when we're not ↵ | 2017-12-13 | |
| | | | | building things | ||
* | Fix call to ln -s | 2017-12-12 | |
| | |||
* | Fix fast-autogenerated-deps target | 2017-12-12 | |
| | | | | | | | Also add a kludge to override the .v.d targets of the relevant files. It unfortunately spews a lot of makefile output, but it's better than the target not working at all. When the target is not passed, the behavior is unchanged. | ||
* | Test more synthesis files on travis / lite | 2017-12-11 | |
| | |||
* | Add src/Specific/.autgenerated-deps to clean target | 2017-11-26 | |
| | |||
* | Add a target to speed up coqdep with a kludge on travis | 2017-11-26 | |
| | |||
* | Add a regenerate-curves target | 2017-11-17 | |
| | | | | | | It's currently a bit ad-hoc, and relies on the presence of git to add things to _CoqProject, but it's a bit better than manually invoking the commands. More refinements to come, hopefully. | ||
* | Makefile: generated-benchmarks | 2017-11-13 | |
| | |||
* | update remake-curves.sh and Makefile | 2017-11-12 | |
| | |||
* | Remove from the lite target the slowest file currently in it | 2017-11-09 | |
| | | | | It takes 7m29.22s on Travis | ||
* | run some benchmarks | 2017-11-03 | |
| | |||
* | benchmarks build WIP | 2017-11-02 | |
| | |||
* | Add fibe target | 2017-11-02 | |
| | |||
* | Add makefile targets for gmpvar, gmpsec | 2017-11-02 | |
| | |||
* | Pipe output of gmpxx run to log file | 2017-11-02 | |
| | |||
* | Add gmpxx compilation | 2017-11-02 | |
| | |||
* | Add generated-py-bench target | 2017-11-02 | |
| | | | | | | This target runs montladder.py for each curve cc @andres-erbsen | ||
* | autogenerated c files don't have corresponding .h files | 2017-11-02 | |
| | |||
* | Better generation of autogenerated c files | 2017-11-02 | |
| | | | | Also move bench framework to src/Specific/Framework/bench/ | ||
* | Extract correct bitwidth of functions for c code | 2017-11-02 | |
| | |||
* | Remove NISTP256/AMD128 from lite target | 2017-10-25 | |
| | | | This hopefully fixes #262 | ||
* | Add a missing line continuation in Makefile | 2017-10-24 | |
| | |||
* | Don't build feadd,fesub,fecarry .c files | 2017-10-24 | |
| | | | | They don't work with the testing infrastructure, currently. | ||
* | Add nonautogenerated-specific{,-display} targets | 2017-10-23 | |
| | |||
* | Add FancyMachine256 to selected-specific | 2017-10-19 | |
| |