kore-0.51.0.0 (#2774)

Author: ana-pantilie

kore/CHANGELOG.md

@@ -14,6 +14,27 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.51.0.0] - 2021-07-28
+
+### Added
+
+- Added log `DebugBeginClaim` (#2682).
+- CL option for proving: maximum number of counterexamples (#2648).
+- `kore-repl`: option to turn on one-line logs (#2726).
+- Relicensing to BSD-3-Clause (PR #2742).
+- New (minor) matching case for AC structures (PR #2738).
+
+### Changed
+
+- Changed `DebugClaimState` to `DebugTransition` (#2682).
+
+### Fixed
+
+- Fixed bug in Bool unification (#2695).
+- Symbolic execution: don't crash when configuration starts as #Bottom (#2765).
+- Fixed substitution application during claim simplification (#2740).
+- Fixes looping behavior in the simplifier (#2570).
+
 ## [0.49.0.0] - 2021-06-30
 
 ### Added

kore/kore.cabal

@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.49.0.0
+version:        0.51.0.0
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/kframework/kore#readme

nix/kore.nix.d/kore.nix

@@ -11,7 +11,7 @@
     flags = { release = false; threaded = true; };
     package = {
       specVersion = "2.2";
-      identifier = { name = "kore"; version = "0.49.0.0"; };
+      identifier = { name = "kore"; version = "0.51.0.0"; };
       license = "BSD-3-Clause";
       copyright = "2018-2021 Runtime Verification Inc";
       maintainer = "[email protected]";