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
Commits
master
Select Git revision
Branches
9
develop
default
protected
master
protected
rodin2
rodin3
feature/theory_plugin
feature/multiview
csp
feature/newcore
feature/csp
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
prob_rodin_plugin
Author
Search by author
Any Author
authors
0 authors
Jul 11, 2024
Merge branch 'develop'
· 48129a0f
dgelessus
authored
11 months ago
48129a0f
Jul 09, 2024
Move de.bmotionstudio.rodin classes to appropriate packages
· a7ffcebc
dgelessus
authored
11 months ago
a7ffcebc
Combine de.bmotionstudio.rodin fragment into de.bmotionstudio.gef.editor
· ebe6742e
dgelessus
authored
11 months ago
ebe6742e
Jul 08, 2024
Remove unused deprecated NewBMotionProjectAction
· de2e731a
dgelessus
authored
11 months ago
de2e731a
Remove unused duplicate BMotion Studio perspective classes
· bbb8c4a0
dgelessus
authored
11 months ago
bbb8c4a0
Jul 05, 2024
Remove a few log messages during probcli startup
· 11e51e26
dgelessus
authored
11 months ago
11e51e26
Port simplified probcli startup output parsing from ProB Java API
· 899acc03
dgelessus
authored
11 months ago
899acc03
Update to probcli version 1.13.1-beta2
· ac28a620
dgelessus
authored
11 months ago
ac28a620
Jul 03, 2024
Show BMotion Studio in the about window
· 96a60850
dgelessus
authored
11 months ago
96a60850
Update a dependency range that I forgot
· 9f21dd27
dgelessus
authored
11 months ago
9f21dd27
Properly declare that BMotion Studio depends on the ProB plugin UI
· ee2c4e49
dgelessus
authored
11 months ago
ee2c4e49
Fix an indent
· 2689c1e5
dgelessus
authored
11 months ago
2689c1e5
Fix missing new dependency in BMotion Studio feature
· 4077cbf7
dgelessus
authored
11 months ago
4077cbf7
Make BMotion Studio a separate feature and not part of the animator
· 6cdcd087
dgelessus
authored
11 months ago
6cdcd087
Remove old FindBugs preferences
· fd15e96e
dgelessus
authored
11 months ago
fd15e96e
Make Eclipse .settings consistent across all subprojects
· 97db47db
dgelessus
authored
11 months ago
97db47db
Set explicit source file encoding in parent pom.xml
· 538436f2
dgelessus
authored
11 months ago
538436f2
Bump all the minor version numbers
· 782ee6b1
dgelessus
authored
11 months ago
782ee6b1
Jul 02, 2024
Update to Tycho 4.0.8 to try to fix "Content is not allowed in prolog"
· 4c194b0a
dgelessus
authored
11 months ago
4c194b0a
Fix new compilation errors related to getChildren() list types
· 062c2449
dgelessus
authored
11 months ago
062c2449
Update to Tycho 3.0.5 to make tests work again
· 4056f04d
dgelessus
authored
11 months ago
4056f04d
Comment out an observer that seems to be unused
· 8873b897
dgelessus
authored
11 months ago
8873b897
Replace uses of deprecated Eclipse APIs that were removed in Rodin 3.9
· 56b39c48
dgelessus
authored
11 months ago
56b39c48
Jul 01, 2024
Update CI to Java 17 as required by Rodin 3.9's Eclipse version
· b5eb4301
dgelessus
authored
11 months ago
b5eb4301
Update Gradle wrapper to version 8.8
· c5e0ca5b
dgelessus
authored
11 months ago
c5e0ca5b
Switch back to release version 1.13.0 of probcli
· 4023e12b
dgelessus
authored
11 months ago
4023e12b
Update Eclipse repository URL for Rodin 3.9
· c3385cc4
dgelessus
authored
11 months ago
c3385cc4
Jun 06, 2024
Try to fix compatibility with x86_64 (Intel) macOS systems
· d99dfdb3
dgelessus
authored
1 year ago
d99dfdb3
Apr 11, 2024
Switch to nightly version of ProB
· 3b677448
dgelessus
authored
1 year ago
3b677448
Feb 28, 2024
Add more specific descriptions for the individual features
· 47914c41
dgelessus
authored
1 year ago
47914c41
Add higher-res and consistent ProB logo for feature branding
· 2f0d174f
dgelessus
authored
1 year ago
2f0d174f
Add a Tycho temp file to .gitignore
· 3ba16057
dgelessus
authored
1 year ago
3ba16057
Fix feature branding not showing in about window and update old info
· fc911c6d
dgelessus
authored
1 year ago
fc911c6d
Change feature names to say "Rodin" instead of "Rodin3"
· e87203b8
dgelessus
authored
1 year ago
e87203b8
Use current ProB icon everywhere
· e8604f9e
dgelessus
authored
1 year ago
e8604f9e
Remove de.prob.plugin fragment and combine it into de.prob.ui
· f0e7fed7
dgelessus
authored
1 year ago
f0e7fed7
Feb 27, 2024
Remove unused ProB toolbar definition
· cf9e8e0a
dgelessus
authored
1 year ago
cf9e8e0a
Remove all of the website opening menu items
· 31e63eaa
dgelessus
authored
1 year ago
31e63eaa
Remove commented out distributed model check command and related code
· ad91466c
dgelessus
authored
1 year ago
ad91466c
Remove commented out "Analyze Invariant" command and related code
· df7ef677
dgelessus
authored
1 year ago
df7ef677
Loading