[submodule "dependencies/abcBridge"]
	path = dependencies/abcBridge
	url = https://github.com/GaloisInc/abcBridge.git
[submodule "dependencies/aig"]
	path = dependencies/aig
	url = https://github.com/GaloisInc/aig.git
[submodule "dependencies/blt"]
	path = dependencies/blt
	url =https://github.com/GaloisInc/blt.git
[submodule "dependencies/golang"]
	path = dependencies/golang
	url = https://github.com/GaloisInc/golang.git
[submodule "dependencies/jvm-parser"]
	path = dependencies/jvm-parser
	url = https://github.com/GaloisInc/jvm-parser.git
[submodule "dependencies/language-sally"]
	path = dependencies/language-sally
	url = https://github.com/GaloisInc/language-sally.git
[submodule "dependencies/llvm-pretty"]
	path = dependencies/llvm-pretty
	url = https://github.com/elliottt/llvm-pretty.git
[submodule "dependencies/llvm-pretty-bc-parser"]
	path = dependencies/llvm-pretty-bc-parser
	url = https://github.com/GaloisInc/llvm-pretty-bc-parser.git
[submodule "dependencies/what4"]
	path = dependencies/what4
	url = https://github.com/GaloisInc/what4.git
[submodule "dependencies/mir-json"]
	path = dependencies/mir-json
	url = https://github.com/GaloisInc/mir-json/
[submodule "dependencies/haskell-wasm"]
	path = dependencies/haskell-wasm
	url = https://github.com/SPY/haskell-wasm

