Issues

Select view

Select search mode

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
List theory does not work in ProB Plug-in
Unassigned
Joy Clark
Major
Unresolved
Sep 14, 2015
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 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
1-8 of 8