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