mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-18 11:31:35 +03:00
1ebf0cabb7
These updates include a new version of cabal required to build macaw-symbolic. macaw-symbolic is also now added to the cabal.project file.
34 lines
1.2 KiB
Plaintext
34 lines
1.2 KiB
Plaintext
[submodule "submodules/parameterized-utils"]
|
|
path = submodules/parameterized-utils
|
|
url = git@github.com:GaloisInc/parameterized-utils.git
|
|
[submodule "submodules/semmc"]
|
|
path = submodules/semmc
|
|
url = git@github.com:GaloisInc/semmc.git
|
|
[submodule "submodules/dismantle"]
|
|
path = submodules/dismantle
|
|
url = git@github.com:travitch/dismantle.git
|
|
[submodule "submodules/crucible"]
|
|
path = submodules/crucible
|
|
url = git@github.com:GaloisInc/crucible.git
|
|
[submodule "submodules/dwarf"]
|
|
path = submodules/dwarf
|
|
url = git@github.com:GaloisInc/dwarf.git
|
|
[submodule "submodules/elf-edit"]
|
|
path = submodules/elf-edit
|
|
url = git@github.com:GaloisInc/elf-edit.git
|
|
[submodule "submodules/macaw"]
|
|
path = submodules/macaw
|
|
url = git@github.com:GaloisInc/macaw.git
|
|
[submodule "submodules/s-cargot"]
|
|
path = submodules/s-cargot
|
|
url = git@github.com:aisamanra/s-cargot.git
|
|
[submodule "submodules/s-cargot-letbind"]
|
|
path = submodules/s-cargot-letbind
|
|
url = https://github.com/GaloisInc/s-cargot-letbind.git
|
|
[submodule "submodules/flexdis86"]
|
|
path = submodules/flexdis86
|
|
url = git@github.com:GaloisInc/flexdis86.git
|
|
[submodule "submodules/llvm-pretty"]
|
|
path = submodules/llvm-pretty
|
|
url = git@github.com:GaloisInc/llvm-pretty.git
|