Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add base_type_leb_total | 2017-04-14 | |
* | Add interpToZ_range | 2017-04-08 | |
* | Add ZToInterp_eq_inj | 2017-04-08 | |
* | Use Z.max 0, not an if statement | 2017-04-08 | |
* | Add interpToZ_ZToInterp_mod | 2017-04-08 | |
* | Add cast_const_mod lemmas | 2017-04-08 | |
* | Add cast_const_split_mod | 2017-04-08 | |
* | Add cast_const_idempotent_small | 2017-04-08 | |
* | Add inversion_base_type_constr | 2017-04-07 | |
* | rename-everything | 2017-04-06 |