Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add some more basic ZRange lemmas | 2019-01-15 | |
* | Add ZRange.is_bounded_by_bool_normalize_constant | 2018-12-11 | |
* | Add ZRange.normalize_constant | 2018-12-11 | |
* | Add ZRange.is_bounded_by_bool_constant | 2018-12-11 | |
* | Add ZRange.OperationBounds | 2018-12-11 | |
* | Add some zrange lemmas | 2018-11-01 | |
* | Add some zrange lemmas | 2018-10-11 | |
* | Minor improvements to various ZUtil things; bounds | 2018-08-25 | |
* | Add some basic ZRange lemmas | 2018-08-24 | |
* | Add ZRange.union_comm | 2018-08-24 | |
* | Fix some bounds analysis | 2018-08-13 | |
* | Fix split_bounds, prove it correct | 2018-08-13 | |
* | Factor through is_tighter_than_bool, add is_bounded_by_bool_Proper_if_sumbool... | 2018-08-13 | |
* | Add is_tighter_than_bool lemmas | 2018-06-27 | |
* | Add a couple of zrange lemmas | 2018-06-26 | |
* | Split off ZRange lemmas | 2018-02-10 |