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
f7122b2734c488dee61f03dfe6864f59fcf08b72
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
dgelessus
dgelessus
Fabian Vu
vu
Jan Gruteser
gruteser
Jannik Dunkelau
dunkelau
Jens Bendisposto
bendisposto
John Witulski
witulski
Joshua Schmidt
schmidt
Kristin Rutenkolk
rutenkolk
Mareike Mutz
mutz
Max Jakub Ried
ried
Michael Leuschel
leuschel
Miles Vella
vella
Philipp Körner
koerner
Thomas Spitzlei
spitzlei
14 authors
Jun 28, 2023
Merge branch 'develop'
· f7122b27
dgelessus
authored
1 year ago
View commits for tag 3.0.11
3.0.11
f7122b27
Bump all the version numbers for release 3.0.11
· d9f15b1d
dgelessus
authored
1 year ago
d9f15b1d
Require Java 1.8 for disprover as well
· 41f0c79b
dgelessus
authored
1 year ago
41f0c79b
Remove .tmp copy of antlr-2.7.7.jar
· 02e5ecb5
dgelessus
authored
1 year ago
02e5ecb5
Jun 19, 2023
Switch CI from openjdk to eclipse-temurin images
· 8beb481b
dgelessus
authored
1 year ago
8beb481b
May 17, 2023
Require correct service levels for our own dependencies
· 51547e9e
dgelessus
authored
2 years ago
51547e9e
Replace match="greaterOrEqual" with match="compatible"
· 1b0c7318
dgelessus
authored
2 years ago
1b0c7318
Rename index.html to footer.html so it doesn't block directory listing
· 4629283e
dgelessus
authored
2 years ago
4629283e
Update index.html further
· e1070c13
dgelessus
authored
2 years ago
e1070c13
Format index.html consistently
· 184075c8
dgelessus
authored
2 years ago
184075c8
Update URLs in index.html
· d661db61
dgelessus
authored
2 years ago
d661db61
Add automatic release deployment to .gitlab-ci.yml
· 78c6f4c2
dgelessus
authored
2 years ago
78c6f4c2
Add prepareMaven task to do everything needed before calling Maven
· b49f201c
dgelessus
authored
2 years ago
b49f201c
Remove setClassPath dependency from completeInstall
· 41c5ba8d
dgelessus
authored
2 years ago
41c5ba8d
Remove Gradle tycho task, which duplicates install
· 9c8b55d6
dgelessus
authored
2 years ago
9c8b55d6
May 16, 2023
Skip Git clone in CI deploy job
· 5e1ffb3b
dgelessus
authored
2 years ago
5e1ffb3b
Change how index.html is copied
· eabf2c10
dgelessus
authored
2 years ago
eabf2c10
Run all tasks in one Gradle call for performance
· cd6d2767
dgelessus
authored
2 years ago
cd6d2767
Try to enable caching on CI
· 045a27e7
dgelessus
authored
2 years ago
045a27e7
Remove MAVEN_OPTS which seem to be not needed
· da47c340
dgelessus
authored
2 years ago
da47c340
Remove unnecessary copy of built repository
· f2b1f0fa
dgelessus
authored
2 years ago
f2b1f0fa
Remove commented out code related to old BMotion Studio help build
· 1a60e668
dgelessus
authored
2 years ago
1a60e668
Remove special UI test configuration that we don't need
· ae757a1a
dgelessus
authored
2 years ago
ae757a1a
Re-enable skipped tests that seem to work fine
· e60022db
dgelessus
authored
2 years ago
e60022db
Remove useless "non-Javadoc" comments
· bb189166
dgelessus
authored
2 years ago
bb189166
Replace uses of old JUnit 3 APIs
· 4ca6ff73
dgelessus
authored
2 years ago
4ca6ff73
Resurrect the tests
· 879599fb
dgelessus
authored
2 years ago
879599fb
May 03, 2023
Update parsers to version 2.12.4
· b1583b96
dgelessus
authored
2 years ago
b1583b96
Update Gradle wrapper to version 8.1.1
· 929866cd
dgelessus
authored
2 years ago
929866cd
Update to ProB 1.12.1
· 2b6a06dd
dgelessus
authored
2 years ago
2b6a06dd
Apr 19, 2023
Use consistent values for boolean lftp settings
· 18d98475
dgelessus
authored
2 years ago
18d98475
Ensure that lftp exits on errors instead of continuing
· ead47cd0
dgelessus
authored
2 years ago
ead47cd0
Remove unneeded exit from lftp command
· b5715d31
dgelessus
authored
2 years ago
b5715d31
Apr 05, 2023
Remove lftp mirror --delete flag for now
· eefd411b
dgelessus
authored
2 years ago
eefd411b
Feb 02, 2023
Update www3 URLs to stups.hhu-hosting.de
· 8bbb1be1
dgelessus
authored
2 years ago
8bbb1be1
Feb 01, 2023
Update ProB website/wiki links
· 2fe63182
dgelessus
authored
2 years ago
2fe63182
Dec 08, 2022
Remove more unused commands
· 3debe580
dgelessus
authored
2 years ago
3debe580
Remove unused and broken LoadClassicalBModelCommand
· c02b3ced
dgelessus
authored
2 years ago
c02b3ced
Dec 06, 2022
Automatically delete old files from deploy destination
· 6ce5500c
dgelessus
authored
2 years ago
6ce5500c
Use lftp for deployment instead of travis-custom-deploy
· c40bdc42
dgelessus
authored
2 years ago
c40bdc42
Loading