aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Add string conversionsGravatar Jason Gross2018-02-11
* [Work in Progress] Experiment with Bounds Analysis based on lists (#305)Gravatar Jason Gross2018-02-11
* Add notation for option_bindGravatar Jason Gross2018-02-10
* Split off ZRange lemmasGravatar Jason Gross2018-02-10
* Add some ZRange operationsGravatar Jason Gross2018-02-10
* minor updates needed to make it compile with bbvGravatar Samuel Gruetter2018-02-05
* Add dead code elimination via inliningGravatar Jason Gross2018-01-29
* Have reification run delta on unknown identsGravatar Jason Gross2018-01-29
* Remove useless dletGravatar Jason Gross2018-01-29
* Change reduction behavior of let-bound listsGravatar Jason Gross2018-01-29
* Use Derive plugin, do two passes of partial reductionGravatar Jason Gross2018-01-29
* rerunGravatar Andres Erbsen2018-01-29
* fix carry chain in exampleGravatar Andres Erbsen2018-01-29
* Respond to some CR commentsGravatar Jason Gross2018-01-29
* Don't reify [let ... in ...], only [dlet ... in ...]Gravatar Jason Gross2018-01-29
* Write ltamer-based CPS transformGravatar Jason Gross2018-01-29
* Fix weight to use 51-bit limbsGravatar Jason Gross2018-01-29
* Remove use of beta in reification of Let_InGravatar Jason Gross2018-01-29
* Rename type.opaque to type.primitiveGravatar Jason Gross2018-01-29
* remove outdated commentGravatar Jason Gross2018-01-29
* Get cps for carry workingGravatar Jason Gross2018-01-29
* Support Let_in with not-fully-reduced second arg in reificationGravatar Jason Gross2018-01-29
* More types in type_opaque; restore nth_default notationGravatar Jason Gross2018-01-29
* Remove dead codeGravatar Jason Gross2018-01-29
* Add a CPS conversion passGravatar Jason Gross2018-01-29
* make SimplyTypedArithmetic less "Smart" by giving every expression a normal formGravatar Andres Erbsen2018-01-29
* Fix naming partial.interp -> partial.valueGravatar Jason Gross2018-01-29
* [demo] Add a list rec canonicalization passGravatar Jason Gross2018-01-29
* Revert "Remove the series of Let statements in favor of a fixpoint"Gravatar Jason Gross2018-01-29
* Shorter return statements by using notationsGravatar Jason Gross2018-01-29
* Remove the series of Let statements in favor of a fixpointGravatar Jason Gross2018-01-29
* Add a reference to a Coq issueGravatar Jason Gross2018-01-29
* Update some names in accordance with review commentsGravatar Jason Gross2018-01-29
* Remove dead code in commentsGravatar Jason Gross2018-01-29
* Finish first working version of partial reductionGravatar Jason Gross2018-01-29
* Partial work on fixing partial reductionGravatar Jason Gross2018-01-29
* Partial work on implementing partial reductionGravatar Jason Gross2018-01-29
* Pass -mbmi2 to gccGravatar Jason Gross2018-01-19
* Add better levels / printing for bind notationsGravatar Jason Gross2018-01-16
* Add .c and .log filesGravatar Jason Gross2018-01-15
* Add x25519 donna versions with the new way of generating C codeGravatar Jason Gross2018-01-15
* Combine the zero and non-zero cases together.Gravatar David Benjamin2018-01-15
* Add a comment for why Z.peano_rect_strong exists.Gravatar David Benjamin2018-01-14
* Add some fecarry .log filesGravatar Jason Gross2018-01-10
* Add some fecarry .log and .c filesGravatar Jason Gross2018-01-10
* Generate fecarry for solinasGravatar Jason Gross2018-01-10
* Factor out fsatz lemmasGravatar Jason Gross2018-01-09
* Replace char_ge_12 with char_ge_3Gravatar Jason Gross2018-01-09
* Massively speed up JacobianGravatar Jason Gross2018-01-09
* Revert "Replace char_ge_12 with char_ge_3"Gravatar Jason Gross2018-01-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 09:14:32 +0000