Issues

Select view

Select search mode

New Feature
Implement method observer that observes a server side method
Unassigned
Lukas Ladenberger
Major
Fixed
Aug 4, 2016
Aug 4, 2016
New Feature
[Editor] Support return parameters of Classical-B operations
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 10, 2016
Mar 10, 2016
New Feature
[Editor] Implement interactive button
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 10, 2016
Feb 10, 2016
New Feature
Implement next events observers
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 5, 2016
Feb 5, 2016
New Feature
Implement history observer
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 5, 2016
Feb 5, 2016
New Feature
[Editor] Implement interactive checkbox widget
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 2, 2016
Feb 2, 2016
New Feature
[Editor] Implement interactive radio button widget
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 2, 2016
Feb 2, 2016
Improvement
[Editor] Implement interactive input field widget
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 1, 2016
Mar 10, 2016
Improvement
[Editor] Support JS editing in all observer/event handler fields
Unassigned
Lukas Ladenberger
Major
Fixed
Feb 1, 2016
Mar 10, 2016
New Feature
[Editor] Add interactive button area tool
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 29, 2016
Jan 29, 2016
Bug
[Editor] Long labels in observer and events view destroy the layout
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 15, 2016
Jan 25, 2016
New Feature
[Editor] Support creating observers and event handler via element context menu
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 15, 2016
Jan 25, 2016
Bug
Not all children observers are considered in diagram generation
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 14, 2016
Jan 14, 2016
Bug
[Editor] Text in group element cannot be edited
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 13, 2016
Jan 13, 2016
Improvement
Allow multiple diagrams
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 8, 2016
Jan 8, 2016
Bug
Open model dialog crashes
Unassigned
Lukas Ladenberger
Major
Fixed
Jan 8, 2016
Jan 8, 2016
New Feature
Add ProB2 BConsole view
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 24, 2015
Nov 24, 2015
Bug
Translated results are not supported in diagrams
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 23, 2015
Nov 23, 2015
Bug
Multiple outgoing edges in projection diagram are not displayed
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 23, 2015
Nov 23, 2015
Bug
Fix menu under OSX
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 12, 2015
Nov 12, 2015
Bug
Path to ProB cli wrong under OSX
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 12, 2015
Nov 12, 2015
Bug
Socket listener of running visualization is not destroyed after loading a new visualization
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 11, 2015
Nov 11, 2015
New Feature
Support loading formal models only
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 11, 2015
Nov 11, 2015
Bug
Dialogs of a running visualization are not closed after opening another visualization
Unassigned
Lukas Ladenberger
Major
Fixed
Nov 11, 2015
Nov 11, 2015
Bug
Fix predicate observer
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 30, 2015
Oct 30, 2015
Bug
Fix refinement observer
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 30, 2015
Oct 30, 2015
Bug
Observer values are not applied in diagram generation if model is not initialised
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 30, 2015
Oct 30, 2015
New Feature
Support the creation of new visualizations via application
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 28, 2015
Oct 28, 2015
Improvement
Support custom filenames for BMotion Studio manifest file
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 27, 2015
Oct 27, 2015
Bug
Refreshing and closing window causes multiple rendering errors
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 27, 2015
Oct 27, 2015
Bug
event selection popup shows for elements with one event
Unassigned
Vlad Gheorghe
Major
Fixed
Oct 23, 2015
Oct 26, 2015
Bug
Setting height and width in manifest file of root view throws an exception
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 22, 2015
Oct 22, 2015
Bug
Support multiple views in online mode
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 22, 2015
Jan 26, 2016
Bug
Fix online mode
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 21, 2015
Oct 26, 2015
New Feature
Implement first version of WYSIWYG editor
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 14, 2015
Oct 27, 2015
Bug
Exception is thrown if root element has no observer in diagram generation
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 1, 2015
Oct 1, 2015
Bug
Images not working in svg editor
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 1, 2015
Oct 26, 2015
Improvement
Add prob preferences to manifest file
Unassigned
Lukas Ladenberger
Major
Fixed
Oct 1, 2015
Oct 1, 2015
New Feature
Implement initialization listener
Unassigned
Lukas Ladenberger
Major
Fixed
Sep 30, 2015
Sep 30, 2015
New Feature
Implement bset observer
Unassigned
Lukas Ladenberger
Major
Fixed
Sep 30, 2015
Sep 30, 2015
Bug
uniquely identify released/nightly builds
Unassigned
Vlad Gheorghe
Major
Fixed
Sep 9, 2015
Sep 11, 2015
New Feature
Make probcli replaceable
Unassigned
Lukas Ladenberger
Major
Fixed
Sep 4, 2015
Oct 23, 2015
New Feature
Support visualization on multiple pages
Unassigned
Vlad Gheorghe
Major
Fixed
Aug 13, 2015
Sep 11, 2015
New Feature
provide UI label for event
Unassigned
Vlad Gheorghe
Major
Fixed
Aug 11, 2015
Sep 11, 2015
1-44 of 44