From f04f60b6f7957c86384b1352917e0b5418b8fd6d Mon Sep 17 00:00:00 2001 From: ana-pantilie Date: Fri, 17 Dec 2021 13:15:08 +0200 Subject: [PATCH 1/4] kore-0.60.0.0 --- kore/CHANGELOG.md | 13 +++++++++++++ kore/kore.cabal | 2 +- 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 6cfeabfd64..bad2cca5c6 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,19 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.60.0.0] - 2021-12-17 + +### Added + +- Support defining additional axioms in spec module (#2930). +- Add --simplifierx CL switch for enabling experimental simplifier (#2939). +- Kore-repl: add no. of nodes on dotted edges in graph visualizer (#2902). + +### Fixed + +- Use matching instead of unification when doing search (#2879). +- Kore-repl: if piped commands fail do not crash (#2940). + ## [0.58.0.0] - 2021-11-19 ### Added diff --git a/kore/kore.cabal b/kore/kore.cabal index cc9efbc82a..db5e0a6930 100644 --- a/kore/kore.cabal +++ b/kore/kore.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: kore -version: 0.58.0.0 +version: 0.60.0.0 description: Please see the [README](README.md) file. category: Language homepage: https://github.com/kframework/kore#readme From a38ea32c419d1e99d4853ac215273456e6cace31 Mon Sep 17 00:00:00 2001 From: github-actions Date: Fri, 17 Dec 2021 11:17:24 +0000 Subject: [PATCH 2/4] Materialize Nix expressions --- nix/kore.nix.d/kore.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nix/kore.nix.d/kore.nix b/nix/kore.nix.d/kore.nix index f6b11baec8..e0312a33c0 100644 --- a/nix/kore.nix.d/kore.nix +++ b/nix/kore.nix.d/kore.nix @@ -11,7 +11,7 @@ flags = { release = false; threaded = true; }; package = { specVersion = "2.2"; - identifier = { name = "kore"; version = "0.58.0.0"; }; + identifier = { name = "kore"; version = "0.60.0.0"; }; license = "BSD-3-Clause"; copyright = "2018-2021 Runtime Verification Inc"; maintainer = "ana.pantilie@runtimeverification.com"; From c99504d92f75760cb16f5a5217db0fc1bd3246fa Mon Sep 17 00:00:00 2001 From: ana-pantilie Date: Fri, 17 Dec 2021 13:21:46 +0200 Subject: [PATCH 3/4] Trigger workflows From bae82d95a43a4965f02007b2b1298e2701ec9c57 Mon Sep 17 00:00:00 2001 From: Ana Pantilie Date: Mon, 10 Jan 2022 12:29:48 +0200 Subject: [PATCH 4/4] Retrigger build