mirror of
https://github.com/GaloisInc/what4.git
synced 2024-11-25 07:13:59 +03:00
87b360b17c
The `what4-transition-system-tests` test suite in particular will be moved to `language-sally`.
10 lines
306 B
Plaintext
10 lines
306 B
Plaintext
[submodule "dependencies/aig"]
|
|
path = dependencies/aig
|
|
url = https://github.com/GaloisInc/aig
|
|
[submodule "dependencies/abcBridge"]
|
|
path = dependencies/abcBridge
|
|
url = https://github.com/GaloisInc/abcBridge
|
|
[submodule "dependencies/blt"]
|
|
path = dependencies/blt
|
|
url = https://github.com/GaloisInc/blt
|