Merge branch 'master' into operator-names

vmware · Apr 11, 2021 · f1246b9 · f1246b9
2 parents 3daf5c3 + bd0cfb0
commit f1246b9
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,25 +4,30 @@ 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/).
 
-## [Unreleased]
+## [0.39.0] - April 11, 2021
 
 ### Changes
 
 - Upgraded to timely dataflow and differential dataflow dependencies to v0.12.
 - Worked on improving the debuggability of ddlog dataflow graphs
 
-## D3log
+### D3log
 
 - Experimental compiler support for D3log (wip).
 
-### New features
+#### New features
 
 - We now support rules that don't start with a positive literal, e.g.,
   ```
   R() :- not R2(...).
   R() :- var x = 5.
   ```
 
+### Bug fix
+
+- Delete old Rust files in the generated project.  This prevents compilation
+  errors when upgrading to a new version of DDlog.
+
 ## [0.38.0] - Mar 11, 2021
 
 ### API changes

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

diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs
@@ -32,7 +32,7 @@ import GitHash
 
 -- Keep this in sync with the binary release version on github
 dDLOG_VERSION :: String
-dDLOG_VERSION = "v0.38.0"
+dDLOG_VERSION = "v0.39.0"
 
 gitHash :: String
 gitHash = giHash $$tGitInfoCwd