Issues

Export to ProB Classic does not work

Internal Error instead of properly reported well-definedness error

ModelCheckingDialog does not store user selection

List theory does not work in ProB Plug-in

Rendering of ... is strange

No feedback when timeout in INITIALISATION

Check Documentation for ProB 1

Error messages in Animator after Disprover run

LTL Model Check fails when number of new nodes exceeded

Number of variables in a pre-post predicate

LTL Counterexample is not displayed in the History

LTL does not work anymore

BMotionStudio throws cast exception in Rodin3

Disprover should report needed hypotheses back to Rodin

Allow to submit POs

input fields for units / symbolic are not available anymore

Assertion Checking: No feedback after model checking run

NullPointer Exception when Full Coverage in Model Checking reached

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;"

Variants trigger a translation error

Invarants occurr multiple times in the translated model

PROBPLUGIN - No user feedback when TIME-OUT occurs during SETUP CONSTANTS

Disprover: Free identifiers in the proof are not handled correctly

PROBPLUGIN: ProB Animate Menu for Shared Event Composed Machine

PROBPLUGIN - Disprover does not work with Theory Plugin

PROBPLUGIN Theory Support Bug for Parameters

PROBPLUGIN - State View Expression does not allow Theory Plugin operators

PROBPLUGIN - LTL Counter-Example View - cannot display a counter example

Error launching ProB Animation (If parent machine being extended has theorems in guards)

PROBPLUGIN - ProB 1 for Rodin - Execute with Custom Guard Issues

PROB - ProB for Rodin cannot start when special character in path

Closing the Events View and reopening it again throws a NullPointerException

Translation fails

"becomes such as" operation causes unhandled loop exception

Observer:Simple value Display Control

PROB Rodin - Export error message upon warnings misleading

ProB does not release memory after model checking

Update Wiki (Disprover / Symbolic Constants / Units)

ProB for Rodin should support theorems in guards

memory leak

memory leak triggered by Context contents

Create way to export Event-B files for ProB 2.0

Outdated: http://wiki.event-b.org/index.php/Disprover

Command for checking initialised status is out of date

Disprover unable to type variables of refined machines

Translation Crashes if Symbolic Constants Plugin is not installed

ProB Rodin: cannot animate machine m1 - export for ProB classic silently fails

Change Model checking options to fit with Prolog refactoring

Units not translated in contexts