Skip to content

Issues: vsavicks/fmusim-rodin

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.

Sign up for GitHub

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

16 Open 22 Closed
16 Open 22 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Event-B components parameters
#37 opened Apr 3, 2014 by kazkansouh
2
Extract trace from simulation
#36 opened Apr 3, 2014 by kazkansouh
Cancel simulation
#35 opened Apr 3, 2014 by kazkansouh
Duplicate components
#34 opened Apr 3, 2014 by kazkansouh
Simulation cleanup
#33 opened Apr 3, 2014 by kazkansouh
1
Persist Event-B component's view (appearance)
#32 opened Mar 13, 2014 by vsavicks
Add simulation progress monitor enhancement
#31 opened Mar 13, 2014 by vsavicks
Simulate dialog stays disabled after incorrect value is entered bug
#30 opened Mar 13, 2014 by vsavicks
Default/initial values of internal FMU variables not displayed on diagram opening
#29 opened Mar 9, 2014 by vsavicks
FMU.terminate() causes JVM to crash bug
#25 opened Mar 6, 2014 by vsavicks
FMU simulation time exception bug
#24 opened Mar 6, 2014 by vsavicks
Change the drag (components, lines) cursor to a more intuitive, instead of the default. enhancement
#19 opened Feb 18, 2014 by vsavicks
Display component resizing does not allow to decrease the size. bug
#18 opened Feb 18, 2014 by vsavicks
Dynamic plot max size
#12 opened Feb 17, 2014 by vsavicks Case study with Critical
@vsavicks
Unhandled invalid .fmu file path when loading FMUComponent on diagram opening. bug
#5 opened Apr 23, 2013 by vsavicks Diagram demo
@vsavicks
Event-B port information persistence
#2 opened Apr 22, 2013 by vsavicks
@vsavicks
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.