aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/FancyMachine256/Barrett.v
Commit message (Expand)AuthorAge
* Add [Proof using] to most proofsGravatar Jason Gross2017-04-04
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Add syntactic tuplesGravatar Jason Gross2016-11-06
* Split up DoubleBoundedProofs, add proofsGravatar Jason Gross2016-10-07
* Work around bug #5112 ([Arguments id /] broken)Gravatar Jason Gross2016-10-03
* Drop CSE from Fancy MachineGravatar Jason Gross2016-09-22
* Use dlet, not lletGravatar Jason Gross2016-09-22
* Don't inline everything in Montgomery and BarrettGravatar Jason Gross2016-09-22
* Make use of named syntax, do reg assign for fancyGravatar Jason Gross2016-09-22
* Move FancyMachine from Experiments to SpecificGravatar Jason Gross2016-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 12:53:46 +0000