Issues

Simulator for ProB

Detect B parse errors in VisB file when parsing VisB file

Trace Replay with complicated constants does not work

Check VisB Parsing and Checking of Attributes

VisB: view SVG object corresponding to VisB event

IllegalArgumentException in B Console for symbolic return values

Out of bounds exception in B Console

Allow to step forward in history for deterministic states

Choosing Graph or Table Visualisation menu command does not move window to front

Adapt VisB to incorporate Animation function features

Improve error message in Graph Visualisation and Table Visualisation View

Allow configuring which kinds of error messages are displayed

VisB Reload button no longer works after an error

Rendering of point in REPL / Console output

Change Layout of VisB menu bar

Project View Improvements

Trace Replay Exception for Event-B files and Initialisation

Trace Replay Dialog: first dialog not working, second dialog confusing

Execute by Predicate dialog box

Refactor HTML, Javascript and SVG in VisB

When opening/reopening VisB visualisations multiple old visualisations remain active

VisB does not report/detect parse, type or other errors in event predicates

Reload Visualisation in VisB does not reload JSON visualization file

Provide additional convenience buttons in VisB view