diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index c9e0db8595..b0ce41ece6 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,30 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.36.0.0] - 2020-12-09
+
+### Added
+
+- Added option `--error-entries` to turn any log entry into an error. (#2285)
+
+### Changed
+
+- `krun` always prints fully-simplified states. (#2299)
+- `kore-exec` sends terms to the SMT solver if it can infer dynamically that
+  they are defined at runtime. (#2287)
+- The `kore-parser` options `--no-print-definition` and `--no-print-pattern` are
+  now the default. (#2264)
+
+### Deprecated
+
+### Removed
+
+### Fixed
+
+- The performance of the parser is significantly improved. (#2189)
+- `kore-parser` prints a helpful error message if the `--module` option is
+  omitted where it is required. (#2254)
+
 ## [0.35.0.0] - 2020-11-30
 
 ### Added
diff --git a/kore/kore.cabal b/kore/kore.cabal
index fc918af46c..86f148467f 100644
--- 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.35.0.0
+version:        0.36.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
index 6eadfd7405..4f4de370e2 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.35.0.0
+version:             0.36.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE
diff --git a/nix/kore.nix.d/kore.nix b/nix/kore.nix.d/kore.nix
index b34719dff5..b0ecbd0fd7 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.35.0.0"; };
+      identifier = { name = "kore"; version = "0.36.0.0"; };
       license = "NCSA";
       copyright = "2018-2020 Runtime Verification Inc";
       maintainer = "thomas.tuegel@runtimeverification.com";