GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

bump submodules

Browse Source
This commit is contained in:
Daniel Matichuk 2020-02-26 23:05:08 -08:00
parent ad10d389fb
commit a98dec23c0
8 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,6 +1,7 @@
*.o
*~
*.hi
cabal.project
dist/
dist-newstyle/
cabal.sandbox.config

3
.gitmodules vendored
View File

@ -34,3 +34,6 @@
[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

2
cabal.project.dist
View File

@ -25,7 +25,7 @@ packages: macaw-ppc/
deps/crucible/crucible/
deps/crucible/crucible-llvm/
deps/crucible/what4/
deps/crucible/what4-serialize/
deps/what4-serialize/
deps/dwarf/
deps/elf-edit/
deps/flexdis86/

2
deps/asl-translator vendored

@ -1 +1 @@
Subproject commit de367b20777981dfcb00932de6bdbdbcecc06715
Subproject commit 9a6031fe90379464bc8b5f801c55b179a3a3ed93

2
deps/crucible vendored

@ -1 +1 @@
Subproject commit 63e2229b5ea85fbb61df29df0efda756ec644b21
Subproject commit 4c41edbb5e26478510901882afaea4f335f1422b

2
deps/dismantle vendored

@ -1 +1 @@
Subproject commit a8eb81be31e9417cfd8c952713e80bc9639c405b
Subproject commit 8e95e6c083b76f7668445298fea769ac3de6017e

2
deps/semmc vendored

@ -1 +1 @@
Subproject commit 3e1d4f7e5b33d12a4fac16eeee1ce1a51d5dd24a
Subproject commit 085b229461d714fda24aae1fc7b99852d6574fe6

1
deps/what4-serialize vendored Submodule

@ -0,0 +1 @@
Subproject commit df3290b2493e6ef240a324d4c145e5ce376380a1