aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* build two montgomery files, including 32-bit p256Gravatar Andres Erbsen2017-11-15
* Add MontgomeryAPI.encode and two lemmas about itGravatar Jason Gross2017-11-14
* modify parameter-generation script to raise errors on missing datapointsGravatar jadep2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Add more constant notationsGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Merge branch 'master' of ssh://github.com/mit-plv/fiat-cryptoGravatar Adam Chlipala2017-11-14
|\
* | Expand ratios scriptGravatar Adam Chlipala2017-11-14
| * Update display logs and c filesGravatar Jason Gross2017-11-14
| * Update display logs and c filesGravatar Jason Gross2017-11-14
| * Update display logs and c filesGravatar Jason Gross2017-11-14
|/
* A small script for calculating speedup ratios from resultsGravatar Adam Chlipala2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-14
* Update display logs and c filesGravatar Jason Gross2017-11-13
* new graph tweaks (incl. aggregating new benchmark data)Gravatar jadep2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* run benchmarks on AndroidGravatar Andres Erbsen2017-11-13
* Update GeneralizeVar to ensure WfGravatar Jason Gross2017-11-13
* Add some convenience notations in Z.Syntax.EqualityGravatar Jason Gross2017-11-13
* Revert "first batch benchmarks stash"Gravatar Andres Erbsen2017-11-13
* Makefile: generated-benchmarksGravatar Andres Erbsen2017-11-13
* run benchmarksGravatar Andres Erbsen2017-11-13
* first batch benchmarks stashGravatar Andres Erbsen2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Bump submodule for timing orderingGravatar Jason Gross2017-11-13
* Remove dead code for renaming bindersGravatar Jason Gross2017-11-13
* Make pipeline options more easily extensibleGravatar Jason Gross2017-11-13
* Reflow commentGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
* Remove slow "intros [a b]"Gravatar Jason Gross2017-11-13
* Add faster version of intros [a b] for reflective stuffGravatar Jason Gross2017-11-13
* Update display logs and c filesGravatar Jason Gross2017-11-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 10:35:42 +0000