Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Coalesce Tuple.pointwise2 and Tuple.fieldwise | 2017-04-02 | |
| | | | | | | We don't need both of them. We keep the definition of pointwise2 because it's needed for reification to work, and we keep the name of fieldwise because it's used in more places. This closes #137. | ||
* | Add is_tighter_than_bool to zrange | 2017-03-31 | |
| | |||
* | Use r[_ ~> _] for range rather than b[_ ~> _] | 2017-03-30 | |
| | |||
* | Rename Bounds to ZRange, use Prop, not bool | 2017-03-30 | |
As per @andres-erbsen's comments at https://github.com/mit-plv/fiat-crypto/commit/ba864554da71ebe20b2494b1e8adf04779cd904b#commitcomment-21565223, https://github.com/mit-plv/fiat-crypto/commit/ba864554da71ebe20b2494b1e8adf04779cd904b#commitcomment-21565200 |