Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | uncurry_n_op_fe25519 | 2016-11-25 | |
| | |||
* | Update AddCoordinates | 2016-11-17 | |
| | | | | Now the _correct_and_bounded lemma goes through | ||
* | Update field names in SpecificGen | 2016-11-17 | |
| | |||
* | Update sqrtm1 for 3mod4 | 2016-11-14 | |
| | |||
* | Fix some sqrt things | 2016-11-14 | |
| | |||
* | Update bounds things with prefreeze | 2016-11-14 | |
| | |||
* | Fix changes in naming in SpecificGen | 2016-11-14 | |
| | |||
* | Automatically generate code for field operations with different primes | 2016-11-11 | |