Issues

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
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
Improvement
Check VisB Parsing and Checking of Attributes
Unassigned
Michael Leuschel
Major
Unresolved
Nov 10, 2020
Nov 10, 2020
Improvement
Improve error message in Graph Visualisation and Table Visualisation View
Unassigned
Michael Leuschel
Major
Unresolved
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
Task
VisB - File Organization
Unassigned
Michelle Werth
Major
Unresolved
May 22, 2020
Oct 14, 2020
Task
NullPointerException in PrologOutput
Unassigned
Fabian Vu
Major
Unresolved
Aug 26, 2020
Oct 7, 2020
Bug
Support XTL in State View
Unassigned
Fabian Vu
Major
Unresolved
Aug 24, 2020
Oct 7, 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
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
Improve feedback in Execute by Predicate when no solution is found
Unassigned
Michael Leuschel
Major
Unresolved
Sep 24, 2019
Aug 31, 2020
New Feature
Cluster Nodes
Unassigned
Antonia Pütz
Minor
Unresolved
Feb 7, 2019
Aug 24, 2020
Bug
Display error locations of type errors in LTL View
Unassigned
Fabian Vu
Major
Unresolved
Aug 24, 2020
Aug 24, 2020
New Feature
Add symbolic feasibility command
Unassigned
Michael Leuschel
Major
Unresolved
Jul 13, 2018
Aug 24, 2020
Task
Trace Replay Improved Feedback
Unassigned
Michael Leuschel
Major
Unresolved
Sep 27, 2019
Aug 24, 2020
Bug
StackOverflow in Magic Layout for CAN_BUS_tlc
Unassigned
Michael Leuschel
Major
Unresolved
Jul 20, 2019
Aug 24, 2020
Improvement
Exception when saving a trace file
Unassigned
Michael Leuschel
Major
Unresolved
Jun 25, 2019
Aug 24, 2020
Bug
ProB Trace Replay does not work with deferred set elements
Unassigned
Michael Leuschel
Major
Unresolved
Oct 2, 2019
Aug 24, 2020
New Feature
Show origin of entries in the state view
Unassigned
Michael Leuschel
Major
Unresolved
Dec 1, 2018
Aug 24, 2020
Bug
After Model Checking the Dot Windows pops in front
Unassigned
Michael Leuschel
Minor
Unresolved
Nov 28, 2018
Aug 14, 2020
Bug
Shortcut for 'Zoom Out' doesn't work
Unassigned
Antonia Pütz
Minor
Unresolved
Apr 27, 2018
Aug 12, 2020
Improvement
Extend find valid state command with checkbox for using current constants values
Unassigned
Michael Leuschel
Major
Unresolved
Dec 3, 2018
May 11, 2020
Bug
The Trace Replay sometimes seems to check output parameters on the wrong state
Unassigned
Michael Leuschel
Major
Unresolved
May 21, 2019
Jan 23, 2020
Epic
Development of Magic Layout
Unassigned
Antonia Pütz
Major
Unresolved
Feb 1, 2019
Nov 21, 2019
Bug
Resizing Columns not working or strange
Unassigned
Michael Leuschel
Major
Unresolved
Nov 5, 2019
Nov 7, 2019
Bug
Shortcut "Ctrl++" doesn't work
Unassigned
Michelle Werth
Minor
Unresolved
Apr 27, 2018
Jul 1, 2019
Bug
Cannot quit ProB2-UI
Unassigned
Michael Leuschel
Minor
Unresolved
Apr 1, 2019
Jul 1, 2019
Task
Investigate UI performance
Unassigned
Michael Leuschel
Major
Unresolved
Dec 18, 2018
Jun 28, 2019
1-32 of 32