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
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.
b4001b5720de53bfbb1f9d97c7fb87575f14057d
Select Git revision
Branches
9
csp
develop
default
protected
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
18 results
Begin with the selected commit
Created with Raphaël 2.2.0
31
Oct
10
9
2
12
Sep
25
Aug
24
15
24
Jul
14
3
30
Jun
29
28
19
17
May
16
3
19
Apr
5
2
Feb
1
8
Dec
6
5
2
1
24
Oct
28
Sep
27
26
25
21
3
May
2
9
Aug
6
23
Jul
22
29
Jun
27
11
25
Jan
21
16
Dec
5
3
29
Nov
12
16
Sep
4
28
Aug
27
18
Jul
7
2
Apr
17
Dec
3
2
26
Nov
25
8
Oct
2
1
24
Sep
23
29
Aug
12
Jul
22
Mar
30
Jan
21
Nov
23
Oct
1
Jun
16
May
29
Jan
2
Oct
29
Sep
7
2
Jan
26
Sep
28
Apr
25
3
Feb
1
22
Jan
18
4
3
Dec
30
Nov
26
10
23
Oct
9
24
Sep
10
7
21
Aug
13
26
Jun
25
24
23
2
28
May
18
24
Apr
23
20
1
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
Fix missing import
Update usages of Prolog Library for Abstract Integer Representation
Add minimal stub handling of probcli progress and callback results
Use ProBResultParser from answerparser library instead of own version
Remove some unused stuff from ServerConnection
Inline IServerConnection (we have no tests for this anyway...)
call -sf_no_callback when starting probcli
Apply SNAPSHOT cache disabling thing to subprojects as well
Use new printProlog method from theory mapping parser
Add magic snippet to disable caching of SNAPSHOT dependencies
Add instructions for building locally without Eclipse
Update README.md
Switch to nightly/SNAPSHOT versions of probcli and parsers
add comments about WD export of theory operators
Simplify CliStarter.getCliPath logic slightly
Report CLI startup exceptions in one place where they are caught
Remove broken "ProB Log View"
Remove unused RandomSeed and related code
Remove unused server trace stuff
Remove last uses of IStatus.getCode
Remove logging distinction of "with bugreport" and "without bugreport"
Remove probcli -parsercp argument
Remove some not very useful prints from tycho_build.gradle
Bump all the version numbers for next version 3.1.1
Merge branch 'develop'
Update to ProB 1.12.2
Switch to nightly version of ProB
Update to new name for probcli_windows64
Re-enable deleting old files in nightly update site
Remove static Activator.plugin fields where not used
Make tests not depend on org.eclipse.ui
Remove unused tycho_build.gradle exclude properties
Remove some not very useful helpers from tycho_build.gradle
Remove unused tycho_build.gradle code for creating a product
Remove no longer used properties related to categories
Remove defaults for a few properties in tycho_build.gradle
Remove disprover core's dependency on org.eclipse.ui
Remove symbolic plugin's dependencies on main ProB plugin
Put all features in the same category instead of one per feature
Fix a dependency not being listed in feature.xml
Loading