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