aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ZRange
Commit message (Expand)AuthorAge
* Add some more basic ZRange lemmasGravatar Jason Gross2019-01-15
* Add ZRange.cc_m, ZRange.is_bounded_by_bool_cc_mGravatar Jason Gross2018-12-11
* Add ZRange.is_bounded_by_bool_normalize_constantGravatar Jason Gross2018-12-11
* Add ZRange.normalize_constantGravatar Jason Gross2018-12-11
* Add ZRange.is_bounded_by_bool_constantGravatar Jason Gross2018-12-11
* Add ZRange.OperationBoundsGravatar Jason Gross2018-12-11
* Add some zrange lemmasGravatar Jason Gross2018-11-01
* Make pairs work in Z_cast2Gravatar Jason Gross2018-11-01
* Export ZRange operation notationsGravatar Jason Gross2018-11-01
* Add zrange notationsGravatar Jason Gross2018-11-01
* Add more zrange operationsGravatar Jason Gross2018-11-01
* Add some zrange lemmasGravatar Jason Gross2018-10-11
* Minor improvements to various ZUtil things; boundsGravatar Jason Gross2018-08-25
* Add some basic ZRange lemmasGravatar Jason Gross2018-08-24
* Add ZRange.union_commGravatar Jason Gross2018-08-24
* Fix bounds on n_corners_and_zeroGravatar Jason Gross2018-08-16
* Prove monotonicity properties about zrangeGravatar Jason Gross2018-08-15
* Fix some bounds analysisGravatar Jason Gross2018-08-13
* Add the file proving split_bounds correctGravatar Jason Gross2018-08-13
* Fix split_bounds, prove it correctGravatar Jason Gross2018-08-13
* Factor through is_tighter_than_bool, add is_bounded_by_bool_Proper_if_sumbool...Gravatar Jason Gross2018-08-13
* Try out stronger land, lor boundsGravatar Jason Gross2018-06-27
* Add is_tighter_than_bool lemmasGravatar Jason Gross2018-06-27
* Add a couple of zrange lemmasGravatar Jason Gross2018-06-26
* Add ErrorT monad, and Show classGravatar Jason Gross2018-06-15
* Fix bounds analysis for saturated ops and remove unneeded commentGravatar Jade Philipoom2018-04-30
* Add ZRange.intersectionGravatar Jason Gross2018-02-23
* Fix a typoGravatar Jason Gross2018-02-23
* Add some bounds operations to ZRangeGravatar Jason Gross2018-02-23
* Add ZRange.oppGravatar Jason Gross2018-02-23
* Split off ZRange lemmasGravatar Jason Gross2018-02-10
* Add some ZRange operationsGravatar Jason Gross2018-02-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-29 21:50:52 +0000