diff options
author | Jason Gross <jagro@google.com> | 2016-09-07 14:36:14 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-09-07 14:57:44 -0700 |
commit | 7e28bdd3ec3b2c715b9e9987c4668d1ec016671a (patch) | |
tree | 6b5991ecd0d407dccf4dc4674b0fa4a695df13b0 /_CoqProject | |
parent | 054752ccf0b80bc413e70202a823fd034db6ea6b (diff) |
Add Barrett and Montgomery for the 256-bit machine
After | File Name | Before || Change
------------------------------------------------------------------------
0m12.69s | Total | 0m00.00s || +0m12.69s
------------------------------------------------------------------------
0m06.96s | Experiments/FancyMachineMontgomery256 | N/A || +0m06.96s
0m03.07s | Experiments/FancyMachineBarrett256 | N/A || +0m03.06s
0m02.67s | Experiments/FancyMachine256 | N/A || +0m02.67s
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 0266fc122..6bc64c8a4 100644 --- a/_CoqProject +++ b/_CoqProject @@ -37,6 +37,9 @@ src/Encoding/ModularWordEncodingTheorems.v src/Encoding/PointEncodingPre.v src/Experiments/DerivationsOptionRectLetInEncoding.v src/Experiments/EdDSARefinement.v +src/Experiments/FancyMachine256.v +src/Experiments/FancyMachineBarrett256.v +src/Experiments/FancyMachineMontgomery256.v src/Experiments/GenericFieldPow.v src/Experiments/SpecEd25519.v src/Experiments/SpecificCurve25519.v |