kore-0.35.0.0 (#2293)

runtimeverification · Nov 30, 2020 · deba447 · deba447
1 parent 6a07860
commit deba447
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 2 deletions.
diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
@@ -14,6 +14,24 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.35.0.0] - 2020-11-30
+
+### Added
+
+- Added hooked function `LIST.make`. (#2253)
+
+### Changed
+
+- Hooked function `LIST.update` is `\bottom` for negative indices. (#2278)
+- The concrete syntax of domain values in `BYTES.Bytes` matches the LLVM
+  backend. (#2256)
+
+### Fixed
+
+- Execution with `krun` reports all stuck configurations. (#2205)
+- Bug reports generated by `kore-exec` display the command-line options
+  correctly. (#2245)
+
 ## [0.34.0.0] - 2020-11-16
 
 ### Added

diff --git a/kore/kore.cabal b/kore/kore.cabal
@@ -5,7 +5,7 @@ cabal-version: 2.2
 -- see: https://github.com/sol/hpack
 
 name:           kore
-version:        0.34.0.0
+version:        0.35.0.0
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/kframework/kore#readme

diff --git a/kore/package.yaml b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.34.0.0
+version:             0.35.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE