Issues

Select view

Select search mode

Bug
ProB hangs after starting model check
Unassigned
Colin Snook
Blocker
Fixed
Oct 18, 2018
Nov 28, 2018
Bug
Export to ProB Classic does not work
Unassigned
James Sharp
Major
Unresolved
Feb 9, 2016
Feb 9, 2016
Improvement
Internal Error instead of properly reported well-definedness error
Unassigned
Sebastian Krings
Major
Unresolved
Feb 2, 2016
Feb 2, 2016
Bug
ModelCheckingDialog does not store user selection
Unassigned
Sebastian Krings
Major
Fixed
Oct 9, 2015
Oct 9, 2015
Bug
List theory does not work in ProB Plug-in
Unassigned
Joy Clark
Major
Unresolved
Sep 14, 2015
Oct 9, 2015
New Feature
Allow to submit POs
Unassigned
Jens Bendisposto
Major
Won't Fix
Jun 1, 2014
Oct 9, 2015
Bug
Check Documentation for ProB 1
Unassigned
Jens Bendisposto
Major
Unresolved
May 21, 2015
Aug 13, 2015
Bug
Rendering of ... is strange
Unassigned
Michael Leuschel
Minor
Unresolved
Jun 23, 2015
Jun 23, 2015
Bug
No feedback when timeout in INITIALISATION
Unassigned
Michael Leuschel
Minor
Unresolved
Jun 23, 2015
Jun 23, 2015
Bug
LTL Model Check fails when number of new nodes exceeded
Unassigned
Michael Leuschel
Major
Fixed
Jan 30, 2015
Mar 11, 2015
Improvement
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
Major
Cannot Reproduce
Apr 4, 2014
Mar 11, 2015
Bug
BMotionStudio throws cast exception in Rodin3
Unassigned
Lukas Ladenberger
Major
Fixed
Jun 5, 2014
Feb 6, 2015
Bug
Error messages in Animator after Disprover run
Unassigned
Michael Leuschel
Major
Fixed
Feb 4, 2015
Feb 6, 2015
Bug
Number of variables in a pre-post predicate
Unassigned
Milad Mohammadi
Major
Fixed
Aug 30, 2014
Sep 12, 2014
Bug
LTL does not work anymore
Unassigned
Jens Bendisposto
Blocker
Fixed
Jun 16, 2014
Jun 17, 2014
Bug
LTL Counterexample is not displayed in the History
Unassigned
Jens Bendisposto
Major
Unresolved
Jun 17, 2014
Jun 17, 2014
Improvement
Disprover should report needed hypotheses back to Rodin
Unassigned
Sebastian Krings
Major
Unresolved
Jun 4, 2014
Jun 4, 2014
Bug
Assertion Checking: No feedback after model checking run
Unassigned
Daniel Plagge
Major
Fixed
May 6, 2014
Jun 3, 2014
Bug
input fields for units / symbolic are not available anymore
Unassigned
Sebastian Krings
Major
Fixed
May 14, 2014
Jun 3, 2014
Bug
NullPointer Exception when Full Coverage in Model Checking reached
Unassigned
Michael Leuschel
Major
Fixed
Apr 12, 2014
Apr 12, 2014
Bug
Variants trigger a translation error
Unassigned
Sebastian Krings
Major
Fixed
Mar 26, 2014
Mar 27, 2014
Bug
Invarants occurr multiple times in the translated model
Unassigned
Daniel Plagge
Major
Fixed
Feb 10, 2014
Mar 18, 2014
Bug
PROBPLUGIN - State View Expression does not allow Theory Plugin operators
Unassigned
Michael Leuschel
Major
Fixed
Jan 14, 2014
Mar 18, 2014
Bug
PROBPLUGIN Theory Support Bug for Parameters
Unassigned
Michael Leuschel
Major
Fixed
Jan 19, 2014
Feb 4, 2014
Bug
ProB does not release memory after model checking
Unassigned
GintautasS
Minor
Won't Fix
May 17, 2013
Jan 30, 2014
Bug
PROBPLUGIN: ProB Animate Menu for Shared Event Composed Machine
Unassigned
Michael Leuschel
Major
Fixed
Jan 20, 2014
Jan 30, 2014
Bug
PROBPLUGIN - No user feedback when TIME-OUT occurs during SETUP CONSTANTS
Unassigned
Michael Leuschel
Major
Fixed
Jan 27, 2014
Jan 27, 2014
Bug
PROBPLUGIN - Disprover does not work with Theory Plugin
Unassigned
Michael Leuschel
Major
Fixed
Jan 20, 2014
Jan 27, 2014
Bug
Disprover: Free identifiers in the proof are not handled correctly
Unassigned
Daniel Plagge
Major
Cannot Reproduce
Jan 27, 2014
Jan 27, 2014
New Feature
Create way to export Event-B files for ProB 2.0
Unassigned
Joy Clark
Major
Won't Fix
Apr 9, 2013
Jan 22, 2014
Bug
Enable "Random Operation" Feature in Execute Operation (Multi)
Unassigned
Lukas Ladenberger
Minor
Won't Fix
Nov 14, 2012
Jan 22, 2014
New Feature
Feature: Duplication of visualization + Adapt to new machine
Unassigned
Lukas Ladenberger
Minor
Won't Fix
Apr 24, 2012
Jan 22, 2014
Task
Observer:Simple value Display Control
Unassigned
Prateek Srivastava
Major
Won't Fix
Aug 19, 2013
Jan 22, 2014
Bug
#208 React on machine name changes / delete machine files
Unassigned
Lukas Ladenberger
Major
Won't Fix
Apr 24, 2012
Jan 22, 2014
Bug
#1007 Parse error when the ID of a textfield begins with the same string as the ID of an other textfield
Unassigned
Philipp Koerner
Major
Won't Fix
Apr 24, 2012
Jan 22, 2014
Bug
#1008 Checkboxes can't be checked/unchecked during animation
Unassigned
Philipp Koerner
Major
Won't Fix
Apr 24, 2012
Jan 22, 2014
Bug
Translation fails
Unassigned
alexei iliasov
Minor
Cannot Reproduce
Nov 6, 2013
Jan 22, 2014
Improvement
ProB for Rodin should support theorems in guards
Unassigned
Michael Leuschel
Major
Fixed
Apr 18, 2013
Jan 22, 2014
Bug
Error launching ProB Animation (If parent machine being extended has theorems in guards)
Unassigned
Krishnaji Desai
Major
Fixed
Jan 10, 2014
Jan 22, 2014
Bug
"becomes such as" operation causes unhandled loop exception
Unassigned
GintautasS
Major
Fixed
Oct 30, 2013
Jan 22, 2014
Bug
PROBPLUGIN - LTL Counter-Example View - cannot display a counter example
Unassigned
Michael Leuschel
Major
Fixed
Jan 13, 2014
Jan 14, 2014
Bug
PROBPLUGIN - ProB 1 for Rodin - Execute with Custom Guard Issues
Unassigned
Michael Leuschel
Major
Fixed
Dec 20, 2013
Dec 20, 2013
Bug
Update Wiki (Disprover / Symbolic Constants / Units)
Unassigned
Sebastian Krings
Minor
Fixed
Apr 22, 2013
Dec 9, 2013
Bug
PROB - ProB for Rodin cannot start when special character in path
Unassigned
Michael Leuschel
Major
Won't Fix
Nov 29, 2013
Dec 2, 2013
Bug
Closing the Events View and reopening it again throws a NullPointerException
Unassigned
Sebastian Krings
Major
Fixed
Nov 15, 2013
Nov 15, 2013
Bug
PROB Rodin - Export error message upon warnings misleading
Unassigned
Michael Leuschel
Major
Fixed
May 29, 2013
Sep 6, 2013
Bug
memory leak triggered by Context contents
Unassigned
GintautasS
Minor
Fixed
Apr 11, 2013
Apr 15, 2013
Bug
memory leak
Unassigned
GintautasS
Major
Duplicate
Apr 13, 2013
Apr 15, 2013
Bug
Outdated: http://wiki.event-b.org/index.php/Disprover
Unassigned
Jens Bendisposto
Major
Fixed
Apr 8, 2013
Apr 9, 2013
Bug
Command for checking initialised status is out of date
Unassigned
Joy Clark
Minor
Fixed
Apr 4, 2013
Apr 4, 2013
1-50 of 96