Issues
 | ConcurrentModificationException after interrupting model checking of multiple configurations | Unassigned | Fabian Vu |  | Unresolved | Dec 21, 2020 | Dec 21, 2020 | ||||
| Allow loading of CSP files guiding B machines | Unassigned | Fabian Vu | | Unresolved | Dec 17, 2020 | Dec 17, 2020 | ||||
| Add placeholder for TextArea for formula input in DotView and ExpressionTableView | Unassigned | Fabian Vu | | Fixed | Dec 14, 2020 | Dec 14, 2020 | ||||
| Add a hover for each column in Model Checking Table | Unassigned | Fabian Vu | | Fixed | Dec 14, 2020 | Dec 14, 2020 | ||||
 | Model Checking item is not displayed in TableView | Unassigned | Fabian Vu | | Fixed | Dec 14, 2020 | Dec 14, 2020 | ||||
| Exception in BEditor | Unassigned | Fabian Vu | | Fixed | Dec 7, 2020 | Dec 7, 2020 | ||||
 | Exception in ProBPreferences | Unassigned | Fabian Vu | | Fixed | Dec 7, 2020 | Dec 7, 2020 | ||||
| Improve parse error in Execute By Predicate | Unassigned | Fabian Vu | | Fixed | Nov 30, 2020 | Dec 7, 2020 | ||||
| Make output parameters usable for Execute By Predicate | Unassigned | Fabian Vu | | Fixed | Nov 30, 2020 | Dec 7, 2020 | ||||
| Add an optional attribute to VisB Items | Unassigned | Michael Leuschel | | Unresolved | Nov 30, 2020 | Dec 2, 2020 | ||||
| Refactor VisB Items to detect duplicate entries | Unassigned | Michael Leuschel | | Unresolved | Nov 27, 2020 | Nov 27, 2020 | ||||
| Simulator for ProB | Unassigned | Fabian Vu | | Unresolved | Nov 23, 2020 | Nov 24, 2020 | ||||
| Detect B parse errors in VisB file when parsing VisB file | Unassigned | Fabian Vu | | Unresolved | Nov 16, 2020 | Nov 17, 2020 | ||||
| Trace Replay with complicated constants does not work | Unassigned | Michael Leuschel | | Fixed | Nov 11, 2020 | Dec 7, 2020 | ||||
| Check VisB Parsing and Checking of Attributes | Unassigned | Michael Leuschel | | Unresolved | Nov 10, 2020 | Nov 10, 2020 | ||||
| VisB: view SVG object corresponding to VisB event | Unassigned | Fabian Vu | | Fixed | Nov 10, 2020 | Nov 17, 2020 | ||||
| IllegalArgumentException in B Console for symbolic return values | Unassigned | Michael Leuschel | | Fixed | Nov 10, 2020 | Nov 16, 2020 | ||||
| Out of bounds exception in B Console | Unassigned | Michael Leuschel | | Fixed | Nov 10, 2020 | Nov 10, 2020 | ||||
| Allow to step forward in history for deterministic states | Unassigned | Michael Leuschel | | Fixed | Nov 10, 2020 | Dec 7, 2020 | ||||
| Choosing Graph or Table Visualisation menu command does not move window to front | Unassigned | Michael Leuschel | | Fixed | Nov 9, 2020 | Nov 9, 2020 | ||||
| Adapt VisB to incorporate Animation function features | Unassigned | Michael Leuschel | | Unresolved | Nov 9, 2020 | Nov 9, 2020 | ||||
| Improve error message in Graph Visualisation and Table Visualisation View | Unassigned | Michael Leuschel | | Unresolved | Nov 9, 2020 | Nov 9, 2020 | ||||
 | Allow configuring which kinds of error messages are displayed | Unassigned | dgelessus | | Fixed | Nov 9, 2020 | Jan 20, 2021 | ||||
| VisB Reload button no longer works after an error | Unassigned | Michael Leuschel | | Fixed | Nov 6, 2020 | Nov 16, 2020 | ||||
| Rendering of point in REPL / Console output | Unassigned | Michael Leuschel | | Fixed | Nov 6, 2020 | Nov 10, 2020 | ||||
| Change Layout of VisB menu bar | Unassigned | Michael Leuschel | | Fixed | Nov 2, 2020 | Nov 3, 2020 | ||||
| Project View Improvements | Unassigned | Michael Leuschel | | Fixed | Oct 15, 2020 | Oct 26, 2020 | ||||
| Trace Replay Exception for Event-B files and Initialisation | Unassigned | Michael Leuschel | | Fixed | Oct 15, 2020 | Nov 10, 2020 | ||||
| Trace Replay Dialog: first dialog not working, second dialog confusing | Unassigned | Michael Leuschel | | Fixed | Oct 14, 2020 | Oct 21, 2020 | ||||
| Execute by Predicate dialog box | Unassigned | Michael Leuschel | | Fixed | Oct 14, 2020 | Dec 15, 2020 | ||||
| Refactor HTML, Javascript and SVG in VisB | Unassigned | Fabian Vu | | Fixed | Oct 12, 2020 | Nov 3, 2020 | ||||
| When opening/reopening VisB visualisations multiple old visualisations remain active | Unassigned | Michael Leuschel | | Fixed | Oct 11, 2020 | Oct 12, 2020 | ||||
| VisB does not report/detect parse, type or other errors in event predicates | Unassigned | Michael Leuschel | | Fixed | Oct 11, 2020 | Nov 9, 2020 | ||||
| Reload Visualisation in VisB does not reload JSON visualization file | Unassigned | Michael Leuschel | | Fixed | Oct 10, 2020 | Oct 21, 2020 | ||||
| Provide additional convenience buttons in VisB view | Unassigned | Michael Leuschel | | Fixed | Oct 10, 2020 | Oct 20, 2020 | ||||
| IllegalStateException on Windows upon every state change | Unassigned | Michael Leuschel | | Fixed | Oct 10, 2020 | Dec 7, 2020 | ||||
| Error message display is too small by default | Unassigned | Michael Leuschel | | Fixed | Oct 10, 2020 | Dec 21, 2020 | ||||
| Exception when starting VisB without Internet connection | Unassigned | Michael Leuschel | | Fixed | Oct 1, 2020 | Oct 5, 2020 | ||||
| Allow to call LTSmin/TLC/parB model checker in the verification view | Unassigned | Michael Leuschel | | Unresolved | Sep 30, 2020 | Sep 30, 2020 | ||||
| VisB: allow to link a VisB visualisation with a model in a ProB2 UI project | Unassigned | Michael Leuschel | | Fixed | Sep 28, 2020 | Oct 6, 2020 | ||||
| VisB: view SVG object corresponding to VisB item | Unassigned | Michael Leuschel | | Fixed | Sep 28, 2020 | Nov 10, 2020 | ||||
| VisB: ability to inspect VisB Items current value | Unassigned | Michael Leuschel | | Fixed | Sep 28, 2020 | Nov 10, 2020 | ||||
| Cannot scroll to the right of the table view | Unassigned | Michael Leuschel | | Fixed | Sep 15, 2020 | Sep 16, 2020 | ||||
| Exception from Prolog Output when starting the UI ... | Unassigned | blah111b |  | Fixed | Sep 7, 2020 | Sep 14, 2020 | ||||
| Implement memory usage of model checking | Unassigned | Fabian Vu | | Fixed | Aug 31, 2020 | Sep 9, 2020 | ||||
| Implement visualize with Before/After predicate in Execute by Predicate when no solution is found | Unassigned | Fabian Vu | | Unresolved | Aug 31, 2020 | Aug 31, 2020 | ||||
| NullPointerException in PrologOutput | Unassigned | Fabian Vu | | Unresolved | Aug 26, 2020 | Oct 7, 2020 | ||||
| Respond to clicks in the table view | Unassigned | Michael Leuschel | | Fixed | Aug 25, 2020 | Sep 2, 2020 | ||||
| Implement progress bar for model checking | Unassigned | Fabian Vu | | Fixed | Aug 24, 2020 | Aug 31, 2020 | ||||
| Support XTL in State View | Unassigned | Fabian Vu | | Unresolved | Aug 24, 2020 | Oct 7, 2020 |
1-50 of 439