Projects
Filters
Dashboards
Apps
Create
ProB for Rodin
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status
Type
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
PROBPLUGIN
-
121
ProB hangs after starting model check
Jens Bendisposto
Colin Snook
Resolved
Oct 18, 2018
PROBPLUGIN
-
120
Export to ProB Classic does not work
Jens Bendisposto
James Sharp
Open
Feb 9, 2016
PROBPLUGIN
-
119
Internal Error instead of properly reported well-definedness error
Jens Bendisposto
Sebastian Krings
Open
Feb 2, 2016
PROBPLUGIN
-
118
ModelCheckingDialog does not store user selection
Sebastian Krings
Sebastian Krings
Closed
Oct 9, 2015
PROBPLUGIN
-
117
List theory does not work in ProB Plug-in
Jens Bendisposto
Joy Clark
Reopened
Sep 14, 2015
PROBPLUGIN
-
115
Rendering of ... is strange
Jens Bendisposto
Michael Leuschel
Open
Jun 23, 2015
PROBPLUGIN
-
114
No feedback when timeout in INITIALISATION
Jens Bendisposto
Michael Leuschel
Open
Jun 23, 2015
PROBPLUGIN
-
116
Check Documentation for ProB 1
Jens Bendisposto
Jens Bendisposto
Open
May 21, 2015
PROBPLUGIN
-
113
Error messages in Animator after Disprover run
Jens Bendisposto
Michael Leuschel
Closed
Feb 4, 2015
PROBPLUGIN
-
112
LTL Model Check fails when number of new nodes exceeded
Jens Bendisposto
Michael Leuschel
Resolved
Jan 30, 2015
PROBPLUGIN
-
111
Number of variables in a pre-post predicate
Jens Bendisposto
Milad Mohammadi
Closed
Aug 30, 2014
PROBPLUGIN
-
110
LTL Counterexample is not displayed in the History
Daniel Plagge
Jens Bendisposto
Open
Jun 17, 2014
PROBPLUGIN
-
109
LTL does not work anymore
Daniel Plagge
Jens Bendisposto
Closed
Jun 16, 2014
PROBPLUGIN
-
108
BMotionStudio throws cast exception in Rodin3
Lukas Ladenberger
Lukas Ladenberger
Closed
Jun 5, 2014
PROBPLUGIN
-
107
Disprover should report needed hypotheses back to Rodin
Sebastian Krings
Sebastian Krings
Open
Jun 4, 2014
PROBPLUGIN
-
106
Allow to submit POs
Sebastian Krings
Jens Bendisposto
Closed
Jun 1, 2014
PROBPLUGIN
-
104
input fields for units / symbolic are not available anymore
Sebastian Krings
Sebastian Krings
Closed
May 14, 2014
PROBPLUGIN
-
103
Assertion Checking: No feedback after model checking run
Jens Bendisposto
Daniel Plagge
Closed
May 6, 2014
PROBPLUGIN
-
102
NullPointer Exception when Full Coverage in Model Checking reached
Jens Bendisposto
Michael Leuschel
Resolved
Apr 12, 2014
PROBPLUGIN
-
100
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;"
Jens Bendisposto
Nyla Afzal
Resolved
Apr 4, 2014
PROBPLUGIN
-
99
Variants trigger a translation error
Sebastian Krings
Sebastian Krings
Closed
Mar 26, 2014
PROBPLUGIN
-
97
Invarants occurr multiple times in the translated model
Daniel Plagge
Daniel Plagge
Closed
Feb 10, 2014
PROBPLUGIN
-
96
PROBPLUGIN - No user feedback when TIME-OUT occurs during SETUP CONSTANTS
Jens Bendisposto
Michael Leuschel
Closed
Jan 27, 2014
PROBPLUGIN
-
95
Disprover: Free identifiers in the proof are not handled correctly
Sebastian Krings
Daniel Plagge
Closed
Jan 27, 2014
PROBPLUGIN
-
94
PROBPLUGIN: ProB Animate Menu for Shared Event Composed Machine
Sebastian Krings
Michael Leuschel
Closed
Jan 20, 2014
PROBPLUGIN
-
93
PROBPLUGIN - Disprover does not work with Theory Plugin
Sebastian Krings
Michael Leuschel
Closed
Jan 20, 2014
PROBPLUGIN
-
92
PROBPLUGIN Theory Support Bug for Parameters
Michael Leuschel
Michael Leuschel
Resolved
Jan 19, 2014
PROBPLUGIN
-
91
PROBPLUGIN - State View Expression does not allow Theory Plugin operators
Michael Leuschel
Michael Leuschel
Resolved
Jan 14, 2014
PROBPLUGIN
-
90
PROBPLUGIN - LTL Counter-Example View - cannot display a counter example
Michael Leuschel
Michael Leuschel
Resolved
Jan 13, 2014
PROBPLUGIN
-
89
Error launching ProB Animation (If parent machine being extended has theorems in guards)
Jens Bendisposto
Krishnaji Desai
Resolved
Jan 10, 2014
PROBPLUGIN
-
88
PROBPLUGIN - ProB 1 for Rodin - Execute with Custom Guard Issues
Jens Bendisposto
Michael Leuschel
Resolved
Dec 20, 2013
PROBPLUGIN
-
87
PROB - ProB for Rodin cannot start when special character in path
Sebastian Krings
Michael Leuschel
Resolved
Nov 29, 2013
PROBPLUGIN
-
84
Closing the Events View and reopening it again throws a NullPointerException
Sebastian Krings
Sebastian Krings
Closed
Nov 15, 2013
PROBPLUGIN
-
80
Translation fails
Sebastian Krings
alexei iliasov
Closed
Nov 6, 2013
PROBPLUGIN
-
79
"becomes such as" operation causes unhandled loop exception
Jens Bendisposto
GintautasS
Closed
Oct 30, 2013
PROBPLUGIN
-
78
Observer:Simple value Display Control
Lukas Ladenberger
Prateek Srivastava
Closed
Aug 19, 2013
PROBPLUGIN
-
75
PROB Rodin - Export error message upon warnings misleading
Jens Bendisposto
Michael Leuschel
Resolved
May 29, 2013
PROBPLUGIN
-
74
ProB does not release memory after model checking
Joy Clark
GintautasS
Closed
May 17, 2013
PROBPLUGIN
-
73
Update Wiki (Disprover / Symbolic Constants / Units)
Sebastian Krings
Sebastian Krings
Closed
Apr 22, 2013
PROBPLUGIN
-
72
ProB for Rodin should support theorems in guards
Michael Leuschel
Michael Leuschel
Resolved
Apr 18, 2013
PROBPLUGIN
-
71
memory leak
Jens Bendisposto
GintautasS
Resolved
Apr 13, 2013
PROBPLUGIN
-
70
memory leak triggered by Context contents
Michael Leuschel
GintautasS
Resolved
Apr 11, 2013
PROBPLUGIN
-
69
Create way to export Event-B files for ProB 2.0
Jens Bendisposto
Joy Clark
Closed
Apr 9, 2013
PROBPLUGIN
-
68
Outdated: http://wiki.event-b.org/index.php/Disprover
Sebastian Krings
Jens Bendisposto
Resolved
Apr 8, 2013
PROBPLUGIN
-
67
Command for checking initialised status is out of date
Joy Clark
Joy Clark
Resolved
Apr 4, 2013
PROBPLUGIN
-
66
Disprover unable to type variables of refined machines
Sebastian Krings
Sebastian Krings
Closed
Mar 27, 2013
PROBPLUGIN
-
64
Translation Crashes if Symbolic Constants Plugin is not installed
Sebastian Krings
Sebastian Krings
Closed
Mar 23, 2013
PROBPLUGIN
-
63
ProB Rodin: cannot animate machine m1 - export for ProB classic silently fails
Sebastian Krings
Michael Leuschel
Resolved
Mar 9, 2013
PROBPLUGIN
-
62
Change Model checking options to fit with Prolog refactoring
Jens Bendisposto
Jens Bendisposto
Resolved
Feb 20, 2013
PROBPLUGIN
-
58
Units not translated in contexts
Sebastian Krings
Sebastian Krings
Closed
Jan 15, 2013
Give feedback
Showing 1-50 of 96
1
2