Issues
ProB hangs after starting model check | Unassigned | Colin Snook | Fixed | Oct 18, 2018 | Nov 28, 2018 | ||||||
Export to ProB Classic does not work | Unassigned | James Sharp | Unresolved | Feb 9, 2016 | Feb 9, 2016 | ||||||
Internal Error instead of properly reported well-definedness error | Unassigned | Sebastian Krings | Unresolved | Feb 2, 2016 | Feb 2, 2016 | ||||||
ModelCheckingDialog does not store user selection | Unassigned | Sebastian Krings | Fixed | Oct 9, 2015 | Oct 9, 2015 | ||||||
List theory does not work in ProB Plug-in | Unassigned | Joy Clark | Unresolved | Sep 14, 2015 | Oct 9, 2015 | ||||||
Rendering of ... is strange | Unassigned | Michael Leuschel | Unresolved | Jun 23, 2015 | Jun 23, 2015 | ||||||
No feedback when timeout in INITIALISATION | Unassigned | Michael Leuschel | Unresolved | Jun 23, 2015 | Jun 23, 2015 | ||||||
Check Documentation for ProB 1 | Unassigned | Jens Bendisposto | Unresolved | May 21, 2015 | Aug 13, 2015 | ||||||
Error messages in Animator after Disprover run | Unassigned | Michael Leuschel | Fixed | Feb 4, 2015 | Feb 6, 2015 | ||||||
LTL Model Check fails when number of new nodes exceeded | Unassigned | Michael Leuschel | Fixed | Jan 30, 2015 | Mar 11, 2015 | ||||||
Number of variables in a pre-post predicate | Unassigned | Milad Mohammadi | Fixed | Aug 30, 2014 | Sep 12, 2014 | ||||||
LTL Counterexample is not displayed in the History | Unassigned | Jens Bendisposto | Unresolved | Jun 17, 2014 | Jun 17, 2014 | ||||||
LTL does not work anymore | Unassigned | Jens Bendisposto | Fixed | Jun 16, 2014 | Jun 17, 2014 | ||||||
BMotionStudio throws cast exception in Rodin3 | Unassigned | Lukas Ladenberger | Fixed | Jun 5, 2014 | Feb 6, 2015 | ||||||
Disprover should report needed hypotheses back to Rodin | Unassigned | Sebastian Krings | Unresolved | Jun 4, 2014 | Jun 4, 2014 | ||||||
Allow to submit POs | Unassigned | Jens Bendisposto | Won't Fix | Jun 1, 2014 | Oct 9, 2015 | ||||||
input fields for units / symbolic are not available anymore | Unassigned | Sebastian Krings | Fixed | May 14, 2014 | Jun 3, 2014 | ||||||
Assertion Checking: No feedback after model checking run | Unassigned | Daniel Plagge | Fixed | May 6, 2014 | Jun 3, 2014 | ||||||
NullPointer Exception when Full Coverage in Model Checking reached | Unassigned | Michael Leuschel | Fixed | Apr 12, 2014 | Apr 12, 2014 | ||||||
On animating a machine with pro-B, I get an error which says "Residue: root: '$partial_setup_constants: context = ERROR CONTEXT: OPERATION: $partial_setup_constants, state ID: root, state: root;" | Unassigned | Nyla Afzal | Cannot Reproduce | Apr 4, 2014 | Mar 11, 2015 | ||||||
Variants trigger a translation error | Unassigned | Sebastian Krings | Fixed | Mar 26, 2014 | Mar 27, 2014 | ||||||
Invarants occurr multiple times in the translated model | Unassigned | Daniel Plagge | Fixed | Feb 10, 2014 | Mar 18, 2014 | ||||||
PROBPLUGIN - No user feedback when TIME-OUT occurs during SETUP CONSTANTS | Unassigned | Michael Leuschel | Fixed | Jan 27, 2014 | Jan 27, 2014 | ||||||
Disprover: Free identifiers in the proof are not handled correctly | Unassigned | Daniel Plagge | Cannot Reproduce | Jan 27, 2014 | Jan 27, 2014 | ||||||
PROBPLUGIN: ProB Animate Menu for Shared Event Composed Machine | Unassigned | Michael Leuschel | Fixed | Jan 20, 2014 | Jan 30, 2014 | ||||||
PROBPLUGIN - Disprover does not work with Theory Plugin | Unassigned | Michael Leuschel | Fixed | Jan 20, 2014 | Jan 27, 2014 | ||||||
PROBPLUGIN Theory Support Bug for Parameters | Unassigned | Michael Leuschel | Fixed | Jan 19, 2014 | Feb 4, 2014 | ||||||
PROBPLUGIN - State View Expression does not allow Theory Plugin operators | Unassigned | Michael Leuschel | Fixed | Jan 14, 2014 | Mar 18, 2014 | ||||||
PROBPLUGIN - LTL Counter-Example View - cannot display a counter example | Unassigned | Michael Leuschel | Fixed | Jan 13, 2014 | Jan 14, 2014 | ||||||
Error launching ProB Animation (If parent machine being extended has theorems in guards) | Unassigned | Krishnaji Desai | Fixed | Jan 10, 2014 | Jan 22, 2014 | ||||||
PROBPLUGIN - ProB 1 for Rodin - Execute with Custom Guard Issues | Unassigned | Michael Leuschel | Fixed | Dec 20, 2013 | Dec 20, 2013 | ||||||
PROB - ProB for Rodin cannot start when special character in path | Unassigned | Michael Leuschel | Won't Fix | Nov 29, 2013 | Dec 2, 2013 | ||||||
Closing the Events View and reopening it again throws a NullPointerException | Unassigned | Sebastian Krings | Fixed | Nov 15, 2013 | Nov 15, 2013 | ||||||
Translation fails | Unassigned | alexei iliasov | Cannot Reproduce | Nov 6, 2013 | Jan 22, 2014 | ||||||
"becomes such as" operation causes unhandled loop exception | Unassigned | GintautasS | Fixed | Oct 30, 2013 | Jan 22, 2014 | ||||||
Observer:Simple value Display Control | Unassigned | Prateek Srivastava | Won't Fix | Aug 19, 2013 | Jan 22, 2014 | ||||||
PROB Rodin - Export error message upon warnings misleading | Unassigned | Michael Leuschel | Fixed | May 29, 2013 | Sep 6, 2013 | ||||||
ProB does not release memory after model checking | Unassigned | GintautasS | Won't Fix | May 17, 2013 | Jan 30, 2014 | ||||||
Update Wiki (Disprover / Symbolic Constants / Units) | Unassigned | Sebastian Krings | Fixed | Apr 22, 2013 | Dec 9, 2013 | ||||||
ProB for Rodin should support theorems in guards | Unassigned | Michael Leuschel | Fixed | Apr 18, 2013 | Jan 22, 2014 | ||||||
memory leak | Unassigned | GintautasS | Duplicate | Apr 13, 2013 | Apr 15, 2013 | ||||||
memory leak triggered by Context contents | Unassigned | GintautasS | Fixed | Apr 11, 2013 | Apr 15, 2013 | ||||||
Create way to export Event-B files for ProB 2.0 | Unassigned | Joy Clark | Won't Fix | Apr 9, 2013 | Jan 22, 2014 | ||||||
Outdated: http://wiki.event-b.org/index.php/Disprover | Unassigned | Jens Bendisposto | Fixed | Apr 8, 2013 | Apr 9, 2013 | ||||||
Command for checking initialised status is out of date | Unassigned | Joy Clark | Fixed | Apr 4, 2013 | Apr 4, 2013 | ||||||
Disprover unable to type variables of refined machines | Unassigned | Sebastian Krings | Fixed | Mar 27, 2013 | Mar 28, 2013 | ||||||
Translation Crashes if Symbolic Constants Plugin is not installed | Unassigned | Sebastian Krings | Fixed | Mar 23, 2013 | Mar 25, 2013 | ||||||
ProB Rodin: cannot animate machine m1 - export for ProB classic silently fails | Unassigned | Michael Leuschel | Fixed | Mar 9, 2013 | Mar 12, 2013 | ||||||
Change Model checking options to fit with Prolog refactoring | Unassigned | Jens Bendisposto | Fixed | Feb 20, 2013 | Feb 20, 2013 | ||||||
Units not translated in contexts | Unassigned | Sebastian Krings | Fixed | Jan 15, 2013 | Jan 21, 2013 |
1-50 of 96