macaw/.gitmodules

[submodule "x86/tests/submodules/dwarf"]
	path = deps/dwarf
	url = https://github.com/GaloisInc/dwarf.git
[submodule "x86/tests/submodules/elf-edit"]
	path = deps/elf-edit
	url = https://github.com/GaloisInc/elf-edit.git
[submodule "x86/tests/submodules/flexdis86"]
	path = deps/flexdis86
	url = https://github.com/GaloisInc/flexdis86.git
[submodule "x86/tests/submodules/parameterized-utils"]
	path = deps/parameterized-utils
	url = https://github.com/GaloisInc/parameterized-utils.git
[submodule "deps/crucible"]
	path = deps/crucible
	url = https://github.com/GaloisInc/crucible.git
[submodule "deps/llvm-pretty"]
	path = deps/llvm-pretty
	url = https://github.com/elliottt/llvm-pretty.git
[submodule "submodules/semmc"]
	path = deps/semmc
	url = git@github.com:GaloisInc/semmc.git
[submodule "submodules/dismantle"]
	path = deps/dismantle
	url = git@github.com:travitch/dismantle.git
[submodule "submodules/macaw-loader"]
	path = deps/macaw-loader
	url = git@github.com:GaloisInc/macaw-loader.git
[submodule "deps/llvm-pretty-bc-parser"]
	path = deps/llvm-pretty-bc-parser
	url = https://github.com/GaloisInc/llvm-pretty-bc-parser
[submodule "deps/asl-translator"]
	path = deps/asl-translator
	url = https://github.com/GaloisInc/asl-translator.git
[submodule "deps/arm-asl-parser"]
	path = deps/arm-asl-parser
	url = https://github.com/GaloisInc/arm-asl-parser.git
[submodule "deps/what4-serialize"]
	path = deps/what4-serialize
	url = https://github.com/GaloisInc/what4-serialize.git
[submodule "deps/what4"]
	path = deps/what4
	url = https://github.com/GaloisInc/what4.git
added needed submodules 2017-11-10 02:00:23 +03:00			`[submodule "x86/tests/submodules/dwarf"]`
Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 19:05:36 +03:00			`path = deps/dwarf`
changed submodules to HTTPS origin to avoid authentication failure 2017-11-10 02:19:40 +03:00			`url = https://github.com/GaloisInc/dwarf.git`
added needed submodules 2017-11-10 02:00:23 +03:00			`[submodule "x86/tests/submodules/elf-edit"]`
Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 19:05:36 +03:00			`path = deps/elf-edit`
changed submodules to HTTPS origin to avoid authentication failure 2017-11-10 02:19:40 +03:00			`url = https://github.com/GaloisInc/elf-edit.git`
added needed submodules 2017-11-10 02:00:23 +03:00			`[submodule "x86/tests/submodules/flexdis86"]`
Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 19:05:36 +03:00			`path = deps/flexdis86`
changed submodules to HTTPS origin to avoid authentication failure 2017-11-10 02:19:40 +03:00			`url = https://github.com/GaloisInc/flexdis86.git`
added needed submodules 2017-11-10 02:00:23 +03:00			`[submodule "x86/tests/submodules/parameterized-utils"]`
Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 19:05:36 +03:00			`path = deps/parameterized-utils`
changed submodules to HTTPS origin to avoid authentication failure 2017-11-10 02:19:40 +03:00			`url = https://github.com/GaloisInc/parameterized-utils.git`
Add crucible so we can build macaw-symbolic on travis. 2018-04-25 10:16:53 +03:00			`[submodule "deps/crucible"]`
			`path = deps/crucible`
Fix repo urls 2018-04-25 10:32:43 +03:00			`url = https://github.com/GaloisInc/crucible.git`
Add crucible so we can build macaw-symbolic on travis. 2018-04-25 10:16:53 +03:00			`[submodule "deps/llvm-pretty"]`
			`path = deps/llvm-pretty`
Fix repo urls 2018-04-25 10:32:43 +03:00			`url = https://github.com/elliottt/llvm-pretty.git`
first commit 2017-08-29 01:48:55 +03:00			`[submodule "submodules/semmc"]`
Move active submodules from submodules to deps This was an artifact of merging macaw-semmc into macaw. This commit unifies the two directories. There are some remaining submodules in the old directory: these are obsolete and will be removed in a separate commit. 2019-11-13 04:31:03 +03:00			`path = deps/semmc`
first commit 2017-08-29 01:48:55 +03:00			`url = git@github.com:GaloisInc/semmc.git`
			`[submodule "submodules/dismantle"]`
Move active submodules from submodules to deps This was an artifact of merging macaw-semmc into macaw. This commit unifies the two directories. There are some remaining submodules in the old directory: these are obsolete and will be removed in a separate commit. 2019-11-13 04:31:03 +03:00			`path = deps/dismantle`
first commit 2017-08-29 01:48:55 +03:00			`url = git@github.com:travitch/dismantle.git`
Update to use macaw-loader for uniform binary loading. 2018-10-30 01:28:44 +03:00			`[submodule "submodules/macaw-loader"]`
Move active submodules from submodules to deps This was an artifact of merging macaw-semmc into macaw. This commit unifies the two directories. There are some remaining submodules in the old directory: these are obsolete and will be removed in a separate commit. 2019-11-13 04:31:03 +03:00			`path = deps/macaw-loader`
Update to use macaw-loader for uniform binary loading. 2018-10-30 01:28:44 +03:00			`url = git@github.com:GaloisInc/macaw-loader.git`
Add llvm-pretty-bc-parser dependency. 2019-02-22 09:21:51 +03:00			`[submodule "deps/llvm-pretty-bc-parser"]`
			`path = deps/llvm-pretty-bc-parser`
			`url = https://github.com/GaloisInc/llvm-pretty-bc-parser`
copy macaw-arm into macaw-asl 2020-02-25 02:39:41 +03:00			`[submodule "deps/asl-translator"]`
			`path = deps/asl-translator`
			`url = https://github.com/GaloisInc/asl-translator.git`
			`[submodule "deps/arm-asl-parser"]`
			`path = deps/arm-asl-parser`
			`url = https://github.com/GaloisInc/arm-asl-parser.git`
bump submodules 2020-02-27 10:05:08 +03:00			`[submodule "deps/what4-serialize"]`
			`path = deps/what4-serialize`
			`url = https://github.com/GaloisInc/what4-serialize.git`
updated crucible/what4 2020-03-11 00:26:55 +03:00			`[submodule "deps/what4"]`
			`path = deps/what4`
			`url = https://github.com/GaloisInc/what4.git`