aboutsummaryrefslogtreecommitdiff
path: root/src/PushButtonSynthesis
Commit message (Expand)AuthorAge
* partition -> Partition.partition to prevent confusion with List.partitionGravatar jadep2019-04-03
* fix typoGravatar jadep2019-04-03
* fix up imports in SmallExamples.vGravatar jadep2019-04-03
* update import statementsGravatar jadep2019-04-03
* rename some thingsGravatar jadep2019-04-03
* fix imports and qualifiers so everything buildsGravatar jadep2019-04-03
* remove extraneous module identifiersGravatar jadep2019-04-03
* split up Arithmetic (imports etc. not yet fixed, does not build)Gravatar jadep2019-04-03
* Add constr_fail and constr_fail_withGravatar Jason Gross2019-03-31
* 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-02 02:01:29 +0000