Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Admit Common9_4Op.v | 2016-12-08 | |
* | 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 | |
* | Add some missing files | 2016-11-17 | |
* | Fix some problems with previous commit | 2016-11-17 | |
* | Remove admits, fill templates, copy bounds | 2016-11-17 | |
* | Copy reified add coordinates to various versions of curves | 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 |