From 17c57716ca55c8508483e00ca0132b92c87ff18b Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 7 Apr 2017 18:58:05 -0400 Subject: Parameterize bounds analysis over round_up --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 85b20d005..07a1305b8 100644 --- a/_CoqProject +++ b/_CoqProject @@ -137,6 +137,7 @@ src/Compilers/Z/Bounds/MapCastByDeBruijnInterp.v src/Compilers/Z/Bounds/MapCastByDeBruijnWf.v src/Compilers/Z/Bounds/Pipeline.v src/Compilers/Z/Bounds/Relax.v +src/Compilers/Z/Bounds/RoundUpLemmas.v src/Compilers/Z/Bounds/Pipeline/Definition.v src/Compilers/Z/Bounds/Pipeline/Glue.v src/Compilers/Z/Bounds/Pipeline/OutputType.v -- cgit v1.2.3