Update dependency: haskell-backend/src/main/native/haskell-backend (r…

…untimeverification#3134) * haskell-backend/src/main/native/haskell-backend: 8612bdfe4 - Remove redundant fields from RPC timeout response (runtimeverification#3474) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: 4e9b76ab1 - Update README section (runtimeverification#3473) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: fae73ac06 - Switch to GHC 9.2.5 (runtimeverification#3461) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: f3e87176a - [runtimeverification#2313] Remove bmc code (runtimeverification#3482) * Sync flake inputs to submodules * Remove kbmc tests --------- Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: ana-pantilie <[email protected]>
h0nzZik · Feb 3, 2023 · 81fc3cb · 81fc3cb
1 parent a2a18af
commit 81fc3cb
Show file tree

Hide file tree

Showing 12 changed files with 541 additions and 189 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
diff --git a/k-distribution/tests/regression-new/kbmc/Makefile b/k-distribution/tests/regression-new/kbmc/Makefile
diff --git a/k-distribution/tests/regression-new/kbmc/bmc.k b/k-distribution/tests/regression-new/kbmc/bmc.k
diff --git a/k-distribution/tests/regression-new/kbmc/fail-test1-spec-bmc.k b/k-distribution/tests/regression-new/kbmc/fail-test1-spec-bmc.k
diff --git a/k-distribution/tests/regression-new/kbmc/fail-test1-spec-bmc.k.out b/k-distribution/tests/regression-new/kbmc/fail-test1-spec-bmc.k.out
diff --git a/k-distribution/tests/regression-new/kbmc/fail-test2-spec-bmc.k b/k-distribution/tests/regression-new/kbmc/fail-test2-spec-bmc.k
diff --git a/k-distribution/tests/regression-new/kbmc/fail-test2-spec-bmc.k.out b/k-distribution/tests/regression-new/kbmc/fail-test2-spec-bmc.k.out
diff --git a/k-distribution/tests/regression-new/kbmc/success-test1-spec-bmc.k b/k-distribution/tests/regression-new/kbmc/success-test1-spec-bmc.k
diff --git a/k-distribution/tests/regression-new/kbmc/success-test1-spec-bmc.k.out b/k-distribution/tests/regression-new/kbmc/success-test1-spec-bmc.k.out
diff --git a/k-distribution/tests/regression-new/kbmc/unknown-test1-spec-bmc.k b/k-distribution/tests/regression-new/kbmc/unknown-test1-spec-bmc.k
diff --git a/k-distribution/tests/regression-new/kbmc/unknown-test1-spec-bmc.k.out b/k-distribution/tests/regression-new/kbmc/unknown-test1-spec-bmc.k.out