diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index 2e34dc3de6..d95883d657 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.38.0.0] - 2021-01-24
+
+### Added
+
+- Add profiling traces for rewriting and simplification during ordinary
+  execution. (#2331)
+
+### Changed
+
+- Apply symbolic simplification rules to hook `KEQUAL.eq` under `\and` and
+  `\equals`. (#2346)
+- Include `result.kore` in output with `--bug-report`. (#2018)
+- Predicates have a distinguished internal representation. (#2099)
+- Unification problems in the argument positions of equations are solved during
+  initialization. (#2326)
+
+### Fixed
+
+- `kore-repl` no longer reports all remaining states (after rewriting) as stuck.
+  (#2335)
+- The bounded model checker returns `\top` when the property holds up to the
+  specified bound, but emits a warning if the bound was reached before execution
+  finished. (#2342)
+
 ## [0.37.0.0] - 2021-01-07
 
 ### Added
diff --git a/kore/kore.cabal b/kore/kore.cabal
index d1867bd00f..f249a92842 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -4,10 +4,10 @@ cabal-version: 2.2
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 14a9c3fb13f5926dbd7132316a785e05c02d496c072bab9f8bd7533b1cbc8d41
+-- hash: 31c0153b51498e9307cfa8992158de791fb8824f02b0c299f2e0b5dd9a03eab8
 
 name:           kore
-version:        0.37.0.0
+version:        0.38.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 76ff901673..b1bd5df203 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.37.0.0
+version:             0.38.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 4662db3a38..9944e895de 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.37.0.0"; };
+      identifier = { name = "kore"; version = "0.38.0.0"; };
       license = "NCSA";
       copyright = "2018-2020 Runtime Verification Inc";
       maintainer = "thomas.tuegel@runtimeverification.com";