diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-21 13:30:10 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-04-21 13:30:10 -0400 |
| commit | 40c0d0557233d49ad9712d333ad4c6187b908a26 (patch) | |
| tree | 56de5debf5e5064d25555708191cba06b7bf7e6b /_CoqProject | |
| parent | 7e3e279a7521a043ed70a0a01214985fc7b92358 (diff) | |
added GF1305 (modulus is 2^130 - 5, base has length 5 with all digits having weight 2^26)
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 3bbb2a025..7d5b37863 100644 --- a/_CoqProject +++ b/_CoqProject @@ -28,6 +28,7 @@ src/Spec/ModularArithmetic.v src/Spec/PointEncoding.v src/Specific/Ed25519.v src/Specific/GF25519.v +src/Specific/GF1305.v src/Tactics/VerdiTactics.v src/Testbit.v src/Util/CaseUtil.v |