forked from runtimeverification/evm-semantics
-
Notifications
You must be signed in to change notification settings - Fork 1
/
.gitmodules
28 lines (28 loc) · 823 Bytes
/
.gitmodules
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
[submodule "tests/ethereum-tests"]
path = tests/ethereum-tests
url = https://github.com/ethereum/tests.git
branch = develop
ignore = untracked
[submodule "deps/k"]
path = deps/k
url = https://github.com/kframework/k
ignore = untracked
[submodule "deps/secp256k1"]
path = deps/secp256k1
url = https://github.com/bitcoin-core/secp256k1
ignore = untracked
[submodule "deps/pandoc-tangle"]
path = deps/pandoc-tangle
url = https://github.com/ehildenb/pandoc-tangle
ignore = untracked
[submodule "deps/plugin"]
path = deps/plugin
url = https://github.com/runtimeverification/blockchain-k-plugin
ignore = untracked
[submodule "deps/metropolis"]
path = deps/metropolis
url = https://github.com/matze/mtheme
[submodule "deps/libff"]
path = deps/libff
url = https://github.com/scipr-lab/libff
ignore = untracked