vitamin-model-checker
The VITAMIN model checker python package
View on Github
Activity
- Latest release
- 6h ago
- Total releases
- 18
- Cadence
- ~daily
- Last 12 months
- 6
Reach
- Stars
- 3
Details
- License
- custom
- First release
- Sep 12, 2024
Releases
| Version | Released | |
|---|---|---|
1.6.5
patch
| ||
1.6.4
patch
| ||
1.6.3
patch
| ||
1.6.2
patch
| ||
1.6.1
patch
| ||
1.6.0
minor
| ||
1.5
minor
| ||
1.4a0
pre
| ||
1.4
minor
| ||
1.3
major
| ||
0.8
minor
| ||
0.7
minor
| ||
0.6
minor
| ||
0.5
minor
| ||
0.4
minor
| ||
0.3
minor
| ||
0.2
minor
| ||
0.1
initial
|