Skip to content

Commit 5977b51

Browse files
authored
MCTK-9: bump version to 0.1.0
1 parent a175b4f commit 5977b51

File tree

5 files changed

+5
-5
lines changed

5 files changed

+5
-5
lines changed

.bumpversion.cfg

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
[bumpversion]
2-
current_version = 0.0.1
2+
current_version = 0.1.0
33
commit = True
44
tag = True
55

docs/tutorials/contributing.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# Contributing to MCTK
1+
# Contributing
22

33
Hi! Thanks for your interest in contributing to [MCTK](https://github.com/marcusm117/mctk). You can contribute in many ways, including:
44

docs/tutorials/getstarted.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
[![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)
44

5-
Model Checking Toolkit for Python.
5+
[Model Checking Toolkit for Python.](https://marcusm117.github.io/mctk/)
66

77
## Overview
88

mctk/__init__.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
from .models import KripkeStruct, KripkeStructError
22
from .checking import SAT_atom, NOT, AND, OR, IMPLIES, IFF, EX, AX, EF, AF, EG, AG, EU, AU
33

4-
__version__ = "0.0.1"
4+
__version__ = "0.1.0"
55
__all__ = [
66
"KripkeStruct",
77
"KripkeStructError",

pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ name = "mctk-py"
1111
authors = [{name = "marcusm117", email = "marcusmin117@gmail.com"}]
1212
description="Model Checking Toolkit for Python"
1313
readme = "README.md"
14-
version = "0.0.1"
14+
version = "0.1.0"
1515
requires-python = ">=3.8"
1616

1717
dependencies = []

0 commit comments

Comments
 (0)