Minor updates: include notebook files in package, version bump

.github/workflows/docs-on-release.yml

@@ -23,6 +23,7 @@ jobs:
                   sudo apt-get update;
                   sudo apt-get install pandoc
                   python -m pip install --upgrade pip
+                  pip install poetry
                   poetry install --with docs
             - name: Build and Commit
               uses: sphinx-notes/pages@v2 # NOTE when switching to v3, export dependencies to requirements.txt in pyproject.toml: `poetry export --with docs --without-hashes --format=requirements.txt > docs/requirements.txt`

.github/workflows/docs.yml

@@ -22,7 +22,8 @@ jobs:
                   sudo apt-get update;
                   sudo apt-get install pandoc
                   python -m pip install --upgrade pip
-                  pip install .[doc]
+                  pip install poetry
+                  poetry install --with docs
             - name: Build and Commit
               uses: sphinx-notes/pages@v2 # NOTE when switching to v3, export dependencies to requirements.txt in pyproject.toml: `poetry export --with docs --without-hashes --format=requirements.txt > docs/requirements.txt`
               with:

CHANGELOG.md

@@ -2,7 +2,7 @@
 All notable changes to this project will be documented in this file.
 This project adheres to [Semantic Versioning](http://semver.org/).
 
-## Unreleased
+## [1.0.0] - Unreleased
 - Major speedup due to new parser and using revamped python-constraint for searchspace building
 - Implemented ability to use `PySMT` and `ATF` for searchspace building
 - Added Poetry for dependency and build management