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