Merge pull request #79 from dreinon/master

Updated version and added new features

Author: tpaviot

NOTES

@@ -1,5 +1,11 @@
 RELEASE NOTES
 
+Version 0.7.1
+=============
+New features:
+  - applied Black formatting
+  - Hotfix: temporal debugging log
+
 Version 0.7.0
 =============
 New features:

doc/conf.py

@@ -16,7 +16,7 @@
 author = "Thomas Paviot"
 
 # The full version, including alpha/beta/rc tags
-version = "0.7.0"
+version = "0.7.1"
 release = version
 
 # -- RTD configuration ------------------------------------------------

processscheduler/__init__.py

@@ -13,7 +13,7 @@
 # You should have received a copy of the GNU General Public License along with
 # this program. If not, see <http://www.gnu.org/licenses/>.
 
-__VERSION__ = "0.7.1-dev"
+__VERSION__ = "0.7.1"
 
 try:
     from z3 import BoolRef

setup.py

@@ -21,7 +21,7 @@
 
 setup(
     name="ProcessScheduler",
-    version="0.7.0",
+    version="0.7.1",
     description=DESCRIPTION,
     long_description=open("README.md").read(),
     long_description_content_type="text/markdown",