diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-01 23:22:35 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-01 23:22:35 -0400 |
| commit | eebd184a88d1dad3163bb8db63187bce9300a1ab (patch) | |
| tree | d92a3f9f9560d4ec02458bb77bffdc9edc0ff887 /_CoqProject | |
| parent | 68aca8687cd62127eb1dafa2029e59d38db68f3d (diff) | |
Add an initial glue file in the pipeline, no option in bounds
We can do bounds analysis without options.
Also, add some tactics from another branch for the glue to start the
reflective pipeline.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index ca1e55bed..ecbe8bd18 100644 --- a/_CoqProject +++ b/_CoqProject @@ -211,6 +211,7 @@ src/Reflection/Z/Reify.v src/Reflection/Z/Syntax.v src/Reflection/Z/Bounds/Interpretation.v src/Reflection/Z/Bounds/Relax.v +src/Reflection/Z/Bounds/Pipeline/Glue.v src/Reflection/Z/Interpretations128/Relations.v src/Reflection/Z/Interpretations128/RelationsCombinations.v src/Reflection/Z/Interpretations64/Relations.v |