Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Split out Reflection.Equality, change Tflat implicit argument | 2017-01-19 | |
* | Revert "Add apply10" | 2017-01-07 | |
* | copy_bounds | 2017-01-07 | |
* | uncurry_n_op_fe25519 | 2016-11-25 | |
* | Copy bounds, fix a typo | 2016-11-22 | |
* | Fix missing import for List.repeat in 8.4 | 2016-11-21 | |
* | Fix some problems with previous commit | 2016-11-17 | |
* | Remove admits, fill templates, copy bounds | 2016-11-17 | |
* | Work around bug #5205 (arguments naming weirdness) | 2016-11-16 | |
* | Copy bounds to specific_gen | 2016-11-16 | |
* | Fix for Coq 8.5 (more unfolding) | 2016-11-15 | |
* | Update SpecificGen to be faster | 2016-11-14 | |
* | Support for 128-bit words | 2016-11-14 | |
* | Add SpecificGen/GF* | 2016-11-13 |