diff options
| author |  Jason Gross <jagro@google.com> | 2018-07-26 15:55:29 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-07-26 15:56:25 -0400 |
| commit | 104971df80765a905fe9555a229503c07f7be548 (patch) | |
| tree | 7148d1d3ffcd8029f91ed89cad7feb2d5002c09a /_CoqProject | |
| parent | ca2294ffe37c8ec8f4bf027c9afd3337b10c29d5 (diff) | |
Add Wf lemmas about SubstVar
After | File Name | Before || Change | % Change
---------------------------------------------------------------------------------
0m11.74s | Total | 0m10.83s || +0m00.91s | +8.40%
---------------------------------------------------------------------------------
0m10.85s | Experiments/NewPipeline/LanguageWf | 0m10.83s || +0m00.01s | +0.18%
0m00.89s | Experiments/NewPipeline/UnderLetsWf | N/A || +0m00.89s | ∞
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index e82310ea3..4abba849a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -260,6 +260,7 @@ src/Experiments/NewPipeline/StandaloneOCamlMain.v src/Experiments/NewPipeline/Toplevel1.v src/Experiments/NewPipeline/Toplevel2.v src/Experiments/NewPipeline/UnderLets.v +src/Experiments/NewPipeline/UnderLetsWf.v src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.v src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.v src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.v |