v0.2.3-2

A re-release of 0.2.3 with all binaries included and properly named.

0.2.3

This is a very minor revision which improves compatibility and bugs (#11). It does also adds .dot export (#13).

0.2.2

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.

0.2.1

This release does not bring any new features, but changes the architecture slightly to accommodate the new version of the model checking library.

0.2.0

This release brings a lot of quality-of-life improvements compared to 0.1.0. In particular:

• A new bundle format that no longer requires providing the model file as another input file.
• The "witness generator" in the explorer has been improved significantly to allow sampling larger number of networks and give custom random seed.
• The explorer now displays universally valid/invalid properties for each node, including the actual property formula.
• Some additional minor UI tweaks.

0.1.0

First complete release of the BN Classifier. This release includes support for HCTL properties and assertions, interactive tree exploration, and random sampling of witness networks.

To use the tool, download a bn-classifier binary, as well as hctl-explorer application bundle for your operating system from the list below. For now, we only provide x86-64 binaries (amd64), but if desired, we can also incorporate arm64 in the future.

Note that the binaries are not signed in any way, so you might need to specifically whitelist them on your machine.