Issues

Select view

Select search mode

Task
Add placeholder for TextArea for formula input in DotView and ExpressionTableView
Unassigned
Fabian Vu
Major
Fixed
Dec 14, 2020
Dec 14, 2020
Task
Add a hover for each column in Model Checking Table
Unassigned
Fabian Vu
Major
Fixed
Dec 14, 2020
Dec 14, 2020
Bug
Model Checking item is not displayed in TableView
Unassigned
Fabian Vu
Major
Fixed
Dec 14, 2020
Dec 14, 2020
Bug
Exception in BEditor
Unassigned
Fabian Vu
Major
Fixed
Dec 7, 2020
Dec 7, 2020
Improvement
Exception in ProBPreferences
Unassigned
Fabian Vu
Major
Fixed
Dec 7, 2020
Dec 7, 2020
Improvement
Improve parse error in Execute By Predicate
Unassigned
Fabian Vu
Major
Fixed
Nov 30, 2020
Dec 7, 2020
Improvement
Make output parameters usable for Execute By Predicate
Unassigned
Fabian Vu
Major
Fixed
Nov 30, 2020
Dec 7, 2020
Bug
Trace Replay with complicated constants does not work
Unassigned
Michael Leuschel
Major
Fixed
Nov 11, 2020
Dec 7, 2020
Improvement
VisB: view SVG object corresponding to VisB event
Unassigned
Fabian Vu
Major
Fixed
Nov 10, 2020
Nov 17, 2020
Bug
IllegalArgumentException in B Console for symbolic return values
Unassigned
Michael Leuschel
Major
Fixed
Nov 10, 2020
Nov 16, 2020
Bug
Out of bounds exception in B Console
Unassigned
Michael Leuschel
Major
Fixed
Nov 10, 2020
Nov 10, 2020
Improvement
Allow to step forward in history for deterministic states
Unassigned
Michael Leuschel
Major
Fixed
Nov 10, 2020
Dec 7, 2020
Improvement
Choosing Graph or Table Visualisation menu command does not move window to front
Unassigned
Michael Leuschel
Major
Fixed
Nov 9, 2020
Nov 9, 2020
New Feature
Allow configuring which kinds of error messages are displayed
Unassigned
dgelessus
Major
Fixed
Nov 9, 2020
Jan 20, 2021
Bug
VisB Reload button no longer works after an error
Unassigned
Michael Leuschel
Major
Fixed
Nov 6, 2020
Nov 16, 2020
Bug
Rendering of point in REPL / Console output
Unassigned
Michael Leuschel
Major
Fixed
Nov 6, 2020
Nov 10, 2020
Improvement
Change Layout of VisB menu bar
Unassigned
Michael Leuschel
Major
Fixed
Nov 2, 2020
Nov 3, 2020
Improvement
Project View Improvements
Unassigned
Michael Leuschel
Major
Fixed
Oct 15, 2020
Oct 26, 2020
Improvement
Trace Replay Exception for Event-B files and Initialisation
Unassigned
Michael Leuschel
Major
Fixed
Oct 15, 2020
Nov 10, 2020
Improvement
Trace Replay Dialog: first dialog not working, second dialog confusing
Unassigned
Michael Leuschel
Major
Fixed
Oct 14, 2020
Oct 21, 2020
Improvement
Execute by Predicate dialog box
Unassigned
Michael Leuschel
Major
Fixed
Oct 14, 2020
Dec 15, 2020
Improvement
Refactor HTML, Javascript and SVG in VisB
Unassigned
Fabian Vu
Major
Fixed
Oct 12, 2020
Nov 3, 2020
Bug
When opening/reopening VisB visualisations multiple old visualisations remain active
Unassigned
Michael Leuschel
Major
Fixed
Oct 11, 2020
Oct 12, 2020
Improvement
VisB does not report/detect parse, type or other errors in event predicates
Unassigned
Michael Leuschel
Major
Fixed
Oct 11, 2020
Nov 9, 2020
Bug
Reload Visualisation in VisB does not reload JSON visualization file
Unassigned
Michael Leuschel
Major
Fixed
Oct 10, 2020
Oct 21, 2020
New Feature
Provide additional convenience buttons in VisB view
Unassigned
Michael Leuschel
Major
Fixed
Oct 10, 2020
Oct 20, 2020
Bug
IllegalStateException on Windows upon every state change
Unassigned
Michael Leuschel
Major
Fixed
Oct 10, 2020
Dec 7, 2020
Improvement
Error message display is too small by default
Unassigned
Michael Leuschel
Major
Fixed
Oct 10, 2020
Dec 21, 2020
Bug
Exception when starting VisB without Internet connection
Unassigned
Michael Leuschel
Major
Fixed
Oct 1, 2020
Oct 5, 2020
New Feature
VisB: allow to link a VisB visualisation with a model in a ProB2 UI project
Unassigned
Michael Leuschel
Major
Fixed
Sep 28, 2020
Oct 6, 2020
New Feature
VisB: view SVG object corresponding to VisB item
Unassigned
Michael Leuschel
Major
Fixed
Sep 28, 2020
Nov 10, 2020
New Feature
VisB: ability to inspect VisB Items current value
Unassigned
Michael Leuschel
Major
Fixed
Sep 28, 2020
Nov 10, 2020
New Feature
Cannot scroll to the right of the table view
Unassigned
Michael Leuschel
Major
Fixed
Sep 15, 2020
Sep 16, 2020
Bug
Exception from Prolog Output when starting the UI ...
Unassigned
blah111b
Blocker
Fixed
Sep 7, 2020
Sep 14, 2020
Task
Implement memory usage of model checking
Unassigned
Fabian Vu
Major
Fixed
Aug 31, 2020
Sep 9, 2020
New Feature
Respond to clicks in the table view
Unassigned
Michael Leuschel
Major
Fixed
Aug 25, 2020
Sep 2, 2020
Task
Implement progress bar for model checking
Unassigned
Fabian Vu
Major
Fixed
Aug 24, 2020
Aug 31, 2020
Bug
Warning when applying extended static checking of Event-B model
Unassigned
Fabian Vu
Major
Fixed
Aug 10, 2020
Aug 25, 2020
Bug
OutOfBounds exception when switching project
Unassigned
Michael Leuschel
Major
Fixed
Jul 3, 2020
Jul 15, 2020
Task
Add Model Checking Limit to Model Checking Tasks
Unassigned
Michael Leuschel
Major
Fixed
Jul 3, 2020
Aug 18, 2020
New Feature
VisB - Trace (Re-)play
Unassigned
Michelle Werth
Major
Fixed
May 22, 2020
Dec 7, 2020
New Feature
VisB - Visualisation Full Window
Unassigned
Michelle Werth
Major
Fixed
May 22, 2020
Nov 17, 2020
Task
One cannot scroll in the Graph View to the edge of the Dot graph
Unassigned
Michael Leuschel
Major
Fixed
May 2, 2020
May 18, 2020
Task
Magic Layout shows numbers with BNumber wrapper
Unassigned
Michael Leuschel
Major
Fixed
May 1, 2020
Jul 6, 2020
Task
Magic Layout has problems with symbolic values
Unassigned
Michael Leuschel
Major
Fixed
May 1, 2020
Jul 30, 2020
Task
Syntax Highlighting seems incorrect
Unassigned
Michael Leuschel
Major
Fixed
May 1, 2020
May 25, 2020
Bug
StackOverflowError when Resizing Main Stage
Unassigned
Fabian Vu
Major
Fixed
Apr 28, 2020
Aug 26, 2020
Task
ProB2UI State View computes assertions even when not expanded
Unassigned
Michael Leuschel
Major
Duplicate
Mar 14, 2020
Apr 1, 2020
Task
Color Codes in Prolog Output
Unassigned
Michael Leuschel
Major
Fixed
Mar 14, 2020
Apr 29, 2020
Bug
ProB2-UI stucks after symbolic model checking of a large machine
Unassigned
Fabian Vu
Major
Fixed
Mar 10, 2020
Mar 12, 2020
1-50 of 407
...