Commits · c20b6612c2cfca7ef0025c75fc438ab26f03643b · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Sep 27, 2022
- Switch Eclipse and Rodin repository URLs to HTTPS · c20b6612
  dgelessus authored Sep 27, 2022
  
  c20b6612
- Update RecursiveMachineLoader.loadAllMachines to new signature · d8a58c0b
  dgelessus authored Sep 27, 2022
  
  d8a58c0b
- Update to new B parser exception class · ca9c5d21
  dgelessus authored Sep 27, 2022
  
  ca9c5d21
- Remove ISO-8859-1-encoded non-breaking spaces in a few source files · e392d2c3
  dgelessus authored Sep 27, 2022
  
  e392d2c3
- Convert line endings from CRLF to LF · 39348561
  dgelessus authored Sep 27, 2022
  
  39348561
- Try updating to parser version 2.9.23 · 64a3fd1a
  dgelessus authored Sep 27, 2022
  64a3fd1a
Sep 26, 2022
- Update CI deployment image to current version · 78226526
  dgelessus authored Sep 26, 2022
  
  78226526
- Update parser versions in all the other places · 05fd8bff
  dgelessus authored Sep 26, 2022
  
  05fd8bff
- Try updating to parser version 2.5.6 again · 956a7d94
  dgelessus authored Sep 26, 2022
  
  956a7d94
Sep 25, 2022
- add support for basic ProB types REAL and FLOAT · 72831a46
  Michael Leuschel authored Sep 25, 2022
  72831a46
Sep 21, 2022
- exception when expression in recursive op case empty · c74ec30d
  Michael Leuschel authored Sep 21, 2022
  c74ec30d
- change text · 890e9374
  Michael Leuschel authored Sep 21, 2022
  890e9374
May 03, 2022
- Update Gradle wrapper to version 7.4.2 · dbfd070e
  dgelessus authored May 3, 2022
  
  dbfd070e
- Try merging de.prob.core/build.gradle into the top-level one · 85f6665d
  dgelessus authored May 3, 2022
  
  85f6665d
- Configure whitelist for XStream 1.4.18 and later · 33bd25fa
  dgelessus authored May 3, 2022
  
  33bd25fa
- Remove duplicate old parser versions from MANIFEST.MF classpath · 411eacb2
  dgelessus authored May 3, 2022
  
  411eacb2
- Remove changing: true from other build.gradle as well · b0035a2c
  dgelessus authored May 3, 2022
  
  b0035a2c
- Remove unused cliparser dependency from more places · ebc594e5
  dgelessus authored May 3, 2022
  
  ebc594e5
- Remove unneeded changing: true setting from parser dependencies · c28e51c0
  dgelessus authored May 3, 2022
  
  c28e51c0
- Remove apparently unused cliparser dependency · 38bd6a9a
  dgelessus authored May 3, 2022
  
  38bd6a9a
- Add dependency entries for MXParser (XStream's new default parser) · 339365e5
  dgelessus authored May 3, 2022
  
  339365e5
May 02, 2022
- Remove apparently no longer used transitive dependency on xpp3 · aa7141a1
  dgelessus authored May 2, 2022
  
  aa7141a1
- Update instructions for updating dependencies · 625d2451
  dgelessus authored May 2, 2022
  
  625d2451
- Update XStream dependency in MANIFEST.MF as well · b06e4598
  dgelessus authored May 2, 2022
  
  b06e4598
- Add comments explaining how to update dependencies · ad8c68e4
  dgelessus authored May 2, 2022
  
  ad8c68e4
- Also update XStream version in .classpath · b36188fd
  dgelessus authored May 2, 2022
  
  b36188fd
- Update XStream to hopefully fix Java 17 compatibility · 453ff4cf
  dgelessus authored May 2, 2022
  
  453ff4cf
Aug 09, 2021
- Remove windowslib64.zip download · e91260f5
  dgelessus authored Aug 9, 2021
  e91260f5
- Remove 32-bit Linux probcli download · 72834dc6
  dgelessus authored Aug 9, 2021
  72834dc6
Aug 06, 2021
- Remove duplicate downloadCli2 task · 26453f88
  dgelessus authored Aug 6, 2021
  26453f88
Jul 23, 2021
- Replace uses of deprecated compile configuration · bea23b5c
  dgelessus authored Jul 23, 2021
  
  bea23b5c
- Update Gradle wrapper to version 6.8.1 · a9a649b4
  dgelessus authored Jul 23, 2021
  
  a9a649b4
- Fix dubious indents and formatting in Gradle scripts · 77e913c1
  dgelessus authored Jul 23, 2021
  
  77e913c1
Jul 22, 2021
- Update Maven download URL and verify file checksums · 012a9ec3
  dgelessus authored Jul 22, 2021
  
  012a9ec3
Jun 29, 2021
- Try to force Maven to access Maven Central over HTTPS · 84e56aaf
  dgelessus authored Jun 29, 2021
  
  84e56aaf
- Fix Maven download in .gitlab-ci.yml · cccb2624
  dgelessus authored Jun 29, 2021
  
  cccb2624
- Remove probably unneeded mavenrc delete command from .gitlab-ci.yml · ed113767
  dgelessus authored Jun 29, 2021
  
  ed113767
- Switch from Travis CI to GitLab CI · 2a34250e
  dgelessus authored Jun 29, 2021
  
  2a34250e
- try and switch to windows 64-bit version · cf9bcf56
  Michael Leuschel authored Jun 29, 2021
  
  cf9bcf56
Jun 27, 2021
- add todo · fd4145d5
  Michael Leuschel authored Jun 27, 2021
  
  fd4145d5