Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add some basic ZRange lemmas | Jason Gross | 2018-08-24 |
| | |||
* | Add ZRange.union_comm | Jason Gross | 2018-08-24 |
| | |||
* | Fix some bounds analysis | Jason Gross | 2018-08-13 |
| | |||
* | Fix split_bounds, prove it correct | Jason Gross | 2018-08-13 |
| | |||
* | Factor through is_tighter_than_bool, add ↵ | Jason Gross | 2018-08-13 |
| | | | | is_bounded_by_bool_Proper_if_sumbool_union | ||
* | Add is_tighter_than_bool lemmas | Jason Gross | 2018-06-27 |
| | |||
* | Add a couple of zrange lemmas | Jason Gross | 2018-06-26 |
| | |||
* | Split off ZRange lemmas | Jason Gross | 2018-02-10 |