ConCert/execution/_RocqProject at master · 4ever2/ConCert · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
-R ../utils/theories ConCert.Utils

-R theories ConCert.Execution
theories/BlockchainBase.v
theories/BlockchainTheories.v
theories/BlockchainInduction.v
theories/BlockchainBuilder.v
theories/Blockchain.v
theories/BlockchainDFS.v
theories/BlockchainBFS.v
theories/BoundedN.v
theories/ChainedList.v
theories/Circulation.v
theories/Containers.v
theories/Finite.v
theories/InterContractCommunication.v
theories/Monad.v
theories/OptionMonad.v
theories/ResultMonad.v
theories/ContractMonads.v
theories/ContractProperties.v
theories/SerializableBase.v
theories/SerializableInstances.v
theories/SerializableSound.v
theories/SerializableDerive.v
theories/Serializable.v
theories/ContractCommon.v

-R test ConCert.Execution.Test
test/LocalBlockchain.v
test/ChainPrinters.v
test/TestUtils.v
test/TraceGens.v
test/TestNotation.v
test/QCTest.v