Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |