aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Expand)AuthorAge
* Unrevert the coq-scripts module againGravatar Jason Gross2017-04-14
* stronger ladderstep correctness proof courtesy TeoGravatar Andres Erbsen2017-04-14
* Revert "update coq-scripts"Gravatar Jason Gross2017-04-13
* 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
* Add etc/freshen-bedrock-files.shGravatar Jason Gross2016-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 12:16:52 +0000