-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: fluentverification/stamina-prism
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
State generation gets stuck when analyzing inverted until property
bug
Something isn't working
#12
opened May 30, 2020 by
zgzn
Lower and upper bound not including the correct probability
bug
Something isn't working
#11
opened Apr 21, 2020 by
zgzn
Add a tutorial on using options supported by STAMINA
good first issue
Good for newcomers
#9
opened Apr 14, 2020 by
zgzn
Exception in selecting Gauss-Seidel and power options for CTMC analysis
bug
Something isn't working
#7
opened Apr 3, 2020 by
zgzn
Track the largest value of each species during state exploration
enhancement
New feature or request
#4
opened Mar 22, 2020 by
zgzn
ProTip!
Add no:assignee to see everything that’s not assigned.