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
Separate ProB 2 CLI application from API
Unassigned
dgelessus
Major
Fixed
Aug 31, 2020
Aug 31, 2020
Improvement
Consider separating Groovy/scripting support from Java API
Unassigned
dgelessus
Major
Unresolved
Aug 31, 2020
Aug 31, 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
Bug
Misleading error message when loading Rodin .bum or .buc file
Unassigned
Michael Leuschel
Major
Fixed
Oct 4, 2019
Aug 3, 2020
Bug
NullPointerException when name of included machine does not match filename
Unassigned
Michael Leuschel
Major
Unresolved
Jan 16, 2020
Jul 31, 2020
New Feature
Add formulas when model checking
Unassigned
Jens Bendisposto
Minor
Unresolved
Apr 10, 2013
Jul 30, 2020
Improvement
GetMachineStructureCommand should support ASCII and Unicode
Unassigned
dgelessus
Major
Fixed
May 8, 2017
Jul 17, 2020
Bug
ModelChecker creates an executor that is never shut down
Unassigned
dgelessus
Major
Fixed
Mar 13, 2017
Jul 17, 2020
Bug
Parsing formula from Model doesn't recognize the definitions from the model
Unassigned
Joy Clark
Major
Fixed
Mar 10, 2015
Jun 8, 2020
Bug
The Prob plugin for Rodin could not be found at th...
Unassigned
blah111b
Unresolved
Apr 23, 2020
Apr 23, 2020
Bug
Create New Machine creates Alloy Spec
Unassigned
Michael Leuschel
Major
Fixed
Nov 4, 2019
Feb 5, 2020
Improvement
Operation view show non-deterministically assigned variables
Unassigned
Michael Leuschel
Major
Fixed
Oct 13, 2017
Nov 21, 2019
Bug
MCDC not covering coverable state
Unassigned
Michael Leuschel
Major
Unresolved
Nov 4, 2019
Nov 21, 2019
Bug
GUI works very strange in macOS Mojave. Many butto...
Unassigned
blah111b
Unresolved
Nov 17, 2019
Nov 17, 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
Improvement
Improve Feedback when starting probcli fails
Unassigned
Michael Leuschel
Major
Unresolved
Oct 22, 2019
Oct 22, 2019
Bug
MC/DC Testcase Generation Exception
Unassigned
Michael Leuschel
Major
Fixed
Jul 18, 2019
Aug 19, 2019
Improvement
Compare formula registration with bvisual2
Unassigned
Joy Clark
Minor
Unresolved
Jun 18, 2014
Jun 30, 2019
Bug
Turn test into an integration test (unit test deleted)
Unassigned
Jens Bendisposto
Minor
Unresolved
Jan 17, 2017
Jun 30, 2019
Bug
Define persistency format for models
Unassigned
Jens Bendisposto
Major
Unresolved
Apr 15, 2015
Jun 30, 2019
Epic
Issues and Bugs dealing with the ProB 2.0 Kernel
Unassigned
Joy Clark
Major
Unresolved
Apr 20, 2015
Jun 30, 2019
Epic
Generate Event-B Machines from an Algorithm Description
Unassigned
Joy Clark
Major
Unresolved
Jun 18, 2015
Jun 30, 2019
Bug
Operations calling other operations are not accessible
Unassigned
Vlad Gheorghe
Major
Unresolved
Aug 10, 2015
Jun 30, 2019
New Feature
Implement merge events for the Model API
Unassigned
Joy Clark
Major
Unresolved
Sep 10, 2015
Jun 30, 2019
Bug
List Theory should be supported in ProB 2.0
Unassigned
Joy Clark
Major
Unresolved
Sep 14, 2015
Jun 30, 2019
New Feature
Theorems should come after other invariants (because they can use the invariants in their proofs)
Unassigned
Joy Clark
Major
Unresolved
Oct 1, 2015
Jun 30, 2019
Bug
RulesMachineErrorsTest causes travis to fail because of nondeterministic behaviour
Unassigned
Michelle Werth
Major
Unresolved
Oct 18, 2017
Jun 30, 2019
Bug
Search Statepace
Unassigned
Jens Bendisposto
Major
Unresolved
Feb 7, 2018
Jun 30, 2019
Improvement
Remote CLI
Unassigned
Jens Bendisposto
Major
Unresolved
Apr 4, 2018
Jun 30, 2019
Improvement
Update the chapter on the AbstractCommands
Unassigned
Joy Clark
Blocker
Unresolved
Feb 11, 2015
Jun 30, 2019
Bug
Hello. In my system, ProB has a error. This erro...
Unassigned
blah111b
Unresolved
Aug 7, 2018
Jun 30, 2019
Bug
When running an abstract machine with the bmotionw...
Unassigned
blah111b
Unresolved
Oct 31, 2018
Jun 30, 2019
Bug
Some buttons are invisible until you resize the sc...
Unassigned
blah111b
Unresolved
Nov 7, 2018
Jun 30, 2019
Bug
Actually maybe this is not a bug report, but mayb...
Unassigned
blah111b
Unresolved
Jun 6, 2019
Jun 28, 2019
Epic
Are these issues still relevant or should we close them?
Unassigned
Joy Clark
Major
Fixed
Aug 13, 2015
Feb 1, 2019
Epic
Editor: Add Support for EventB
Unassigned
Jens Bendisposto
Major
Won't Do
Apr 21, 2015
Feb 1, 2019
Epic
Handbook related tasks
Unassigned
Jens Bendisposto
Major
Won't Do
Apr 20, 2015
Feb 1, 2019
Epic
Release related tasks
Unassigned
Jens Bendisposto
Major
Fixed
Apr 20, 2015
Feb 1, 2019
Epic
Issues dealing with the ProB 2.0 and ProB 2.0 Rodin Plugin builds
Unassigned
Joy Clark
Major
Fixed
Apr 20, 2015
Feb 1, 2019
Epic
Issues dealing with the old UI
Unassigned
Joy Clark
Major
Fixed
Apr 20, 2015
Feb 1, 2019
Epic
development for Clojure UI
Unassigned
Joy Clark
Major
Won't Do
Apr 20, 2015
Feb 1, 2019
Bug
Opening two state spaces in parallel might lead to Exceptions
Unassigned
Jannik Dunkelau
Major
Fixed
Jan 11, 2019
Jan 15, 2019
New Feature
Modify ProBInstanceProvider so it can use remote CLIs
Unassigned
dgelessus
Major
Duplicate
Apr 4, 2018
Sep 24, 2018
1-50 of 800
...