diff options
| author |  Jason Gross <jagro@google.com> | 2016-08-11 15:41:00 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-08-23 16:01:45 -0700 |
| commit | b5b1eebe2845b0e69d669b51cea9eeb67ea726e3 (patch) | |
| tree | 75a5807406141c3f95a5d901465f3484724cfb86 /_CoqProject | |
| parent | ecd6954da5768ca3d38c7c52c6ac40b2b24d41a6 (diff) | |
Initial work on an architecture interface for ℤ/nℤ
This provides a cleaner interface for the bottom level implementation,
as well as an implementation of multiplying 128x128 -> 256.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 2840c3b91..5c08e1616 100644 --- a/_CoqProject +++ b/_CoqProject @@ -22,6 +22,9 @@ src/Assembly/State.v src/Assembly/StringConversion.v src/Assembly/Vectorize.v src/Assembly/Wordize.v +src/BoundedArithmetic/ArchitectureToZLike.v +src/BoundedArithmetic/DoubleBounded.v +src/BoundedArithmetic/Interface.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v |