From b0de116aa8587e5429b538aacc15c0eafdbc0a10 Mon Sep 17 00:00:00 2001 From: Tristan Ravitch Date: Tue, 22 Jan 2019 21:37:39 -0800 Subject: [PATCH] Update submodules Includes a minor breaking change from macaw --- macaw-semmc/src/Data/Macaw/SemMC/Generator.hs | 1 - submodules/crucible | 2 +- submodules/llvm-pretty | 2 +- submodules/macaw | 2 +- submodules/parameterized-utils | 2 +- 5 files changed, 4 insertions(+), 5 deletions(-) diff --git a/macaw-semmc/src/Data/Macaw/SemMC/Generator.hs b/macaw-semmc/src/Data/Macaw/SemMC/Generator.hs index 7e3f7939..5a68ffb1 100644 --- a/macaw-semmc/src/Data/Macaw/SemMC/Generator.hs +++ b/macaw-semmc/src/Data/Macaw/SemMC/Generator.hs @@ -353,7 +353,6 @@ finishBlock' preBlock term = Block { blockLabel = pBlockIndex preBlock , blockStmts = F.toList (preBlock ^. pBlockStmts) , blockTerm = term (preBlock ^. pBlockState) - , blockAddr = pBlockAddr preBlock } -- | Consume a 'GenResult', finish off the contained 'PreBlock', and append the diff --git a/submodules/crucible b/submodules/crucible index ca9173d2..1c420c3b 160000 --- a/submodules/crucible +++ b/submodules/crucible @@ -1 +1 @@ -Subproject commit ca9173d2ca5ffdf55750d676e9e67c297b38d377 +Subproject commit 1c420c3b373ed203cbe794daae5f020157f1ee2c diff --git a/submodules/llvm-pretty b/submodules/llvm-pretty index e05cf319..41d3850e 160000 --- a/submodules/llvm-pretty +++ b/submodules/llvm-pretty @@ -1 +1 @@ -Subproject commit e05cf3195b0938961cb0d8ecf4b7a4821f0d2673 +Subproject commit 41d3850e202a35d92bbdd7319aebf3995bcfe0e0 diff --git a/submodules/macaw b/submodules/macaw index 68c5578f..0451046c 160000 --- a/submodules/macaw +++ b/submodules/macaw @@ -1 +1 @@ -Subproject commit 68c5578f03b93b4cf5d57cea9df3f35268791518 +Subproject commit 0451046cab7cc00adcc0fbacc0e1969b37e23e61 diff --git a/submodules/parameterized-utils b/submodules/parameterized-utils index 2af20d4e..3e5fdd35 160000 --- a/submodules/parameterized-utils +++ b/submodules/parameterized-utils @@ -1 +1 @@ -Subproject commit 2af20d4e1ed93b18503d7e73376fa993ed865357 +Subproject commit 3e5fdd357d5fdd466dc0370ae730590d832529aa