aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ZRange
Commit message (Expand)AuthorAge
* 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-05-12 06:21:39 +0000