| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add some minor reflect things |  Jason Gross | 2019-03-04 |
| * | Add zrange_rect{,_Proper,_Proper_dep} | Jason Gross | 2019-02-02 |
| * | Add a couple of zrange lemmas |  Jason Gross | 2018-06-26 |
| * | Add zrange equality | Jason Gross | 2018-06-15 |
| * | Add is_bounded_by_None_repeat_In_iff_lt | Jason Gross | 2017-06-20 |
| * | Add is_bounded_by_None_repeat_In_iff | Jason Gross | 2017-06-20 |
| * | Fix zrange notation levels | Jason Gross | 2017-06-12 |
| * | More powerful inversion_zrange | Jason Gross | 2017-04-15 |
| * | Coalesce Tuple.pointwise2 and Tuple.fieldwise | Jason Gross | 2017-04-02 |
| * | Add is_tighter_than_bool to zrange | Jason Gross | 2017-03-31 |
| * | Use r[_ ~> _] for range rather than b[_ ~> _] | Jason Gross | 2017-03-30 |
| * | Rename Bounds to ZRange, use Prop, not bool | Jason Gross | 2017-03-30 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |