.gitmodules

[submodule "submodules/parameterized-utils"]
	path = submodules/parameterized-utils
	url = git@github.com:GaloisInc/parameterized-utils.git
[submodule "submodules/what4"]
	path = submodules/what4
	url = git@github.com:GaloisInc/what4.git
[submodule "submodules/what4-serialize"]
	path = submodules/what4-serialize
	url = git@github.com:GaloisInc/what4-serialize.git
[submodule "submodules/crucible"]
	path = submodules/crucible
	url = git@github.com:GaloisInc/crucible.git
[submodule "submodules/macaw"]
	path = submodules/macaw
	url = git@github.com:GaloisInc/macaw.git
[submodule "submodules/elf-edit"]
	path = submodules/elf-edit
	url = git@github.com:GaloisInc/elf-edit.git
[submodule "submodules/macaw-loader"]
	path = submodules/macaw-loader
	url = git@github.com:GaloisInc/macaw-loader.git
[submodule "submodules/flexdis86"]
	path = submodules/flexdis86
	url = git@github.com:GaloisInc/flexdis86.git
[submodule "submodules/semmc"]
	path = submodules/semmc
	url = git@github.com:GaloisInc/semmc.git
[submodule "submodules/arm-asl-parser"]
	path = submodules/arm-asl-parser
	url = git@github.com:GaloisInc/arm-asl-parser.git
[submodule "submodules/asl-translator"]
	path = submodules/asl-translator
	url = git@github.com:GaloisInc/asl-translator.git
[submodule "submodules/dismantle"]
	path = submodules/dismantle
	url = git@github.com:travitch/dismantle.git
[submodule "submodules/llvm-pretty"]
	path = submodules/llvm-pretty
	url = git@github.com:elliottt/llvm-pretty.git
[submodule "submodules/dwarf"]
	path = submodules/dwarf
	url = git@github.com:GaloisInc/dwarf.git
[submodule "submodules/renovate"]
	path = submodules/renovate
	url = git@github.com:GaloisInc/renovate.git
[submodule "tools/pate/static/cytoscape.js"]
	path = tools/pate/static/cytoscape.js
	url = git@github.com:cytoscape/cytoscape.js.git
[submodule "tools/pate/static/cytoscape-node-html-label"]
	path = tools/pate/static/cytoscape-node-html-label
	url = git@github.com:kaluginserg/cytoscape-node-html-label.git
[submodule "tools/pate/static/dagre"]
	path = tools/pate/static/dagre
	url = git@github.com:dagrejs/dagre.git
[submodule "tools/pate/static/cytoscape.js-dagre"]
	path = tools/pate/static/cytoscape.js-dagre
	url = git@github.com:cytoscape/cytoscape.js-dagre.git