index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
ZRange
Commit message (
Expand
)
Author
Age
*
Add some more basic ZRange lemmas
Jason Gross
2019-01-15
*
Add ZRange.cc_m, ZRange.is_bounded_by_bool_cc_m
Jason Gross
2018-12-11
*
Add ZRange.is_bounded_by_bool_normalize_constant
Jason Gross
2018-12-11
*
Add ZRange.normalize_constant
Jason Gross
2018-12-11
*
Add ZRange.is_bounded_by_bool_constant
Jason Gross
2018-12-11
*
Add ZRange.OperationBounds
Jason Gross
2018-12-11
*
Add some zrange lemmas
Jason Gross
2018-11-01
*
Make pairs work in Z_cast2
Jason Gross
2018-11-01
*
Export ZRange operation notations
Jason Gross
2018-11-01
*
Add zrange notations
Jason Gross
2018-11-01
*
Add more zrange operations
Jason Gross
2018-11-01
*
Add some zrange lemmas
Jason Gross
2018-10-11
*
Minor improvements to various ZUtil things; bounds
Jason Gross
2018-08-25
*
Add some basic ZRange lemmas
Jason Gross
2018-08-24
*
Add ZRange.union_comm
Jason Gross
2018-08-24
*
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
*
Add the file proving split_bounds correct
Jason Gross
2018-08-13
*
Fix split_bounds, prove it correct
Jason Gross
2018-08-13
*
Factor through is_tighter_than_bool, add is_bounded_by_bool_Proper_if_sumbool...
Jason Gross
2018-08-13
*
Try out stronger land, lor bounds
Jason Gross
2018-06-27
*
Add is_tighter_than_bool lemmas
Jason Gross
2018-06-27
*
Add a couple of zrange lemmas
Jason Gross
2018-06-26
*
Add ErrorT monad, and Show class
Jason Gross
2018-06-15
*
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