aboutsummaryrefslogtreecommitdiff
path: root/src/PushButtonSynthesis
Commit message (Expand)AuthorAge
* fix montgomeryGravatar jadep2019-03-25
* finish proofsGravatar jadep2019-03-25
* Get new Barrett proofs to generate Fancy code as beforeGravatar jadep2019-03-25
* adapt barrett to new glue codeGravatar jadep2019-02-21
* Make Qed not take foreverGravatar jadep2019-02-21
* start adapting Montgomery to new glue codeGravatar jadep2019-02-21
* Use Preconditions: Postconditions:, rather than /\ and ->Gravatar Jason Gross2019-02-02
* More minor improvements in docstringsGravatar Jason Gross2019-02-02
* Rename docstring generator based on Andres' suggestionGravatar Jason Gross2019-02-02
* Update with davidben's and Andres' suggestionsGravatar Jason Gross2019-02-02
* Drop `map λ` bits in docstringsGravatar Jason Gross2019-02-02
* Address code review comments to improve docstringsGravatar Jason Gross2019-02-02
* Add autogenerated docstrings to synthesized codeGravatar Jason Gross2019-02-02
* Also display the carry chain in a commentGravatar Jason Gross2019-01-26
* Add better computation of carry chainGravatar Jason Gross2019-01-26
* Split up PushButtonSynthesis.vGravatar Jason Gross2019-01-18
* move src/Experiments/NewPipeline/ to src/Gravatar Andres Erbsen2019-01-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 23:54:08 +0000