Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Yet more repeat fixing | 2018-12-04 | |
* | Guarantee that casting always returns inrange | 2018-10-12 | |
* | Fix and prove bounds for fancymachine operations | 2018-09-28 | |
* | Solve two more zrange goals | 2018-09-12 | |
* | Make a recording of what zrange proofs are left | 2018-09-12 | |
* | Do almost all ZRange proofs | 2018-08-25 | |
* | Add more absint proofs | 2018-08-21 | |
* | Add more operation-specific proofs | 2018-08-21 |