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