MCTK-9: bump version to 0.1.0

marcusm117 · May 12, 2023 · 5977b51 · 5977b51
1 parent a175b4f
commit 5977b51
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/.bumpversion.cfg b/.bumpversion.cfg
@@ -1,5 +1,5 @@
 [bumpversion]
-current_version = 0.0.1
+current_version = 0.1.0
 commit = True
 tag = True
 

diff --git a/docs/tutorials/contributing.md b/docs/tutorials/contributing.md
@@ -1,4 +1,4 @@
-# Contributing to MCTK
+# Contributing
 
 Hi! Thanks for your interest in contributing to [MCTK](https://github.com/marcusm117/mctk). You can contribute in many ways, including:
 

diff --git a/docs/tutorials/getstarted.md b/docs/tutorials/getstarted.md
@@ -2,7 +2,7 @@
 
 [![PyPI](https://img.shields.io/pypi/v/mctk-py?color=blue&label=PyPI)](https://pypi.org/project/mctk-py/) [![CI](https://github.com/marcusm117/mctk/workflows/CI/badge.svg?branch=dev)](https://github.com/marcusm117/mctk/actions?query=workflow%3A%22Build+Status%22) [![codecov](https://codecov.io/gh/marcusm117/mctk/branch/dev/graph/badge.svg)](https://codecov.io/gh/marcusm117/mctk) [![Docs](https://github.com/marcusm117/mctk/workflows/Docs/badge.svg?branch=dev)](https://marcusm117.github.io/mctk/) [![License](https://img.shields.io/badge/License-Apache_2.0-green)](https://github.com/marcusm117/mctk/blob/dev/LICENSE) [![Issues](https://img.shields.io/github/issues/marcusm117/FV_mctk?color=red&label=Issues)](https://github.com/marcusm117/mctk/issues)
 
-Model Checking Toolkit for Python.
+[Model Checking Toolkit for Python.](https://marcusm117.github.io/mctk/)
 
 ## Overview
 

diff --git a/mctk/__init__.py b/mctk/__init__.py
@@ -1,7 +1,7 @@
 from .models import KripkeStruct, KripkeStructError
 from .checking import SAT_atom, NOT, AND, OR, IMPLIES, IFF, EX, AX, EF, AF, EG, AG, EU, AU
 
-__version__ = "0.0.1"
+__version__ = "0.1.0"
 __all__ = [
     "KripkeStruct",
     "KripkeStructError",

diff --git a/pyproject.toml b/pyproject.toml
@@ -11,7 +11,7 @@ name = "mctk-py"
 authors = [{name = "marcusm117", email = "marcusmin117@gmail.com"}]
 description="Model Checking Toolkit for Python"
 readme = "README.md"
-version = "0.0.1"
+version = "0.1.0"
 requires-python = ">=3.8"
 
 dependencies = []