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