Skip to content

Commit

Permalink
Bump version to 0.39.0.
Browse files Browse the repository at this point in the history
  • Loading branch information
ryzhyk committed Apr 11, 2021
1 parent 183229e commit bd0cfb0
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 4 deletions.
9 changes: 7 additions & 2 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@ 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

## D3log
### D3log

- Experimental compiler support for D3log (wip).

Expand All @@ -17,6 +17,11 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
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
Expand Down
2 changes: 1 addition & 1 deletion package.yaml
Original file line number Diff line number Diff line change
@@ -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"
Expand Down
2 changes: 1 addition & 1 deletion src/Language/DifferentialDatalog/Version.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit bd0cfb0

Please sign in to comment.