diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-03-04 12:16:09 -0500 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-03-04 12:16:09 -0500 |
| commit | 3983d87dfdce8b6b212e7d6a5ca059d9ff3b6305 (patch) | |
| tree | eb9635497c2bbd9de7b852bc67332eeb754187c3 /_CoqProject | |
| parent | c00de4298c66965885e6ade605f8a2924f89a321 (diff) | |
Separated out specific test cases for new base system
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a9a470019..809108634 100644 --- a/_CoqProject +++ b/_CoqProject @@ -191,6 +191,7 @@ src/Specific/GF25519BoundedAddCoordinates.v src/Specific/GF25519BoundedCommon.v src/Specific/GF25519Reflective.v src/Specific/GF25519ReflectiveAddCoordinates.v +src/Specific/NewBaseSystemTest.v src/Specific/SC25519.v src/Specific/FancyMachine256/Barrett.v src/Specific/FancyMachine256/Core.v |