forked from runtimeverification/evm-semantics
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy path.gitmodules
More file actions
33 lines (33 loc) · 1003 Bytes
/
.gitmodules
File metadata and controls
33 lines (33 loc) · 1003 Bytes
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
[submodule "tests/ethereum-tests"]
path = tests/ethereum-tests
url = https://github.com/ethereum/tests.git
branch = develop
ignore = untracked
[submodule ".build/k"]
path = .build/k
url = https://github.com/kframework/k
ignore = untracked
[submodule ".build/secp256k1"]
path = .build/secp256k1
url = https://github.com/bitcoin-core/secp256k1
ignore = untracked
[submodule ".build/pandoc-tangle"]
path = .build/pandoc-tangle
url = https://github.com/ehildenb/pandoc-tangle
ignore = untracked
[submodule "tests/proofs"]
path = tests/proofs
url = https://github.com/runtimeverification/verified-smart-contracts.git
branch = master
ignore = untracked
[submodule "plugin"]
path = plugin
url = https://github.com/runtimeverification/blockchain-k-plugin
ignore = untracked
[submodule ".build/media/metropolis"]
path = .build/media/metropolis
url = https://github.com/matze/mtheme
[submodule ".build/kore"]
path = .build/kore
url = https://github.com/kframework/kore
ignore = untracked