From 938734d1e93454ca603852cb9928bdc78bcf0ac2 Mon Sep 17 00:00:00 2001 From: Tristan Ravitch Date: Sun, 12 Apr 2020 19:39:52 -0700 Subject: [PATCH] Submodule updates --- cabal.project.dist | 2 +- deps/asl-translator | 2 +- deps/crucible | 2 +- deps/dismantle | 2 +- deps/llvm-pretty-bc-parser | 2 +- deps/macaw-loader | 2 +- deps/semmc | 2 +- deps/what4 | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/cabal.project.dist b/cabal.project.dist index e724ce27..b10768a4 100644 --- a/cabal.project.dist +++ b/cabal.project.dist @@ -9,7 +9,7 @@ packages: macaw-ppc/ x86_symbolic/ refinement/ deps/macaw-loader/macaw-loader - deps/macaw-loader/macaw-loader-arm + deps/macaw-loader/macaw-loader-aarch32 deps/macaw-loader/macaw-loader-ppc deps/macaw-loader/macaw-loader-x86 deps/semmc/semmc/ diff --git a/deps/asl-translator b/deps/asl-translator index 28390642..a654f18d 160000 --- a/deps/asl-translator +++ b/deps/asl-translator @@ -1 +1 @@ -Subproject commit 28390642e99a2da4deeb98884889fb497676be85 +Subproject commit a654f18d0253e82c960deabe7eb2950b35889abe diff --git a/deps/crucible b/deps/crucible index 8eb3988f..5c46b3ae 160000 --- a/deps/crucible +++ b/deps/crucible @@ -1 +1 @@ -Subproject commit 8eb3988fc43b7310de1f89e3a50f3416b3288b6c +Subproject commit 5c46b3ae77ddb2e95d2005f8cca675163a55fa1b diff --git a/deps/dismantle b/deps/dismantle index d4ba58e2..34ed1a42 160000 --- a/deps/dismantle +++ b/deps/dismantle @@ -1 +1 @@ -Subproject commit d4ba58e2ff60de255c0c27ad8af40e944fd27a68 +Subproject commit 34ed1a425c691a71de62afce5794db52c9486a6d diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser index 25edd30d..b2cb6eea 160000 --- a/deps/llvm-pretty-bc-parser +++ b/deps/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit 25edd30d067a9ec4176cc10fcccf513db37d8ac7 +Subproject commit b2cb6eea4098b8cffc417f8af81a5567e46ce3a5 diff --git a/deps/macaw-loader b/deps/macaw-loader index c5ba9f04..28bc6f75 160000 --- a/deps/macaw-loader +++ b/deps/macaw-loader @@ -1 +1 @@ -Subproject commit c5ba9f048eca0f083e066f80218398d178ea6dce +Subproject commit 28bc6f7587723c0f2f31e357f72c53f6dde56d5f diff --git a/deps/semmc b/deps/semmc index 63b527ae..dc1e4b57 160000 --- a/deps/semmc +++ b/deps/semmc @@ -1 +1 @@ -Subproject commit 63b527aedffa8474c348070670f7f7b8a19eb532 +Subproject commit dc1e4b5786fda4fb61140d83aa8951cd425201fc diff --git a/deps/what4 b/deps/what4 index bc44c3de..911e0cd4 160000 --- a/deps/what4 +++ b/deps/what4 @@ -1 +1 @@ -Subproject commit bc44c3deeb001b737a1fe95dbba5a362acb56cf2 +Subproject commit 911e0cd4e6addc0e16d0525b23519ee3c4f9cb50