diff options
| author |  Jason Gross <jagro@google.com> | 2018-07-26 19:31:06 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-07-26 19:31:06 -0400 |
| commit | 5cdb13d6123ef330cb167c27f3b354a689dbb91e (patch) | |
| tree | c157c3bc6179eb44221253ed19b0f5d6c843d7fc /_CoqProject | |
| parent | f2f418416535d91d9e7c7f6f083f898737adb9ee (diff) | |
Add Wf proofs about MiscCompilerPasses
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 4abba849a..31c52a268 100644 --- a/_CoqProject +++ b/_CoqProject @@ -253,6 +253,7 @@ src/Experiments/NewPipeline/Language.v src/Experiments/NewPipeline/LanguageInversion.v src/Experiments/NewPipeline/LanguageWf.v src/Experiments/NewPipeline/MiscCompilerPasses.v +src/Experiments/NewPipeline/MiscCompilerPassesWf.v src/Experiments/NewPipeline/Rewriter.v src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v src/Experiments/NewPipeline/StandaloneHaskellMain.v |