diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-14 21:38:51 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2017-04-14 21:39:45 -0400 |
commit | 0faedd6652a3d0c7c0f21b34761f494a310ea62b (patch) | |
tree | 7b8a54a01d6058c6c468efafd17230549b2c7b09 /_CoqProject | |
parent | d8d1a2be7723577d926143b315a3bbce9f1482d9 (diff) |
Remove old versions of wordsize selection
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 16 |
1 files changed, 0 insertions, 16 deletions
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 |