aboutsummaryrefslogtreecommitdiff
path: root/src/PushButtonSynthesis/Primitives.v
Commit message (Expand)AuthorAge
* partition -> Partition.partition to prevent confusion with List.partitionGravatar jadep2019-04-03
* fix imports and qualifiers so everything buildsGravatar 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
* 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
* Split up PushButtonSynthesis.vGravatar Jason Gross2019-01-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 20:40:59 +0000