Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Minor improvements to various ZUtil things; bounds | Jason Gross | 2018-08-25 |
* | Fix bounds on n_corners_and_zero | Jason Gross | 2018-08-16 |
* | Prove monotonicity properties about zrange | Jason Gross | 2018-08-15 |
* | Fix some bounds analysis | Jason Gross | 2018-08-13 |
* | Fix split_bounds, prove it correct | Jason Gross | 2018-08-13 |
* | Try out stronger land, lor bounds | Jason Gross | 2018-06-27 |
* | Add a couple of zrange lemmas | Jason Gross | 2018-06-26 |
* | Fix bounds analysis for saturated ops and remove unneeded comment | Jade Philipoom | 2018-04-30 |
* | Add ZRange.intersection | Jason Gross | 2018-02-23 |
* | Fix a typo | Jason Gross | 2018-02-23 |
* | Add some bounds operations to ZRange | Jason Gross | 2018-02-23 |
* | Add ZRange.opp | Jason Gross | 2018-02-23 |
* | Split off ZRange lemmas | Jason Gross | 2018-02-10 |
* | Add some ZRange operations | Jason Gross | 2018-02-10 |