Merge branch 'main' into betterparser

Author: dobios

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "btor2-opt"
-version = "0.2.2"
+version = "0.3.0"
 description = "Very basic btor2 parser, circuit miter, and code optimizer."
 readme = "README.md"
 authors = [{ name = "Amelia Dobis", email = "ad4048@princeton.edu" }]
@@ -32,7 +32,7 @@ dependencies = [
 
 
 [tool.bumpver]
-current_version = "0.2.2"
+current_version = "0.3.0"
 version_pattern = "MAJOR.MINOR.PATCH"
 commit_message  = "bump version {old_version} -> {new_version}"
 commit          = true

src/btoropt/__init__.py

@@ -21,4 +21,4 @@
 from .passes.genericpass import *
 
 # Version of btoropt package
-__version__ = "0.2.2"
+__version__ = "0.3.0"