-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: convince-project/AS2FM
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
Support for bt_halt
feature
New feature or request
priority: high
#66
opened Nov 6, 2024 by
MarcoLm993
Additional state machine for topics handling
feature
New feature or request
priority: middle
#64
opened Oct 25, 2024 by
MarcoLm993
Support Something isn't working
priority: high
target
attribute for the send
element
bug
#59
opened Oct 9, 2024 by
EnricoGhiorzi
Support for string constants in Workshop
feature
New feature or request
priority: middle
#56
opened Oct 8, 2024 by
ct2034
Support for translating XML properties to jani
blocked
Needs something else, first
feature
New feature or request
priority: high
#53
opened Oct 4, 2024 by
ct2034
Model checking of BT only
feature
New feature or request
priority: low
#48
opened Sep 30, 2024 by
MKlauck
Improving visualization tooling, add docu
feature
New feature or request
priority: urgent
#46
opened Sep 30, 2024 by
MKlauck
Probabilistic transitions for environment
feature
New feature or request
priority: high
#45
opened Sep 30, 2024 by
MKlauck
Error reporting that refers to line and SCXML file
feature
New feature or request
priority: urgent
#44
opened Sep 30, 2024 by
MKlauck
Introduce msg_count
feature
New feature or request
priority: middle
#43
opened Sep 30, 2024 by
MKlauck
Parameters for Models (SCXML parameters)
feature
New feature or request
priority: middle
#42
opened Sep 30, 2024 by
MKlauck
Access time from clock in models
feature
New feature or request
priority: middle
#38
opened Sep 30, 2024 by
MKlauck
Other operators parsing in properties
bug
Something isn't working
#37
opened Sep 30, 2024 by
MKlauck
Better type handling in SCXML to Jani conversion
feature
New feature or request
priority: low
#31
opened Aug 30, 2024 by
MarcoLm993
ProTip!
Find all open issues with in progress development work with linked:pr.