Skip to content

0.2.2
Compare
Choose a tag to compare
@daemontus daemontus released this 26 Sep 10:43
· 19 commits to main since this release
v0.2.2
054eb4a

In this release, we:

  • Fix a bug when opening the classification archive through a dialog instead of a CLI argument.
  • Upgrade model checker to 0.2.0.
  • Allow loading "generic classification archives", i.e. ones with no HCTL properties where the classification was computed based on some other criterion.
Assets 9
Loading