Bump version to 0.47.0.

Signed-off-by: Leonid Ryzhyk <[email protected]>
vmware · Aug 19, 2021 · bf8b864 · bf8b864
1 parent 77dcb77
commit bf8b864
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,14 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## [0.47.0] - Aug 19, 2021
+
+### OVSDB-to-DDlog compiler update
+
+- Added `--intern-strings` option that causes all strings in generated OVSDB tables
+  to be emitted as 'istring'.  This reduces memory use and can aid performance in programs
+  that use strings heavily.  See PR #1056.
+
 ## [0.46.0] - Aug 18, 2021
 
 ### Optimizations

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                differential-datalog
-version:             0.46.0
+version:             0.47.0
 github:              "vmware/differential-datalog"
 license:             MIT
 author:              "Leonid Ryzhyk"

diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs
@@ -33,7 +33,7 @@ import Data.List
 
 -- Keep this in sync with the binary release version on github
 dDLOG_VERSION :: String
-dDLOG_VERSION = "v0.46.0"
+dDLOG_VERSION = "v0.47.0"
 
 gitInfoCwdTry :: Either String GitInfo
 gitInfoCwdTry = $$tGitInfoCwdTry