_CoqProject

-arg -w -arg -undeclared-scope

-R ../utils/theories ConCert.Utils

-R theories ConCert.Execution
theories/BlockchainSolanav2.v
#theories/Blockchain.v
theories/BoundedN.v
theories/BuildUtilsSolanav2.v
#theories/BuildUtils.v
theories/ChainedList.v
theories/CirculationSolanav2.v
#theories/Circulation.v
theories/Containers.v
#theories/ContractMonadsSolanav2.v
#theories/ContractMonads.v
theories/Extras.v
theories/Finite.v
theories/InterContractCommunicationSolanav2.v
#theories/InterContractCommunication.v
#theories/LocalBlockchainSolanav2.v
#theories/LocalBlockchain.v
theories/Monads.v
theories/ProgramError.v
theories/ResultMonad.v
theories/Serializable.v

-R standards/cis1 ConCert.Execution.Standards.CIS1
standards/cis1/CIS1Spec.v
standards/cis1/CIS1Utils.v

-R examples ConCert.Execution.Examples
#examples/BATCommon.v
#examples/BAT.v
#examples/BAT_Fixed.v
#examples/BAT_AltFix.v
#examples/BoardroomMath.v
#examples/BoardroomVoting.v
#examples/BoardroomVotingZ.v
#examples/BoardroomVotingTest.v
examples/CommonSolana.v
examples/Common.v
examples/Congress.v
examples/Congress_Buggy.v
examples/CounterSolana.v
examples/Counter.v
examples/EIP20Token.v
examples/Egcd.v
examples/EscrowSolana.v
examples/Escrow.v
examples/Euler.v
examples/FA2Interface.v
examples/FA2Token.v
examples/LocalBlockchainTests.v
examples/StackInterpreter.v
examples/Cis1wccd.v
examples/dexter2/Dexter2CPMM.v
examples/dexter2/Dexter2FA12.v

-R tests ConCert.Execution.QCTests
tests/ChainPrinters.v
tests/CongressTests/CongressGens.v
tests/CongressTests/CongressPrinters.v
tests/CongressTests/CongressTests.v
tests/CongressTests/Congress_BuggyGens.v
tests/CongressTests/Congress_BuggyPrinters.v
tests/CongressTests/Congress_BuggyTests.v
tests/DexterTests/Dexter.v
tests/DexterTests/DexterGens.v
tests/DexterTests/DexterPrinters.v
tests/DexterTests/DexterTests.v
tests/EIP20Tests/EIP20TokenGens.v
tests/EIP20Tests/EIP20TokenPrinters.v
tests/EIP20Tests/EIP20TokenTests.v
tests/EscrowTests/EscrowGens.v
tests/EscrowTests/EscrowPrinters.v
tests/EscrowTests/EscrowTests.v
tests/FA2Tests/FA2Gens.v
tests/FA2Tests/FA2Printers.v
tests/FA2Tests/FA2TokenTests.v
tests/FA2Tests/TestContracts.v
tests/SerializablePrinters.v
tests/TestUtils.v
tests/TraceGens.v
tests/iTokenBuggyTests/iTokenBuggy.v
tests/iTokenBuggyTests/iTokenBuggyGens.v
tests/iTokenBuggyTests/iTokenBuggyPrinters.v
tests/iTokenBuggyTests/iTokenBuggyTests.v
tests/BATTests/BATGens.v
tests/BATTests/BATPrinters.v
tests/BATTests/BATTestCommon.v
tests/BATTests/BATTests.v
tests/BATTests/BAT_FixedTests.v
tests/BATTests/BAT_AltFixTests.v