Issues

Select view

Select search mode

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