Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Integrate suggestions from Andres | 2016-08-25 | |
* | Rework bounded proofs | 2016-08-24 | |
* | More slight cleanups | 2016-08-24 | |
* | Clean up DoubleBounded | 2016-08-24 | |
* | Coq 8.4 fixes | 2016-08-24 | |
* | Weaken the condition on smaller_bound | 2016-08-23 | |
* | Hook up the bounded interface, finish proofs | 2016-08-23 | |
* | Revert "Add _valid properties" | 2016-08-23 | |
* | Add _valid properties | 2016-08-23 | |
* | Fix some things | 2016-08-23 | |
* | Add TODO | 2016-08-23 | |
* | Rework interface to support rewriting database | 2016-08-23 | |
* | alternative machine interface specification proposal | 2016-08-23 | |
* | Initial work on an architecture interface for ℤ/nℤ | 2016-08-23 |