aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Update README.mdGravatar Jason Gross2017-11-15
* Update README.mdGravatar Jason Gross2017-11-15
* Update README.mdGravatar Jason Gross2017-11-15
* Update README.mdGravatar Jason Gross2017-11-15
* Empty commit with complete build logGravatar Jason Gross2017-11-15
* Delete .gitignoreGravatar Jason Gross2017-11-15
* Add Andres' machine name to the author blacklistGravatar Jason Gross2017-11-15
* Also anonymize 'fiat', e.g., in 'fiat_solinas'Gravatar Jason Gross2017-11-15
* Add Fiat-Crypto to the list of things to be anonymizedGravatar Jason Gross2017-11-15
* Update display logs and c filesGravatar Jason Gross2017-11-15
* Add a bunch of missing fesquare filesGravatar Jason Gross2017-11-15
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 19:05:10 +0000