v0.10.0 #35
sillydan1
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Aaltitoad Release v0.10.0
This release fixes a lot of issues and bugs regarding interestingness set generation. There are also added more usability cli options such as
-! | --immediate-outputfor when your statespace is too big for the process to finish, but you still want the traces of already completed queries.See the main PR!34 for a comprehensive list of changes.
Full changelog: v0.9.2...v0.10.0
This discussion was created from the release v0.10.0.
Beta Was this translation helpful? Give feedback.
All reactions