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

…2918) * Update dependency: haskell-backend/src/main/native/haskell-backend (#2897) * haskell-backend/src/main/native/haskell-backend: 5b558293c - 3214 support not simplification rules (#3234) * haskell-backend/src/main/native/haskell-backend: 6e5d07163 - Disable automatic run of update job (#3258) * haskell-backend/src/main/native/haskell-backend: ebd986060 - Update dependency: deps/k_release (#3233) * Set Version: 5.4.2 * haskell-backend/src/main/native/haskell-backend: 4a437a812 - Handle incorrect log path for `--bug-report` option (#3269) * haskell-backend/src/main/native/haskell-backend: f9366b6f8 - Nix profiling tweaks (#3268) * haskell-backend/src/main/native/haskell-backend: 9ea642db3 - Feature/profiling performance workflow (#3265) * haskell-backend/src/main/native/haskell-backend: 0c75536f4 - Rewrite script which generates regressions tests (#3261) * haskell-backend/src/main/native/haskell-backend: 8844d5c2b - Add functional-spec test from KEVM (#3271) * haskell-backend/src/main/native/haskell-backend: a5653fa8d - use state to cache simplifier across branches during unification (#3270) * Hardcode flake.lock as a workaround to broken CI * Set Version: 5.4.3 * haskell-backend/src/main/native/haskell-backend: 0a2b03245 - Add C semantics smoke test depth 100 (#3274) * Set Version: 5.4.4 * haskell-backend/src/main/native/haskell-backend: 23530bd9a - 3223 json rpc cut points and terminal rules (#3273) * Set Version: 5.4.5 * Fix * Set Version: 5.4.6 * Set Version: 5.4.7 * haskell-backend/src/main/native/haskell-backend: 087544025 - Modify Ceil simplifier to not recurse (#3209) * haskell-backend/src/main/native/haskell-backend: b68c43a93 - Hotfix/profiling workflow triggers (#3272) * Set Version: 5.4.8 * haskell-backend/src/main/native/haskell-backend: 3c3f31bf2 - Update dependency: deps/k_release (#3275) * haskell-backend/src/main/native/haskell-backend: 133a83eae - Using action runner permissions token for gh tool (#3277) * Hardcode flake diff changes Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: ana-pantilie <ana.pantilie95@gmail.com> Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com> * haskell-backend/src/main/native/haskell-backend: ba227c0dc - Update dependency: deps/k_release (#3276) * Set Version: 5.4.9 * Set Version 5.4.8 * Set Version: 5.4.9 * Set Version: 5.4.10 * Set Version: 5.4.11 * Set Version: 5.4.12 * Set Version: 5.4.13 * haskell-backend/src/main/native/haskell-backend: 24e8a3d48 - Update dependency: deps/k_release (#3282) * Update flake.lock Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: ana-pantilie <ana.pantilie95@gmail.com> Co-authored-by: Ana Pantilie <45069775+ana-pantilie@users.noreply.github.com> Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
runtimeverification · Oct 3, 2022 · 7a860cf · 7a860cf
1 parent f233598
commit 7a860cf
Show file tree

Hide file tree

Showing 7 changed files with 18 additions and 18 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/install-k b/install-k
@@ -1,6 +1,6 @@
 #!/bin/sh -e
 
-K_VERSION=5.4.9
+K_VERSION=5.4.13
 
 if [ `id -u` -ne 0 ]; then
   echo "$0: error: This script must be run as root."

diff --git a/package/arch/PKGBUILD b/package/arch/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Dwight Guth <dwight.guth@runtimeverification.com>
 pkgname=kframework-git
-pkgver=5.4.9
+pkgver=5.4.13
 pkgrel=1
 epoch=
 pkgdesc="K framework toolchain. Includes K Framework compiler for K language definitions, and K interpreter and prover for programs written in languages defined in K."

diff --git a/package/debian/changelog b/package/debian/changelog
@@ -1,4 +1,4 @@
-kframework (5.4.9) unstable; urgency=medium
+kframework (5.4.13) unstable; urgency=medium
 
   * Initial Release.
 

diff --git a/package/version b/package/version
@@ -1 +1 @@
-5.4.9
+5.4.13
diff --git a/src/main/scripts/test-in-container-debian b/src/main/scripts/test-in-container-debian
@@ -1,5 +1,5 @@
 #!/bin/sh -ex
-K_VERSION=5.4.9
+K_VERSION=5.4.13
 export DEBIAN_FRONTEND=noninteractive
 apt-get update
 apt-get upgrade --yes
+20 −2		.github/workflows/test.yml
+1 −1		deps/k_release
+13 −0		docs/hooks.md
+5 −0		kore/kore.cabal
+3 −0		kore/src/Kore/Builtin.hs
+102 −0		kore/src/Kore/Builtin/IO.hs
+7 −1		kore/src/Kore/Exec.hs
+16 −1		kore/src/Kore/Log.hs
+265 −0		kore/src/Kore/Log/DebugRewriteTrace.hs
+41 −0		kore/src/Kore/Log/InfoUserLog.hs
+14 −0		kore/src/Kore/Log/KoreLogOptions.hs
+14 −0		kore/src/Kore/Log/Registry.hs
+3 −0		kore/src/Kore/Reachability/AllPathClaim.hs
+4 −0		kore/src/Kore/Reachability/Claim.hs
+3 −0		kore/src/Kore/Reachability/OnePathClaim.hs
+15 −1		kore/src/Kore/Reachability/Prove.hs
+4 −0		kore/src/Kore/Reachability/SomeClaim.hs
+3 −0		kore/src/Kore/Rewrite/ClaimPattern.hs
+11 −1		kore/src/Kore/Rewrite/RewriteStep.hs
+6 −0		kore/src/Kore/Rewrite/RulePattern.hs
+23 −0		kore/test/Test/Kore/Builtin/Definition.hs
+24 −0		kore/test/Test/Kore/Builtin/IO.hs
+1 −0		kore/test/Test/Kore/Builtin/String.hs
+6 −0		nix/kore-ghc8107.nix.d/kore.nix
+6 −0		nix/kore-ghc923.nix.d/kore.nix