Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix for Coq 8.4pl2 | 2016-11-12 | |
* | Fix Not_found exception in 8.4 | 2016-11-03 | |
* | fix and prove ERepDec_correct | 2016-11-02 | |
* | prove admit about F.to_nat x mod m | 2016-10-27 | |
* | prove SRepMul admit | 2016-10-25 | |
* | Fix for Coq 8.4 | 2016-10-13 | |
* | refactor scalar multiplication thoery, implement SRepERepMul | 2016-10-12 | |
* | integrate bitwise operations | 2016-10-12 | |
* | generalize equiv relations in Util.Option and EdDSARepChange | 2016-10-12 | |
* | move eddsa rep change | 2016-09-22 |