diff options
Diffstat (limited to 'src/Experiments/NewPipeline/StandaloneHaskellMain.v')
-rw-r--r-- | src/Experiments/NewPipeline/StandaloneHaskellMain.v | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/Experiments/NewPipeline/StandaloneHaskellMain.v b/src/Experiments/NewPipeline/StandaloneHaskellMain.v index d9ada8451..131907bc1 100644 --- a/src/Experiments/NewPipeline/StandaloneHaskellMain.v +++ b/src/Experiments/NewPipeline/StandaloneHaskellMain.v @@ -49,6 +49,18 @@ Module UnsaturatedSolinas. (fun err => raise_failure _ (String.concat String.NewLine err))). End UnsaturatedSolinas. +Module WordByWordMontgomery. + Definition main : IO_unit + := cast_io + (argv <- getArgs; + prog <- getProgName; + ForExtraction.WordByWordMontgomery.PipelineMain + (prog::argv) + (fun res => printf_string + (String.concat "" res)) + (fun err => raise_failure _ (String.concat String.NewLine err))). +End WordByWordMontgomery. + Module SaturatedSolinas. Definition main : IO_unit := cast_io |