Issues

Refactor VisB Items to detect duplicate entries
PROB2UI-440
Simulator for ProB
PROB2UI-439
Detect B parse errors in VisB file when parsing VisB file
PROB2UI-438
Trace Replay with complicated constants does not work
PROB2UI-437
Check VisB Parsing and Checking of Attributes
PROB2UI-436
VisB: view SVG object corresponding to VisB event
PROB2UI-435
IllegalArgumentException in B Console for symbolic return values
PROB2UI-434
Out of bounds exception in B Console
PROB2UI-433
Allow to step forward in history for deterministic states
PROB2UI-432
Choosing Graph or Table Visualisation menu command does not move window to front
PROB2UI-431
Adapt VisB to incorporate Animation function features
PROB2UI-430
Improve error message in Graph Visualisation and Table Visualisation View
PROB2UI-429
Allow configuring which kinds of error messages are displayed
PROB2UI-428
VisB Reload button no longer works after an error
PROB2UI-427
Rendering of point in REPL / Console output
PROB2UI-426
Change Layout of VisB menu bar
PROB2UI-425
Project View Improvements
PROB2UI-424
Trace Replay Exception for Event-B files and Initialisation
PROB2UI-423
Trace Replay Dialog: first dialog not working, second dialog confusing
PROB2UI-422
Execute by Predicate dialog box
PROB2UI-421
Refactor HTML, Javascript and SVG in VisB
PROB2UI-420
When opening/reopening VisB visualisations multiple old visualisations remain active
PROB2UI-419
VisB does not report/detect parse, type or other errors in event predicates
PROB2UI-418
Reload Visualisation in VisB does not reload JSON visualization file
PROB2UI-417
Provide additional convenience buttons in VisB view
PROB2UI-416
1-25 of 429