Commits · 8bbb1be126cc1c63064f8908c680e560ad9b0c60 · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

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
Dec 05, 2022
- Remove (Get|Set)PrologRandomSeed which do nothing · a32f6deb
  dgelessus authored 2 years ago
  a32f6deb
- Remove no longer used units plugin code · c2449854
  dgelessus authored 2 years ago
  c2449854
Dec 02, 2022
- Revert "Don't set PROB_HOME envvar for probcli process" · f7031276
  dgelessus authored 2 years ago
  f7031276
- Don't set PROB_HOME envvar for probcli process · 0cb52c92
  dgelessus authored 2 years ago
  0cb52c92
- Don't set TRAILSTKSIZE and PROLOGINCSIZE envvars for probcli process · 61498546
  dgelessus authored 2 years ago
  61498546
- Remove unused debugging key generation and passing · d0fa48a0
  dgelessus authored 2 years ago
  d0fa48a0
Dec 01, 2022
- Set ProB binaries as executable instead of using sh as a helper · f1671dc8
  dgelessus authored 2 years ago
  
  f1671dc8
- Delete leftover generated (?) MF file · d7202358
  dgelessus authored 2 years ago
  
  d7202358
- Remove commented out code in CliStarter · 77968f15
  dgelessus authored 2 years ago
  
  77968f15
Oct 24, 2022
- Fix missed getOsInfo call · 4774dfef
  dgelessus authored 2 years ago
  
  4774dfef
- Refactor CliStarter.getOsInfo · 1df5ebcd
  dgelessus authored 2 years ago
  
  1df5ebcd
- Remove dead 32-bit Linux handling from CliStarter · d5e76ef3
  dgelessus authored 2 years ago
  
  d5e76ef3
- Update CliStarter to new send_user_interrupt path · e520a8d9
  dgelessus authored 2 years ago
  
  e520a8d9
Sep 28, 2022
- Update parser to version 2.12.1 · 8710ae2b
  dgelessus authored 2 years ago
  
  8710ae2b
Sep 27, 2022
- Update Tycho to version 1.7.0 · d54cf9b1
  dgelessus authored 2 years ago
  
  d54cf9b1
- Install Maven using apt-get instead of downloading it manually · e508adff
  dgelessus authored 2 years ago
  e508adff
- Try updating to Maven 3.6.3 · 8b4e58c7
  dgelessus authored 2 years ago
  8b4e58c7
- Try updating to Maven 3.5.4 · e9db1b1b
  dgelessus authored 2 years ago
  e9db1b1b
- Try updating to Maven 3.3.9 · 1c5dc15c
  dgelessus authored 2 years ago
  
  1c5dc15c
- Try updating to Maven 3.2.5 · dbf8327e
  dgelessus authored 2 years ago
  dbf8327e
- Try updating to next newer Maven version to see what breaks · 1c85d95b
  dgelessus authored 2 years ago
  
  1c85d95b
- Set Tycho version explicitly for all plugins · 66d8200e
  dgelessus authored 2 years ago
  66d8200e
- Update parser to version 2.12.0 · 598de7be
  dgelessus authored 2 years ago
  
  598de7be
- Switch Eclipse and Rodin repository URLs to HTTPS · c20b6612
  dgelessus authored 2 years ago
  
  c20b6612
- Update RecursiveMachineLoader.loadAllMachines to new signature · d8a58c0b
  dgelessus authored 2 years ago
  
  d8a58c0b
- Update to new B parser exception class · ca9c5d21
  dgelessus authored 2 years ago
  
  ca9c5d21
- Remove ISO-8859-1-encoded non-breaking spaces in a few source files · e392d2c3
  dgelessus authored 2 years ago
  
  e392d2c3
- Convert line endings from CRLF to LF · 39348561
  dgelessus authored 2 years ago
  
  39348561
- Try updating to parser version 2.9.23 · 64a3fd1a
  dgelessus authored 2 years ago
  64a3fd1a
Sep 26, 2022
- Update CI deployment image to current version · 78226526
  dgelessus authored 2 years ago
  
  78226526
- Update parser versions in all the other places · 05fd8bff
  dgelessus authored 2 years ago
  
  05fd8bff
- Try updating to parser version 2.5.6 again · 956a7d94
  dgelessus authored 2 years ago
  
  956a7d94
Sep 25, 2022
- add support for basic ProB types REAL and FLOAT · 72831a46
  Michael Leuschel authored 2 years ago
  72831a46
Sep 21, 2022
- exception when expression in recursive op case empty · c74ec30d
  Michael Leuschel authored 2 years ago
  c74ec30d