diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-06 04:26:12 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | d6703ded104fc9085474bfe68b7e897b35cfbe0a (patch) | |
| tree | 8ff0d10a98a1b4da3ec1c9ff4e5962cbf29d909b /src/Specific/X2448/Karatsuba/C64/femulDisplay.v | |
| parent | 28359fcb5be530da65d5049846927a84a880b919 (diff) | |
Fold Karatsuba into json format and synthesis
The json format now takes an additional, optional "goldilocks" boolean /
boolean-string key determining if we're doing karatsuba.
Diffstat (limited to 'src/Specific/X2448/Karatsuba/C64/femulDisplay.v')
| -rw-r--r-- | src/Specific/X2448/Karatsuba/C64/femulDisplay.v | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Specific/X2448/Karatsuba/C64/femulDisplay.v b/src/Specific/X2448/Karatsuba/C64/femulDisplay.v new file mode 100644 index 000000000..15877076f --- /dev/null +++ b/src/Specific/X2448/Karatsuba/C64/femulDisplay.v @@ -0,0 +1,4 @@ +Require Import Crypto.Specific.X2448.Karatsuba.C64.femul. +Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon. + +Check display mul. |