Issues

Select view

Select search mode

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