Commits · 4c194b0a4a42c80acf7facd88a833dd2db6cd99e · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Jul 02, 2024
- Update to Tycho 4.0.8 to try to fix "Content is not allowed in prolog" · 4c194b0a
  dgelessus authored 1 year ago
  4c194b0a
- Fix new compilation errors related to getChildren() list types · 062c2449
  dgelessus authored 1 year ago
  062c2449
- Update to Tycho 3.0.5 to make tests work again · 4056f04d
  dgelessus authored 1 year ago
  4056f04d
- Comment out an observer that seems to be unused · 8873b897
  dgelessus authored 1 year ago
  8873b897
- Replace uses of deprecated Eclipse APIs that were removed in Rodin 3.9 · 56b39c48
  dgelessus authored 1 year ago
  56b39c48
Jul 01, 2024
- Update CI to Java 17 as required by Rodin 3.9's Eclipse version · b5eb4301
  dgelessus authored 1 year ago
  
  b5eb4301
- Update Gradle wrapper to version 8.8 · c5e0ca5b
  dgelessus authored 1 year ago
  
  c5e0ca5b
- Switch back to release version 1.13.0 of probcli · 4023e12b
  dgelessus authored 1 year ago
  
  4023e12b
- Update Eclipse repository URL for Rodin 3.9 · c3385cc4
  dgelessus authored 1 year 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
- Move BMotion Studio menu items into relevant Eclipse menus · 32224f8a
  dgelessus authored 1 year ago
  32224f8a
- Remove more unused images/icons · 4ac14217
  dgelessus authored 1 year ago
  
  4ac14217
- Remove unused splash screen stuff · a6862051
  dgelessus authored 1 year ago
  
  a6862051
- Make features not import their own plugins · 37392d76
  dgelessus authored 1 year ago
  37392d76
- Fix ./gradlew clean deleting the entire de.prob.repository directory · a8f98cc9
  dgelessus authored 1 year ago
  
  a8f98cc9
- Bump all the version numbers for next version 3.1.2 · b04cad5b
  dgelessus authored 1 year ago
  
  b04cad5b
- Add category.xml to Git instead of generating it · 87fa0c5b
  dgelessus authored 1 year ago
  87fa0c5b
- Don't use explicit url and version in generated category.xml · c0249758
  dgelessus authored 1 year ago
  
  c0249758
- Switch to release version 1.13.0 of probcli · c688c318
  dgelessus authored 1 year ago
  
  c688c318
Feb 19, 2024
- Update parsers to version 2.13.0 · 6215ee3a
  dgelessus authored 1 year ago
  
  6215ee3a
Feb 14, 2024
- Fix indents · 1399c7aa
  dgelessus authored 1 year ago
  
  1399c7aa
- export comments of axioms and theorems · 61022245
  Michael Leuschel authored 1 year ago
  61022245
- export comments for invariants and invariant theorems · 9f2d6cad
  Michael Leuschel authored 1 year ago
  9f2d6cad
Feb 13, 2024
- Fix indents · db2dd98c
  dgelessus authored 1 year ago
  
  db2dd98c
Feb 08, 2024
- export comments of events · b9f0a4f1
  Michael Leuschel authored 1 year ago
  b9f0a4f1
- add tip to readme file · 21637c26
  Michael Leuschel authored 1 year ago
  21637c26
- Add .gitattributes · 48255017
  Miles Vella authored 1 year ago
  
  48255017
- update parser version also in manifest file · b4bb19f2
  Michael Leuschel authored 1 year ago
  b4bb19f2