diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-07 22:19:10 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-07 22:19:10 -0500 |
| commit | 383f3e1de0f4fe14c4b282651cf4123a72893e37 (patch) | |
| tree | 3edae21c11fb5f749ec89a8f2c459f55bfe57f2e /src/Specific/Framework/ArithmeticSynthesis | |
| parent | c58855f90865aae024a4c7d0ec08d4c7a7679903 (diff) | |
Add a dummy karatsuba parameter
Currently unused, but adding it here in preparation for removing
reification (which will allow easy support of karatsuba separate from
goldilocks).
Diffstat (limited to 'src/Specific/Framework/ArithmeticSynthesis')
| -rwxr-xr-x | src/Specific/Framework/ArithmeticSynthesis/remake_packages.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/Framework/ArithmeticSynthesis/remake_packages.py b/src/Specific/Framework/ArithmeticSynthesis/remake_packages.py index d21ad2d9e..d9812fd94 100755 --- a/src/Specific/Framework/ArithmeticSynthesis/remake_packages.py +++ b/src/Specific/Framework/ArithmeticSynthesis/remake_packages.py @@ -17,7 +17,7 @@ NORMAL_PACKAGE_NAMES = [('Base.v', (CP_LIST, None)), ('Montgomery.v', (CP_BASE_DEFAULTS_FREEZE_LADDERSTEP_LIST, 'montgomery')), ('../MontgomeryReificationTypes.v', (CP_BASE_LIST + ['MontgomeryPackage.v', '../ReificationTypesPackage.v'], 'montgomery'))] ALL_FILE_NAMES = PACKAGE_NAMES + NORMAL_PACKAGE_NAMES # PACKAGE_CP_NAMES + WITH_CURVE_BASE_NAMES + ['../ReificationTypes.v'] -CONFIGS = ('goldilocks', 'montgomery', 'freeze', 'ladderstep') +CONFIGS = ('goldilocks', 'karatsuba', 'montgomery', 'freeze', 'ladderstep') EXCLUDES = ('constr:((wt_divides_chain, wt_divides_chains))', ) |