mirror of
https://gitlab.com/pulsechaincom/erigon-pulse.git
synced 2024-12-22 11:41:19 +00:00
f210116e65
* Just files * Fix lint * First attempt at linking * More semantics * Add more arguments * Added z3 dependency * Added integration with z3 * Try to fix build * Add m library * Try to fix ints * Separate init/destroy, create sorts
7 lines
170 B
Plaintext
7 lines
170 B
Plaintext
[submodule "tests"]
|
|
path = tests/testdata
|
|
url = https://github.com/ethereum/tests
|
|
[submodule "semantics/z3"]
|
|
path = semantics/z3
|
|
url = https://github.com/Z3Prover/z3
|