From 37fe6eb8fcfe50387bc10942e083e371ebc00565 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Mon, 16 Nov 2020 16:58:13 -0600 Subject: [PATCH] kore-0.34.0.0 (#2270) --- .github/workflows/test.yml | 4 ++-- kore/CHANGELOG.md | 19 +++++++++++++++++++ kore/package.yaml | 2 +- 3 files changed, 22 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ba84291c24..5c54ba7f6f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -9,8 +9,8 @@ jobs: - uses: actions/checkout@v2.3.4 with: submodules: recursive - - uses: cachix/install-nix-action@v11 - - uses: cachix/cachix-action@v7 + - uses: cachix/install-nix-action@v12 + - uses: cachix/cachix-action@v8 with: name: runtimeverification signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 7803feccc8..ba56f0641c 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,25 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.34.0.0] - 2020-11-16 + +### Added + +- The `STRING.string2base` hook parses signed hexadecimal values. (#2251) +- The `\left-assoc` and `\right-assoc` notations are parsed. (#2124) +- Functional terms are translated as uninterpreted functions for the SMT solver + if no other translation is available. (#2261) + +### Fixed + +- The environment variable `KORE_EXEC_OPTS` has no effect outside + `kore-exec`. (#2235) +- Claims with an `ensures` clause does not cause an internal error. (#2221) +- The `--strategy all` option is effective. (#2205) +- The rule merger does not complain about duplicate names when there are not + duplicate names. (#2226, #2228) +- `kore-parser` prints human-readable error messages. (#2243) + ## [0.33.0.0] - 2020-10-29 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 729255b93b..2359496780 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.33.0.0 +version: 0.34.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE