Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Update the graph maker | 2017-08-13 | ||
| | ||||
* | Update exhaustive search compiler | 2017-08-13 | ||
| | ||||
* | Add memoize.py to zinc compiler folder | 2017-08-11 | ||
| | ||||
* | wip on register allocation in python | 2017-08-09 | ||
| | ||||
* | Fix the sense of dependencies in zinc generation | 2017-08-09 | ||
| | | | | | This brings the maximum window size back down to 53, so we use the old method of making dependencies, rather than the new one. | |||
* | Get all scheduling done in one frame | 2017-08-09 | ||
| | ||||
* | Fix wip | 2017-08-09 | ||
| | ||||
* | Larger instruction window for zinc | 2017-08-09 | ||
| | ||||
* | Add a faster version of the zinc compiler | 2017-08-06 | ||
| | ||||
* | Add initial stab at C-compilation by optimization | 2017-08-06 | ||
| | ||||
* | Fix format warning in gcc | 2017-07-08 | ||
| | | | | Part of #227 | |||
* | Don't remove Adam Langley when anonymizing repo | 2017-07-06 | ||
| | ||||
* | s/bash/sh | 2017-07-05 | ||
| | ||||
* | etc: add scripts to control turbo boost and hyper threading | 2017-07-05 | ||
| | ||||
* | benchmarking: correct for differences in CPU and TSC frequency | 2017-07-05 | ||
| | ||||
* | don't key benchmarks on cpu frequency | 2017-06-18 | ||
| | ||||
* | handle missing /sys/class/power_supply/AC | 2017-06-18 | ||
| | ||||
* | more sh portability fixes... | 2017-06-18 | ||
| | ||||
* | "make bench", currently just X25519-C64 (closes #185) | 2017-06-18 | ||
| | ||||
* | Bump coq-scripts | 2017-06-06 | ||
| | ||||
* | Unrevert the coq-scripts module again | 2017-04-14 | ||
| | | | | cc @andres-erbsen | |||
* | stronger ladderstep correctness proof courtesy Teo | 2017-04-14 | ||
| | ||||
* | Revert "update coq-scripts" | 2017-04-13 | ||
| | | | | | | | | This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits. | |||
* | update coq-scripts | 2017-04-12 | ||
| | ||||
* | Fix vo_reverse_closure | 2017-04-09 | ||
| | ||||
* | Add printreversedeps | 2017-04-09 | ||
| | ||||
* | Bump submodule for better travis timing logs | 2017-01-31 | ||
| | ||||
* | Don't let travis kill us in 10 minutes of silence | 2016-11-18 | ||
| | ||||
* | Also redact mit-plv and fiat-crypto | 2016-11-15 | ||
| | ||||
* | Add author-blacklist for repo anonymizer | 2016-11-14 | ||
| | ||||
* | GF25519: add optimized addition chain | 2016-11-11 | ||
| | ||||
* | Bump submodule for better timing | 2016-09-07 | ||
| | ||||
* | Bump submodule | 2016-07-19 | ||
| | ||||
* | Bump submodule | 2016-07-19 | ||
| | ||||
* | Add coq-scripts submodule for timing scripts | 2016-06-22 | ||
| | ||||
* | Fix freshen-bedrock-files.sh | 2016-04-03 | ||
| | | | | Previously, it was not actually recording when it found things. | |||
* | Add etc/freshen-bedrock-files.sh | 2016-02-23 | ||
It is used on smithers to remove .vo files which are older than relevant Bedrock .vo files. This prevents version mismatches when updating Bedrock on smithers. |