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