Issues

Go to advanced search
Select view

Select search mode

Task
ConcurrentModificationException after interrupting model checking of multiple configurations
Unassigned
Fabian Vu
Major
Unresolved
Dec 21, 2020
Dec 21, 2020
Task
Allow loading of CSP files guiding B machines
Unassigned
Fabian Vu
Major
Unresolved
Dec 17, 2020
Dec 17, 2020
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
Improvement
Add an optional attribute to VisB Items
Unassigned
Michael Leuschel
Major
Unresolved
Nov 30, 2020
Dec 2, 2020
Improvement
Refactor VisB Items to detect duplicate entries
Unassigned
Michael Leuschel
Major
Unresolved
Nov 27, 2020
Nov 27, 2020
Improvement
Simulator for ProB
Unassigned
Fabian Vu
Major
Unresolved
Nov 23, 2020
Nov 24, 2020
Bug
Detect B parse errors in VisB file when parsing VisB file
Unassigned
Fabian Vu
Major
Unresolved
Nov 16, 2020
Nov 17, 2020
Bug
Trace Replay with complicated constants does not work
Unassigned
Michael Leuschel
Major
Fixed
Nov 11, 2020
Dec 7, 2020
Improvement
Check VisB Parsing and Checking of Attributes
Unassigned
Michael Leuschel
Major
Unresolved
Nov 10, 2020
Nov 10, 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
Task
Adapt VisB to incorporate Animation function features
Unassigned
Michael Leuschel
Major
Unresolved
Nov 9, 2020
Nov 9, 2020
Improvement
Improve error message in Graph Visualisation and Table Visualisation View
Unassigned
Michael Leuschel
Major
Unresolved
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
Allow to call LTSmin/TLC/parB model checker in the verification view
Unassigned
Michael Leuschel
Major
Unresolved
Sep 30, 2020
Sep 30, 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
Task
Implement visualize with Before/After predicate in Execute by Predicate when no solution is found
Unassigned
Fabian Vu
Major
Unresolved
Aug 31, 2020
Aug 31, 2020
Task
NullPointerException in PrologOutput
Unassigned
Fabian Vu
Major
Unresolved
Aug 26, 2020
Oct 7, 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
Support XTL in State View
Unassigned
Fabian Vu
Major
Unresolved
Aug 24, 2020
Oct 7, 2020
1-50 of 439
...