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
1
2