From 4483d41d6a510e01041f05546643934c9d2a887b Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Fri, 26 Apr 2019 16:41:41 -0400 Subject: Remove bbv dependency No code in fiat-crypto depends on bbv anymore, so delete it. Closes https://github.com/mit-plv/fiat-crypto/issues/481. --- _CoqProject | 17 ----------------- 1 file changed, 17 deletions(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 6e7e43e64..db7e7ba8e 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,21 +1,4 @@ -R src Crypto --R bbv/theories bbv -bbv/theories/BinNotation.v -bbv/theories/BinNotationZ.v -bbv/theories/DepEq.v -bbv/theories/DepEqNat.v -bbv/theories/HexNotation.v -bbv/theories/HexNotationWord.v -bbv/theories/HexNotationZ.v -bbv/theories/NLib.v -bbv/theories/N_Z_nat_conversions.v -bbv/theories/NatLib.v -bbv/theories/Nomega.v -bbv/theories/ReservedNotations.v -bbv/theories/Word.v -bbv/theories/WordScope.v -bbv/theories/ZHints.v -bbv/theories/ZLib.v src/AbstractInterpretation.v src/AbstractInterpretationProofs.v src/AbstractInterpretationWf.v -- cgit v1.2.3