From eebd184a88d1dad3163bb8db63187bce9300a1ab Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 1 Apr 2017 23:22:35 -0400 Subject: 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. --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') 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 -- cgit v1.2.3