diff options
Diffstat (limited to 'src/Experiments/NewPipeline/StandaloneOCamlMain.v')
| -rw-r--r-- | src/Experiments/NewPipeline/StandaloneOCamlMain.v | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Experiments/NewPipeline/StandaloneOCamlMain.v b/src/Experiments/NewPipeline/StandaloneOCamlMain.v index 0c354b45a..c5b4db570 100644 --- a/src/Experiments/NewPipeline/StandaloneOCamlMain.v +++ b/src/Experiments/NewPipeline/StandaloneOCamlMain.v @@ -102,6 +102,15 @@ Module UnsaturatedSolinas. raise_failure. End UnsaturatedSolinas. +Module WordByWordMontgomery. + Definition main : unit + := let argv := List.map string_to_Coq_string sys_argv in + ForExtraction.WordByWordMontgomery.PipelineMain + argv + printf_list_string + raise_failure. +End WordByWordMontgomery. + Module SaturatedSolinas. Definition main : unit := let argv := List.map string_to_Coq_string sys_argv in |