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
7680ea91ddaead30b460ed5db9f61ca4ad470c0d
Select Git revision
9 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
Aug 15, 2023
Merge branch 'develop'
· 7680ea91
dgelessus
authored
1 year ago
7680ea91
Update to ProB 1.12.2
· 54c9cfbc
dgelessus
authored
1 year ago
54c9cfbc
Jul 24, 2023
Switch to nightly version of ProB
· 2fa53341
dgelessus
authored
1 year ago
2fa53341
Update to new name for probcli_windows64
· 206417f0
dgelessus
authored
1 year ago
206417f0
Jul 14, 2023
Re-enable deleting old files in nightly update site
· 1cbbb029
dgelessus
authored
1 year ago
1cbbb029
Jul 03, 2023
Remove static Activator.plugin fields where not used
· 7c1cccc9
dgelessus
authored
1 year ago
7c1cccc9
Make tests not depend on org.eclipse.ui
· 58c8b655
dgelessus
authored
1 year ago
58c8b655
Remove unused tycho_build.gradle exclude properties
· 3e175954
dgelessus
authored
1 year ago
3e175954
Remove some not very useful helpers from tycho_build.gradle
· 935f0988
dgelessus
authored
1 year ago
935f0988
Remove unused tycho_build.gradle code for creating a product
· 5324f639
dgelessus
authored
1 year ago
5324f639
Remove no longer used properties related to categories
· c29c3f58
dgelessus
authored
1 year ago
c29c3f58
Remove defaults for a few properties in tycho_build.gradle
· 094a26a9
dgelessus
authored
1 year ago
094a26a9
Remove disprover core's dependency on org.eclipse.ui
· d29dbc43
dgelessus
authored
1 year ago
d29dbc43
Remove symbolic plugin's dependencies on main ProB plugin
· 244ed578
dgelessus
authored
1 year ago
244ed578
Put all features in the same category instead of one per feature
· 361b97b2
dgelessus
authored
1 year ago
361b97b2
Fix a dependency not being listed in feature.xml
· 7a460925
dgelessus
authored
1 year ago
7a460925
Remove Export-Package uses directives from BMotionStudio manifest
· e648d6d8
dgelessus
authored
1 year ago
e648d6d8
Remove unused org.eclipse.help dependency from BMotionStudio
· 96b9359d
dgelessus
authored
1 year ago
96b9359d
Update all dependencies to Rodin 3.6 as the minimum
· 4a12e392
dgelessus
authored
1 year ago
4a12e392
Sort all the dependencies alphabetically
· f1f3552e
dgelessus
authored
1 year ago
f1f3552e
Jun 30, 2023
Update minimum Java version to Java 11
· 1f69744b
dgelessus
authored
1 year ago
1f69744b
Update prob_target.target to current repository URLs and unit versions
· 0c8d02c5
dgelessus
authored
1 year ago
0c8d02c5
Remove support for BMotionStudio Groovy observer scripts
· 03d0d35a
dgelessus
authored
1 year ago
03d0d35a
Switch to current Eclipse update site and remove old Tycho workaround
· 8f3126f5
dgelessus
authored
1 year ago
8f3126f5
Update Tycho to version 2.7.5 (requires Java 11 or newer for building)
· d1bf17c2
dgelessus
authored
1 year ago
d1bf17c2
Jun 29, 2023
Update Groovy to version 2.5.22 for compatibility with Java 9 and newer
· 68bd3ff3
dgelessus
authored
1 year ago
68bd3ff3
Fix missing def in tycho_build.gradle
· dc199f3b
dgelessus
authored
1 year ago
dc199f3b
Remove Pokémon catch blocks in tycho_build.gradle
· f4f20818
dgelessus
authored
1 year ago
f4f20818
Re-enable external observer script option in BMotionStudio
· fc279bed
dgelessus
authored
1 year ago
fc279bed
Download Groovy from Maven Central instead of using jars in repo
· be16f3f1
dgelessus
authored
1 year ago
be16f3f1
Update instructions for updating dependencies
· a1da71fa
dgelessus
authored
1 year ago
a1da71fa
Update XStream to version 1.4.20
· f18ef752
dgelessus
authored
1 year ago
f18ef752
Move XStream dependencies to BMotionStudio and stop exporting them
· ae7d7084
dgelessus
authored
1 year ago
ae7d7084
Remove apparently unused cosimulation/FMI/FMU stuff
· 87766366
dgelessus
authored
1 year ago
87766366
Remove old PMD stuff
· 71612fe5
dgelessus
authored
1 year ago
71612fe5
Remove no longer existing dependencies from MANIFEST.MF and .classpath
· 170304be
dgelessus
authored
1 year ago
170304be
Replace Apache Commons Lang with standard library solutions
· 19dbb45d
dgelessus
authored
1 year ago
19dbb45d
Remove unused TheoryTranslator which just prints stuff
· a4b0b11a
dgelessus
authored
1 year ago
a4b0b11a
Remove ExportClassicHandler (identical to ExportNewCoreHandler)
· 75db9368
dgelessus
authored
1 year ago
75db9368
Jun 28, 2023
Remove more commented out XML export/serialization stuff
· bdd87f79
dgelessus
authored
1 year ago
bdd87f79
Loading