Tags

Tags give the ability to mark specific points in history as being important

2.0.0

4b38ceaa · Cleanup · Apr 05, 2022
```
Updated to latest IDP-Z3 (0.9.2)
```
0.9.2

655592ea · V0.9.2 · Feb 10, 2022
0.9.1

a5c44824 · v 0.9.1 · Jan 25, 2022
0.9.0

114f8eaf · release: 0.9.0 · Dec 16, 2021
0.8.4

e46220d4 · v 0.8.4 · Sep 30, 2021
0.8.3

57b2a3d2 · Version 0.8.3 · Aug 18, 2021
0.8.2

81980428 · release 0.8.2 · Jun 02, 2021
0.8.1

23d288ac · Merge branch 'assert2' into 'main' · May 11, 2021
0.8.0

98ddfca9 · Merge branch 'API' into 'main' · Mar 25, 2021
0.7.2

d5d918fa · docs: fix · Feb 16, 2021
0.7.1

83f04531 · docs: fix readthedocs · Feb 16, 2021
0.7.0

f56f1275 · Merge branch 'quantee' into 'main' · Feb 16, 2021
0.6.1

f3b79d5c · release to GAE · Jan 04, 2021
0.5.6

882d7d48 · deploy to GAE · Dec 22, 2020
0.5.5

b25f8cc3 · docs: add GAE link to CHANGELOG · Nov 19, 2020
```
0.5.5
```
0.5.4

bc5f4daf · v0.5.4 · Oct 06, 2020
0.5.3

0d86c8d4 · 0.5.3 · Sep 15, 2020
0.5.2

b63fc376 · 0.5.2 · Sep 15, 2020
v0.0.1

022ade8f · Add new static · May 27, 2020
```
First release of the modeller.
```
v0.5.1

21294d6b · v0.5.1 · May 26, 2020

Prev
1
2
Next