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