Update dependency: deps/haskell-backend_release (#4528)

Co-authored-by: devops <[email protected]>
runtimeverification · Jul 19, 2024 · d7aa44f · d7aa44f
1 parent 788d1f3
commit d7aa44f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.40
+v0.1.46
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
+2 −0		.github/workflows/master.yml
+14 −33		booster/library/Booster/CLOptions.hs
+4 −9		booster/library/Booster/LLVM.hs
+2 −94		booster/library/Booster/LLVM/Internal.hs
+51 −31		booster/library/Booster/SMT/Interface.hs
+0 −124		booster/library/Booster/Trace.hs
+0 −96		booster/library/Booster/Trace/TH.hs
+1 −2		booster/package.yaml
+1 −1		booster/test/rpc-integration/test-collectiontest/README.md
+2 −29		booster/test/rpc-integration/test-collectiontest/state-map-lookup.simplify
+2 −2		booster/test/rpc-integration/test-collectiontest/state-map-lookupOrDefault.simplify
+0 −6		booster/tools/booster/Server.hs
+2 −1		booster/tools/rpc-client/RpcClient.hs
+1 −1		deps/k_release
+1 −6		dev-tools/booster-dev/Server.hs
+0 −382		dev-tools/eventlog-parser/EventlogParser.hs
+0 −111		dev-tools/eventlog-parser/FrameDict.hs
+1 −7		dev-tools/kore-rpc-dev/Server.hs
+1 −22		dev-tools/package.yaml
+1 −1		kore-rpc-types/kore-rpc-types.cabal
+15 −8		kore/app/share/GlobalMain.hs
+2 −1		kore/kore.cabal
+1 −1		package/debian/changelog
+1 −1		package/version