Skip to content

0.1.0
Compare
Choose a tag to compare
@github-actions github-actions released this 07 Feb 16:00
· 51 commits to main since this release
v0.1.0
cf918bd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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.

Assets 10
Loading