From 0faedd6652a3d0c7c0f21b34761f494a310ea62b Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 14 Apr 2017 21:38:51 -0400 Subject: Remove old versions of wordsize selection --- _CoqProject | 16 ---------------- 1 file changed, 16 deletions(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 5949f7239..36cddc8ab 100644 --- a/_CoqProject +++ b/_CoqProject @@ -22,9 +22,6 @@ src/Arithmetic/BarrettReduction/HAC.v src/Arithmetic/BarrettReduction/Wikipedia.v src/Arithmetic/MontgomeryReduction/Definition.v src/Arithmetic/MontgomeryReduction/Proofs.v -src/Compilers/BoundByCast.v -src/Compilers/BoundByCastInterp.v -src/Compilers/BoundByCastWf.v src/Compilers/CommonSubexpressionElimination.v src/Compilers/CommonSubexpressionEliminationDenote.v src/Compilers/CommonSubexpressionEliminationInterp.v @@ -40,9 +37,6 @@ src/Compilers/ExprInversion.v src/Compilers/FilterLive.v src/Compilers/FoldTypes.v src/Compilers/Inline.v -src/Compilers/InlineCast.v -src/Compilers/InlineCastInterp.v -src/Compilers/InlineCastWf.v src/Compilers/InlineInterp.v src/Compilers/InlineWf.v src/Compilers/InputSyntax.v @@ -55,26 +49,16 @@ src/Compilers/Linearize.v src/Compilers/LinearizeInterp.v src/Compilers/LinearizeWf.v src/Compilers/Map.v -src/Compilers/MapCast.v src/Compilers/MapCastByDeBruijn.v src/Compilers/MapCastByDeBruijnInterp.v src/Compilers/MapCastByDeBruijnWf.v -src/Compilers/MapCastInterp.v -src/Compilers/MapCastWf.v src/Compilers/MultiSizeTest.v -src/Compilers/MultiSizeTest2.v src/Compilers/Reify.v src/Compilers/Relations.v src/Compilers/RenameBinders.v src/Compilers/Rewriter.v src/Compilers/RewriterInterp.v src/Compilers/RewriterWf.v -src/Compilers/SmartBound.v -src/Compilers/SmartBoundInterp.v -src/Compilers/SmartBoundWf.v -src/Compilers/SmartCast.v -src/Compilers/SmartCastInterp.v -src/Compilers/SmartCastWf.v src/Compilers/SmartMap.v src/Compilers/Syntax.v src/Compilers/TestCase.v -- cgit v1.2.3