From 41a75597a0000bea1a1e64231858348c174a112a Mon Sep 17 00:00:00 2001 From: Joe Hendrix Date: Tue, 28 May 2019 14:25:50 -0700 Subject: [PATCH] Submodule/stack updates. --- deps/crucible | 2 +- deps/elf-edit | 2 +- deps/llvm-pretty | 2 +- deps/llvm-pretty-bc-parser | 2 +- deps/parameterized-utils | 2 +- stack-8.4.yaml | 14 +++++++------- stack-8.6.yaml | 10 +++------- submodules/dismantle | 2 +- submodules/semmc | 2 +- 9 files changed, 17 insertions(+), 21 deletions(-) diff --git a/deps/crucible b/deps/crucible index 4908e206..ee990cc8 160000 --- a/deps/crucible +++ b/deps/crucible @@ -1 +1 @@ -Subproject commit 4908e20654a753f7f5799a062070ecd6fba44359 +Subproject commit ee990cc8e1b4704688832d95ae44140db84f64d9 diff --git a/deps/elf-edit b/deps/elf-edit index 1b460809..7da7ee8f 160000 --- a/deps/elf-edit +++ b/deps/elf-edit @@ -1 +1 @@ -Subproject commit 1b4608098e6ead9ce32e25c53c55c029d5d4511f +Subproject commit 7da7ee8f23af9d49ed95dca5f1f13f0057db4d6f diff --git a/deps/llvm-pretty b/deps/llvm-pretty index 41d3850e..bd46364c 160000 --- a/deps/llvm-pretty +++ b/deps/llvm-pretty @@ -1 +1 @@ -Subproject commit 41d3850e202a35d92bbdd7319aebf3995bcfe0e0 +Subproject commit bd46364ca854374512ea3cbe96f910dc289ff5df diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser index d17896d4..64a79acf 160000 --- a/deps/llvm-pretty-bc-parser +++ b/deps/llvm-pretty-bc-parser @@ -1 +1 @@ -Subproject commit d17896d48ef34a78b8522e2ab6190d409b07c19c +Subproject commit 64a79acf913fe1abfc5155634cf07e9568f309bf diff --git a/deps/parameterized-utils b/deps/parameterized-utils index e4fc7f5a..dc3b5a41 160000 --- a/deps/parameterized-utils +++ b/deps/parameterized-utils @@ -1 +1 @@ -Subproject commit e4fc7f5a7d58ce28b8b59c0d27358058fe096751 +Subproject commit dc3b5a41daf6bc5b6c97cf4289db1fd860e15e80 diff --git a/stack-8.4.yaml b/stack-8.4.yaml index e9fe20c5..18a0bce3 100644 --- a/stack-8.4.yaml +++ b/stack-8.4.yaml @@ -13,15 +13,15 @@ packages: - x86_symbolic extra-deps: - boomerang-1.4.5.6@sha256:4f8407b9482a500ef9f8dc3fa13f9615d4d33a7c530b67c1ca27535e136a152d -- dotgen-0.4.2@sha256:309b7cc8a3593a8e48bee7b53020d5f72db156d58edf78a0214f58fbb84b292b -- fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e - itanium-abi-0.1.1.1@sha256:1d727fa88ecafc13ba4ec2b6a752182ce70333fbde9726aec1393151d14de6df -- located-base-0.1.1.1@sha256:7c6395f2b6fbf2d5f76c3514f774423838c0ea94e1c6a5530dd3c94b30c9d1c8 -- megaparsec-7.0.4@sha256:a7397151601cbe6b8f831f8bdad1a10118dcd6d9a7ee50d6bbdcfbd1181b4ba2 -- monadLib-3.9@sha256:dc0d8579840968be03fc2ce1c21d5af055fe5a38b65b99793dd720f5e07aaa34 +- monadLib-3.9@sha256:7225fb80bf183bf64968b7d251236fb203b86838679de3eddee7bcc59925adef - panic-0.4.0.1@sha256:fb46577c9e0ca38c37960572f958a8469f2b577e963ed4f3ea1904d8400d828b -- s-cargot-0.1.4.0@sha256:61ea1833fbb4c80d93577144870e449d2007d311c34d74252850bb48aa8c31fb -- s-cargot-letbind-0.2.3.0@sha256:238100aa0badc2f285fb7e5bf423b2f3465562061dcce0f8ecca45aa6f279ef6 +- th-abstraction-0.3.1.0@sha256:96042f6658f2dccfac03b33f0fd59f62b1f65b9b0a765d8a2ea6026f4081ee4a +- bifunctors-5.5.4 +- deriving-compat-0.5.6 +- invariant-0.5.3 +- lens-4.17.1 +- microlens-th-0.4.2.3 # Submodules added to extra-deps so that we do not fail on warnings. - ./deps/crucible/what4 diff --git a/stack-8.6.yaml b/stack-8.6.yaml index 8aa276a4..12cfc0c0 100644 --- a/stack-8.6.yaml +++ b/stack-8.6.yaml @@ -1,4 +1,4 @@ -resolver: lts-13.21 +resolver: lts-13.23 packages: - base @@ -9,14 +9,10 @@ packages: - x86_symbolic extra-deps: - boomerang-1.4.5.6@sha256:4f8407b9482a500ef9f8dc3fa13f9615d4d33a7c530b67c1ca27535e136a152d -- fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e - itanium-abi-0.1.1.1@sha256:1d727fa88ecafc13ba4ec2b6a752182ce70333fbde9726aec1393151d14de6df -- located-base-0.1.1.1@sha256:7c6395f2b6fbf2d5f76c3514f774423838c0ea94e1c6a5530dd3c94b30c9d1c8 -- monadLib-3.9@sha256:dc0d8579840968be03fc2ce1c21d5af055fe5a38b65b99793dd720f5e07aaa34 +- monadLib-3.9@sha256:7225fb80bf183bf64968b7d251236fb203b86838679de3eddee7bcc59925adef - panic-0.4.0.1@sha256:fb46577c9e0ca38c37960572f958a8469f2b577e963ed4f3ea1904d8400d828b -- s-cargot-0.1.4.0@sha256:61ea1833fbb4c80d93577144870e449d2007d311c34d74252850bb48aa8c31fb -- s-cargot-letbind-0.2.3.0@sha256:238100aa0badc2f285fb7e5bf423b2f3465562061dcce0f8ecca45aa6f279ef6 - +- th-abstraction-0.3.1.0@sha256:96042f6658f2dccfac03b33f0fd59f62b1f65b9b0a765d8a2ea6026f4081ee4a # Submodules added to extra-deps so that we do not fail on warnings. - ./deps/crucible/what4 - ./deps/crucible/crucible diff --git a/submodules/dismantle b/submodules/dismantle index 13979c7b..a04be924 160000 --- a/submodules/dismantle +++ b/submodules/dismantle @@ -1 +1 @@ -Subproject commit 13979c7b863b0afc5cebdeaf7f3d94a929d07524 +Subproject commit a04be924572edd15e62d007332eaa101ace6a7be diff --git a/submodules/semmc b/submodules/semmc index 6b045557..61eb4f79 160000 --- a/submodules/semmc +++ b/submodules/semmc @@ -1 +1 @@ -Subproject commit 6b045557e3714d5c4037015b9ec1cf88558f239e +Subproject commit 61eb4f791f1e66a678b11af7b96503cb05276def