saturated_solinas.v « ExtractionOCaml « NewPipeline « Experiments « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.v

blob: ffca16caf1f0ec34228cb295cbebeb3a79762a29 (plain)

1
2
3

Require Import Crypto.Experiments.NewPipeline.StandaloneOCamlMain.

(*Redirect "/tmp/saturated_solinas.ml"*) Recursive Extraction SaturatedSolinas.main.