Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
ProB Rodin Plugin
Manage
Activity
Members
Labels
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
ProB Rodin Plugin
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
6fc23a0c20ed3b62e4a7db98d85ef60d5339c0f4
Select Git revision
Selected
6fc23a0c20ed3b62e4a7db98d85ef60d5339c0f4
Branches
9
develop
default
protected
csp
feature/csp
feature/multiview
feature/newcore
feature/theory_plugin
master
protected
rodin2
rodin3
Tags
9
3.0.11
3.0.8
3.0.5
2.4.1
2.3.3
2.3.2
2.3.1
2.3.0_fix1
2.3.0
19 results
Begin with the selected commit
Created with Raphaël 2.2.0
1
Apr
9
Mar
6
5
27
Feb
26
25
19
18
4
30
Jan
16
15
8
Dec
2
26
Nov
31
Oct
17
16
13
10
8
25
Sep
15
12
11
9
29
Aug
19
18
29
Jul
28
2
30
Jun
17
13
5
4
3
27
May
26
16
14
12
28
Apr
22
17
12
28
Mar
27
18
14
13
11
6
5
28
Feb
13
12
10
6
5
31
Jan
30
29
27
22
21
20
17
15
14
10
6
20
Dec
19
18
2
19
Nov
15
11
Oct
9
8
27
Sep
4
26
Aug
14
13
12
11
Jul
1
26
Jun
25
24
21
20
14
7
6
29
May
22
21
17
14
24
Apr
23
19
18
17
16
15
11
9
4
28
Mar
27
26
25
22
19
18
15
14
12
11
8
25
Feb
20
13
12
5
31
Jan
21
18
16
15
14
11
8
7
4
3
2
28
Dec
27
20
19
17
14
13
12
11
10
27
Nov
26
23
22
21
16
13
9
8
7
6
5
31
Oct
26
25
24
23
18
17
16
15
12
11
5
25
Sep
17
13
12
remove custom update site from target platform
update repository urls
better error messages
fixes in disprover preference page
double evaluation preference for disprover
port prob2 change to handling of windows newlines in socket server communication
port prob2 change to handling of windows newlines in socket server communication
add cse preference to disprover preference page
adopt errors command to cli
report errors / warnings differently
prob exception was hidden by the ProBCommandJob anyway, remove error handling
adopt errors command to cli
fix imports
display contradiction in hypotheses in the proof tree
add contradiction_in_hypotheses case, currently not handled in a different way
version bump for rodin 2 after prob 1.5 release
Merge branch 'develop'
3.0.8
3.0.8
version bump to 3.0.8
Merge branch 'refs/heads/develop'
version bump to 3.0.8
remove more trace outputs in Model Checking result dialog
no longer show trace of state ids in ModelChecking result dialog
PROBPLUGIN-113 use Aux Animator
Use AuxAniamtor for Disproving
remove upper bound on new nodes added by LTL model check
version bump for release
submit all hypotheses back to rodin as used hypotheses to prevent false replay of disprover proof rules
fix warning
bump parser version
update to support rodin 3.1 theory plugin
there is no shell available here. remove dialog window
fixed starting visualisation via context menu
version bump in order to prepare for rodin 3.1 release
Fixed a bug in the LTL viewer of Rodin (see comments in the commit).
Fixed a bug in the LTL viewer of Rodin (see comments in the commit).
bump dependency versions
backport 7518acb1379bec986f21ff3e059f4847aa60216b
rise error message regarding valid constants and properties even if there is no operation available
show counterexample found on selected hypotheses
announce computed state
Loading