bump version 0.1.2 -> 0.1.3

README.md

@@ -1,4 +1,4 @@
-# Auto-Verify 0.1.2
+# Auto-Verify 0.1.3
 
 Auto-Verify is a framework for neural network verification, that allows you to install, configure and run verification tools in parallel portfolios.
 

autoverify/__init__.py

@@ -1,7 +1,7 @@
 import os
 from pathlib import Path
 
-__version__ = "0.1.2"
+__version__ = "0.1.3"
 
 ROOT_DIR = Path(os.path.dirname(os.path.abspath(__file__)))
 DEFAULT_VERIFICATION_TIMEOUT_SEC = 600

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "auto-verify"
-version = "0.1.2"
+version = "0.1.3"
 description = "Efficient portfolio-based verification of neural network properties"
 readme = "README.md"
 authors = [{ name = "Corné Spek" }]
@@ -81,7 +81,7 @@ warn_unused_configs = true
 no_implicit_reexport = true
 
 [tool.bumpver]
-current_version = "0.1.2"
+current_version = "0.1.3"
 version_pattern = "MAJOR.MINOR.PATCH"
 commit_message = "bump version {old_version} -> {new_version}"
 commit = true