Issues
ConcurrentModificationException after interrupting model checking of multiple configurations | Unassigned | Fabian Vu | Unresolved | Dec 21, 2020 | Dec 21, 2020 | ||||||
Allow loading of CSP files guiding B machines | Unassigned | Fabian Vu | Unresolved | Dec 17, 2020 | Dec 17, 2020 | ||||||
Add an optional attribute to VisB Items | Unassigned | Michael Leuschel | Unresolved | Nov 30, 2020 | Dec 2, 2020 | ||||||
Refactor VisB Items to detect duplicate entries | Unassigned | Michael Leuschel | Unresolved | Nov 27, 2020 | Nov 27, 2020 | ||||||
Simulator for ProB | Unassigned | Fabian Vu | Unresolved | Nov 23, 2020 | Nov 24, 2020 | ||||||
Detect B parse errors in VisB file when parsing VisB file | Unassigned | Fabian Vu | Unresolved | Nov 16, 2020 | Nov 17, 2020 | ||||||
Check VisB Parsing and Checking of Attributes | Unassigned | Michael Leuschel | Unresolved | Nov 10, 2020 | Nov 10, 2020 | ||||||
Improve error message in Graph Visualisation and Table Visualisation View | Unassigned | Michael Leuschel | Unresolved | Nov 9, 2020 | Nov 9, 2020 | ||||||
Adapt VisB to incorporate Animation function features | Unassigned | Michael Leuschel | Unresolved | Nov 9, 2020 | Nov 9, 2020 | ||||||
VisB - File Organization | Unassigned | Michelle Werth | Unresolved | May 22, 2020 | Oct 14, 2020 | ||||||
NullPointerException in PrologOutput | Unassigned | Fabian Vu | Unresolved | Aug 26, 2020 | Oct 7, 2020 | ||||||
Support XTL in State View | Unassigned | Fabian Vu | Unresolved | Aug 24, 2020 | Oct 7, 2020 | ||||||
Allow to call LTSmin/TLC/parB model checker in the verification view | Unassigned | Michael Leuschel | Unresolved | Sep 30, 2020 | Sep 30, 2020 | ||||||
Implement visualize with Before/After predicate in Execute by Predicate when no solution is found | Unassigned | Fabian Vu | Unresolved | Aug 31, 2020 | Aug 31, 2020 | ||||||
Cluster Nodes | Unassigned | Antonia Pütz | Unresolved | Feb 7, 2019 | Aug 24, 2020 | ||||||
Display error locations of type errors in LTL View | Unassigned | Fabian Vu | Unresolved | Aug 24, 2020 | Aug 24, 2020 | ||||||
Add symbolic feasibility command | Unassigned | Michael Leuschel | Unresolved | Jul 13, 2018 | Aug 24, 2020 | ||||||
Trace Replay Improved Feedback | Unassigned | Michael Leuschel | Unresolved | Sep 27, 2019 | Aug 24, 2020 | ||||||
StackOverflow in Magic Layout for CAN_BUS_tlc | Unassigned | Michael Leuschel | Unresolved | Jul 20, 2019 | Aug 24, 2020 | ||||||
Exception when saving a trace file | Unassigned | Michael Leuschel | Unresolved | Jun 25, 2019 | Aug 24, 2020 | ||||||
ProB Trace Replay does not work with deferred set elements | Unassigned | Michael Leuschel | Unresolved | Oct 2, 2019 | Aug 24, 2020 | ||||||
Show origin of entries in the state view | Unassigned | Michael Leuschel | Unresolved | Dec 1, 2018 | Aug 24, 2020 | ||||||
After Model Checking the Dot Windows pops in front | Unassigned | Michael Leuschel | Unresolved | Nov 28, 2018 | Aug 14, 2020 | ||||||
Shortcut for 'Zoom Out' doesn't work | Unassigned | Antonia Pütz | Unresolved | Apr 27, 2018 | Aug 12, 2020 | ||||||
Extend find valid state command with checkbox for using current constants values | Unassigned | Michael Leuschel | Unresolved | Dec 3, 2018 | May 11, 2020 | ||||||
The Trace Replay sometimes seems to check output parameters on the wrong state | Unassigned | Michael Leuschel | Unresolved | May 21, 2019 | Jan 23, 2020 | ||||||
Development of Magic Layout | Unassigned | Antonia Pütz | Unresolved | Feb 1, 2019 | Nov 21, 2019 | ||||||
Resizing Columns not working or strange | Unassigned | Michael Leuschel | Unresolved | Nov 5, 2019 | Nov 7, 2019 | ||||||
Cannot quit ProB2-UI | Unassigned | Michael Leuschel | Unresolved | Apr 1, 2019 | Jul 1, 2019 | ||||||
Investigate UI performance | Unassigned | Michael Leuschel | Unresolved | Dec 18, 2018 | Jun 28, 2019 |
1-30 of 30