Issues
| IllegalArgumentException is ignored in State | Unassigned | Fabian Vu |  | Fixed | Oct 12, 2020 | Oct 13, 2020 | |||||
| Implement command for prolog statistics | Unassigned | Fabian Vu | | Fixed | Aug 31, 2020 | Sep 9, 2020 | |||||
| Separate ProB 2 CLI application from API | Unassigned | dgelessus | | Fixed | Aug 31, 2020 | Aug 31, 2020 | |||||
| Create New Machine creates Alloy Spec | Unassigned | Michael Leuschel | | Fixed | Nov 4, 2019 | Feb 5, 2020 | |||||
| Misleading error message when loading Rodin .bum or .buc file | Unassigned | Michael Leuschel | | Fixed | Oct 4, 2019 | Aug 3, 2020 | |||||
| MC/DC Testcase Generation Exception | Unassigned | Michael Leuschel | | Fixed | Jul 18, 2019 | Aug 19, 2019 | |||||
| Opening two state spaces in parallel might lead to Exceptions | Unassigned | Jannik Dunkelau | | Fixed | Jan 11, 2019 | Jan 15, 2019 | |||||
| B machine not precompiled for b_get_definition_st... | Unassigned | blah111b | Duplicate | Aug 6, 2018 | Aug 6, 2018 | ||||||
| Modify ProBInstanceProvider so it can use remote CLIs | Unassigned | dgelessus | | Duplicate | Apr 4, 2018 | Sep 24, 2018 | |||||
| Create "clistarter" to manage ProB CLIs on a remote server | Unassigned | dgelessus | | Duplicate | Apr 4, 2018 | Sep 24, 2018 | |||||
| Command for Visualising Expression as Table | Unassigned | Fabian Vu | | Fixed | Mar 5, 2018 | Apr 11, 2018 | |||||
| Use external probcli | Unassigned | Jens Bendisposto | | Duplicate | Mar 5, 2018 | Sep 24, 2018 | |||||
| just a test, ignore me | Unassigned | blah111b | Fixed | Feb 7, 2018 | Feb 7, 2018 | ||||||
| Operation view show non-deterministically assigned variables | Unassigned | Michael Leuschel | | Fixed | Oct 13, 2017 | Nov 21, 2019 | |||||
| ConcurrentModificationException after upgrade to ProB 2.0 version 3.2.2 | Unassigned | David Schneider |  | Fixed | Aug 2, 2017 | Nov 17, 2017 | |||||
| Out-of-bounds exception for Execute Event in Operations view | Unassigned | Michael Leuschel | | Fixed | Jun 30, 2017 | Aug 30, 2017 | |||||
| GetMachineStructureCommand should support ASCII and Unicode | Unassigned | dgelessus | | Fixed | May 8, 2017 | Jul 17, 2020 | |||||
| StateSpace.unsubscribe should unregister the formula | Unassigned | dgelessus | | Fixed | Apr 11, 2017 | Nov 17, 2017 | |||||
| Command for unregistering formulas (unregister_prob2_formula) | Unassigned | dgelessus | | Done | Apr 11, 2017 | Nov 10, 2017 | |||||
| Create Tree Structure for the State View | Unassigned | Jens Bendisposto | | Fixed | Mar 29, 2017 | Apr 6, 2017 | |||||
| ConsistencyChecker.call does not call isFinished when no goal is specified | Unassigned | dgelessus | | Fixed | Mar 13, 2017 | Mar 15, 2017 | |||||
| ModelChecker creates an executor that is never shut down | Unassigned | dgelessus | | Fixed | Mar 13, 2017 | Jul 17, 2020 | |||||
| If api.b_load fails with exception, the state space is not guaranteed to be killed | Unassigned | Jannik Dunkelau | | Won't Do | Nov 14, 2016 | Mar 15, 2017 | |||||
| Dead code in Theory Extractor | Unassigned | Jens Bendisposto | | Fixed | Nov 2, 2016 | Mar 15, 2017 | |||||
| CBCSolveCommand returns "Evaluation not completed" for predicates known to be false | Unassigned | Sebastian Krings | | Fixed | Sep 21, 2016 | Sep 21, 2016 | |||||
| Uncatchable Exception: ModelTranslationError | Unassigned | Jannik Dunkelau | | Fixed | Sep 1, 2016 | Mar 15, 2017 | |||||
| Change Preferences command to include the type of the preference | Unassigned | Jens Bendisposto | | Fixed | Jul 29, 2016 | Mar 6, 2017 | |||||
| Value Translator should support ClassicalB and EventB parser | Unassigned | Lukas Ladenberger | | Fixed | Jan 7, 2016 | Mar 6, 2017 | |||||
| If an exception is thrown, not all CLIs may be closed | Unassigned | Joy Clark | | Fixed | Dec 3, 2015 | Dec 3, 2015 | |||||
| Change method var_block to be named var | Unassigned | Joy Clark | | Fixed | Dec 3, 2015 | Apr 25, 2016 | |||||
| Make it possible to modify preferences | Unassigned | Joy Clark | | Fixed | Dec 3, 2015 | Dec 3, 2015 | |||||
| Name clashes with user generated labels | Unassigned | Joy Clark | | Fixed | Nov 25, 2015 | Apr 25, 2016 | |||||
| Model Model Checking Algorithm | Unassigned | Joy Clark | | Fixed | Nov 11, 2015 | Apr 25, 2016 | |||||
| Assertion propagation | Unassigned | Joy Clark | | Fixed | Nov 10, 2015 | Apr 25, 2016 | |||||
| ProB 2 Plug-in uses the wrong Main class | Unassigned | Joy Clark | | Fixed | Nov 4, 2015 | Nov 4, 2015 | |||||
| Add coverage statistics to model checking | Unassigned | Joy Clark | | Fixed | Nov 3, 2015 | Apr 25, 2016 | |||||
| Make merging assignments optional (set preference) | Unassigned | Joy Clark | | Won't Fix | Oct 29, 2015 | Apr 25, 2016 | |||||
| Need to have a way to rename variables within an EventB formula | Unassigned | Joy Clark | | Fixed | Oct 9, 2015 | Apr 25, 2016 | |||||
| ModelModifier should have method to update dependency graph | Unassigned | Joy Clark | | Fixed | Oct 6, 2015 | Apr 25, 2016 | |||||
| Update servlets to use newest kernel | Unassigned | Jens Bendisposto | | Won't Fix | Oct 2, 2015 | Oct 5, 2015 | |||||
| Add assumptions | Unassigned | Joy Clark | | Fixed | Sep 28, 2015 | Oct 1, 2015 | |||||
| Test Seq use in algorithm generation | Unassigned | Joy Clark | | Fixed | Sep 24, 2015 | Apr 25, 2016 | |||||
| Assertions for merged branches | Unassigned | Joy Clark | | Fixed | Sep 23, 2015 | Apr 25, 2016 | |||||
| PC calculation for naive algorithm should follow program flow | Unassigned | Joy Clark | | Fixed | Sep 23, 2015 | Apr 25, 2016 | |||||
| Improve abstraction for the translation algorithms | Unassigned | Joy Clark | | Fixed | Sep 23, 2015 | Apr 25, 2016 | |||||
| Implement new 'merge' algorithm | Unassigned | Joy Clark | | Fixed | Sep 23, 2015 | Apr 25, 2016 | |||||
| Naming for Actions and Guards when there is a refined event is incorrect. | Unassigned | Joy Clark | | Fixed | Sep 21, 2015 | Apr 25, 2016 | |||||
| windows tests are not triggered anymore | Unassigned | Sebastian Krings | | Fixed | Sep 17, 2015 | Aug 4, 2016 | |||||
| Fix issue with nested loops | Unassigned | Joy Clark | | Fixed | Sep 17, 2015 | Apr 25, 2016 | |||||
| Implement way to tell if assignments are independent | Unassigned | Joy Clark | | Fixed | Sep 16, 2015 | Sep 24, 2015 |
1-50 of 769
...