Preparing for release 0.7.0

aig-upf · May 12, 2021 · 7d955e5 · 7d955e5
1 parent 687f28c
commit 7d955e5
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,9 +5,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 ### Changed
+### Added
+### Removed
+### Deprecated
+### Fixed
 
+## [0.7.0]
 ### Added
-  - Added some basic forward search capabilities.
+  - Added some basic forward search capabilities (#101).
+  - Import psutil module conditionally, to offer better support for non-Linux 
+    platforms where it is not available (see discussion in #99). 
 
 ### Removed
   - Removed support for `PySDD` and `sdd` extra, which was largely unused, and

diff --git a/docs/development/releasing.md b/docs/development/releasing.md
@@ -7,7 +7,7 @@ Docs: <https://packaging.python.org/tutorials/packaging-projects/>
 
 1. Update the `CHANGELOG.md` file.
 1. Update the version number in `src/tarski/version.py`
-1. Commit.
+1. Commit. Use message like "Preparing for release 0.6.0".
 1. Go to the `master` branch and merge the `devel` branch.
 1. Tag the release.
     ```bash

diff --git a/src/tarski/version.py b/src/tarski/version.py
@@ -1,3 +1,3 @@
 
-__version_info__ = (0, 6, 0)
+__version_info__ = (0, 7, 0)
 __version__ = '.'.join(map(str, __version_info__))