| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add some more basic ZRange lemmas |  Jason Gross | 2019-01-15 |
| * | 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 |
| * | 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 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 is_bounded_by_bool_Proper_if_sumbool... | Jason Gross | 2018-08-13 |
| * | 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 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |