aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Collapse)AuthorAge
...
* etc: add scripts to control turbo boost and hyper threadingGravatar Andres Erbsen2017-07-05
|
* benchmarking: correct for differences in CPU and TSC frequencyGravatar Andres Erbsen2017-07-05
|
* don't key benchmarks on cpu frequencyGravatar Andres Erbsen2017-06-18
|
* handle missing /sys/class/power_supply/ACGravatar Andres Erbsen2017-06-18
|
* more sh portability fixes...Gravatar Andres Erbsen2017-06-18
|
* "make bench", currently just X25519-C64 (closes #185)Gravatar Andres Erbsen2017-06-18
|
* Bump coq-scriptsGravatar Jason Gross2017-06-06
|
* Unrevert the coq-scripts module againGravatar Jason Gross2017-04-14
| | | | cc @andres-erbsen
* stronger ladderstep correctness proof courtesy TeoGravatar Andres Erbsen2017-04-14
|
* Revert "update coq-scripts"Gravatar Jason Gross2017-04-13
| | | | | | | | This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits.
* update coq-scriptsGravatar Andres Erbsen2017-04-12
|
* Fix vo_reverse_closureGravatar Jason Gross2017-04-09
|
* Add printreversedepsGravatar Jason Gross2017-04-09
|
* Bump submodule for better travis timing logsGravatar Jason Gross2017-01-31
|
* Don't let travis kill us in 10 minutes of silenceGravatar Jason Gross2016-11-18
|
* Also redact mit-plv and fiat-cryptoGravatar Jason Gross2016-11-15
|
* Add author-blacklist for repo anonymizerGravatar Jason Gross2016-11-14
|
* GF25519: add optimized addition chainGravatar Andres Erbsen2016-11-11
|
* Bump submodule for better timingGravatar Jason Gross2016-09-07
|
* Bump submoduleGravatar Jason Gross2016-07-19
|
* Bump submoduleGravatar Jason Gross2016-07-19
|
* Add coq-scripts submodule for timing scriptsGravatar Jason Gross2016-06-22
|
* Fix freshen-bedrock-files.shGravatar Jason Gross2016-04-03
| | | | Previously, it was not actually recording when it found things.
* Add etc/freshen-bedrock-files.shGravatar Jason Gross2016-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.