aboutsummaryrefslogtreecommitdiff
path: root/src/BoundedArithmetic/Double
Commit message (Expand)AuthorAge
* rename-everythingGravatar Andres Erbsen2017-04-06
* reduce BaseSystemGravatar Andres Erbsen2017-04-06
* start removing BaseSystemGravatar Andres Erbsen2017-04-06
* git rm -rf src/BoundedArithmetic/Double/Repeated/ (and users)Gravatar Andres Erbsen2017-04-06
* Add [Proof using] to most proofsGravatar Jason Gross2017-04-04
* More fine-grained tactic importsGravatar Jason Gross2017-04-03
* Fix a typo in the previous commitGravatar Jason Gross2016-10-14
* Fix exponential blowup in some doubling opsGravatar Jason Gross2016-10-14
* Work around bug 5401 (bad let '(x, y))Gravatar Jason Gross2016-10-13
* Work around bug 5003 (broken omega on projections)Gravatar Jason Gross2016-10-10
* Add repeated multipleGravatar Jason Gross2016-10-10
* Add shl,shr,shrd to repeated doublingGravatar Jason Gross2016-10-09
* Add proofs for doubling shl,shr,shrdGravatar Jason Gross2016-10-09
* Some work on x86 and bounded repeated thingsGravatar Jason Gross2016-10-09
* Add some bounded decode/and thingsGravatar Jason Gross2016-10-09
* Split up DoubleBoundedProofs, add proofsGravatar Jason Gross2016-10-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 03:16:10 +0000