Issues
| Könnte man in ProB2-UI in Hilfe -> "Über ProB 2" n... | Unassigned | blah111b | Unresolved | Dec 4, 2020 | Dec 4, 2020 | ||||||
| Provide option to ignore parameters and destination variables in TraceReplay | Unassigned | Fabian Vu |  | Unresolved | Nov 17, 2020 | Nov 23, 2020 | |||||
| Too many error messages for Event-B formulas | Unassigned | Michael Leuschel | | Unresolved | Nov 6, 2020 | Nov 6, 2020 | |||||
| Create maven dependencies for ProB CLI Binaries | Unassigned | Fabian Vu | | Unresolved | Oct 26, 2020 | Oct 26, 2020 | |||||
| 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 | |||||
| Consider separating Groovy/scripting support from Java API | Unassigned | dgelessus | | Unresolved | Aug 31, 2020 | Aug 31, 2020 | |||||
| Separate ProB 2 CLI application from API | Unassigned | dgelessus | | Fixed | Aug 31, 2020 | Aug 31, 2020 | |||||
| The Prob plugin for Rodin could not be found at th... | Unassigned | blah111b | Unresolved | Apr 23, 2020 | Apr 23, 2020 | ||||||
| NullPointerException when name of included machine does not match filename | Unassigned | Michael Leuschel | | Unresolved | Jan 16, 2020 | Jul 31, 2020 | |||||
| GUI works very strange in macOS Mojave. Many butto... | Unassigned | blah111b | Unresolved | Nov 17, 2019 | Nov 17, 2019 | ||||||
| MCDC not covering coverable state | Unassigned | Michael Leuschel | | Unresolved | Nov 4, 2019 | Nov 21, 2019 | |||||
| MCDC fails with unexpected result | Unassigned | Michael Leuschel | | Unresolved | Nov 4, 2019 | Nov 4, 2019 | |||||
| MC/DC Level 0 seems to be the same as Level 1 | Unassigned | Michael Leuschel | | Unresolved | Nov 4, 2019 | Nov 4, 2019 | |||||
| Create New Machine creates Alloy Spec | Unassigned | Michael Leuschel | | Fixed | Nov 4, 2019 | Feb 5, 2020 | |||||
| Menu shortcut command-Minus for Zoom Out does not work on Mac | Unassigned | Michael Leuschel | | Unresolved | Nov 4, 2019 | Aug 12, 2020 | |||||
| Improve Feedback when starting probcli fails | Unassigned | Michael Leuschel | | Unresolved | Oct 22, 2019 | Oct 22, 2019 | |||||
| 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 | |||||
| Actually maybe this is not a bug report, but mayb... | Unassigned | blah111b | Unresolved | Jun 6, 2019 | Jun 28, 2019 | ||||||
| Opening two state spaces in parallel might lead to Exceptions | Unassigned | Jannik Dunkelau | | Fixed | Jan 11, 2019 | Jan 15, 2019 | |||||
| Some buttons are invisible until you resize the sc... | Unassigned | blah111b | Unresolved | Nov 7, 2018 | Jun 30, 2019 | ||||||
| When running an abstract machine with the bmotionw... | Unassigned | blah111b | Unresolved | Oct 31, 2018 | Jun 30, 2019 | ||||||
| Hello. In my system, ProB has a error. This erro... | Unassigned | blah111b | Unresolved | Aug 7, 2018 | Jun 30, 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 | |||||
| Remote CLI | Unassigned | Jens Bendisposto | | Unresolved | Apr 4, 2018 | Jun 30, 2019 | |||||
| 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 | ||||||
| Search Statepace | Unassigned | Jens Bendisposto | | Unresolved | Feb 7, 2018 | Jun 30, 2019 | |||||
| RulesMachineErrorsTest causes travis to fail because of nondeterministic behaviour | Unassigned | Michelle Werth | | Unresolved | Oct 18, 2017 | Jun 30, 2019 | |||||
| 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 | |||||
| Turn test into an integration test (unit test deleted) | Unassigned | Jens Bendisposto | | Unresolved | Jan 17, 2017 | Jun 30, 2019 | |||||
| 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 |
1-50 of 800
...