Commits · 566fd98db531641df48443910e13d2d4377a5948 · general / stups / ProB Rodin Plugin

04 Sep, 2020 1 commit
- update copyright year · 566fd98d
  Michael Leuschel authored Sep 04, 2020
  
  566fd98d
28 Aug, 2020 1 commit
- adapt BMS website · e0d71d3a
  Michael Leuschel authored Aug 28, 2020
  
  e0d71d3a
27 Aug, 2020 14 commits
- update comment · e2f996ff
  Michael Leuschel authored Aug 27, 2020
  
  e2f996ff
- fix operator · 57ac22e8
  Michael Leuschel authored Aug 27, 2020
  
  57ac22e8
- add comment · e109580a
  Michael Leuschel authored Aug 27, 2020
  
  e109580a
- deal with null IProofMonitor in disprover · 694533fe
  Michael Leuschel authored Aug 27, 2020
```
seems to happen at startup of Rodin 3.5RC
```
  694533fe
- add missing semicolon · 0c6ed428
  Michael Leuschel authored Aug 27, 2020
  
  0c6ed428
- bump dependency for BMS GEF editor · ae083a9d
  Michael Leuschel authored Aug 27, 2020
  
  ae083a9d
- try improve disprover for null origin project · 7cd70548
  Michael Leuschel authored Aug 27, 2020
```
for Rodin 3.5RC startup
```
  7cd70548
- bum org.rodinp.core dependency further and update · 005e5e8b
  Michael Leuschel authored Aug 27, 2020
```
also disprover core
```
  005e5e8b
- bump org.rodinp.core version dependency in manifest files · 23438f0d
  Michael Leuschel authored Aug 27, 2020
  
  23438f0d
- revert to GEF 3.7.0 compatible dependency · e64ad046
  Michael Leuschel authored Aug 27, 2020
  
  e64ad046
- try and relax GEF dependency further · cbd9904f
  Michael Leuschel authored Aug 27, 2020
  
  cbd9904f
- try setting GEF dependency to 3.7.0 greaterOrEqual · cdad32b1
  Michael Leuschel authored Aug 27, 2020
  
  cdad32b1
- add comment · c8bd6d1f
  Michael Leuschel authored Aug 27, 2020
  
  c8bd6d1f
- relax dependency on org.rodinp.core to compatible · 4f2b21dd
  Michael Leuschel authored Aug 27, 2020
  
  4f2b21dd
18 Jul, 2020 2 commits
- remove slash in Readme · 81b44ea4
  Michael Leuschel authored Jul 18, 2020
  
  81b44ea4
- update readme · 42c9bd7a
  Michael Leuschel authored Jul 18, 2020
```
link for support
```
  42c9bd7a
07 Jul, 2020 3 commits
- another update to Readme · b1de3334
  Michael Leuschel authored Jul 07, 2020
  
  b1de3334
- update Readme · 32d04e93
  Michael Leuschel authored Jul 07, 2020
  
  32d04e93
- update copyright year · 80eb8664
  Michael Leuschel authored Jul 07, 2020
  
  80eb8664
02 Apr, 2020 1 commit
- change label of export POs menu command · 4151b64d
  Michael Leuschel authored Apr 02, 2020
  
  4151b64d
17 Dec, 2019 2 commits
- Revert "Upgrade parser (hope it works)" · c9241a8b
  Jens Bendisposto authored Dec 17, 2019
```
This reverts commit b4cdc428.
```
  c9241a8b
- Upgrade parser (hope it works) · b4cdc428
  Jens Bendisposto authored Dec 17, 2019
  
  b4cdc428
03 Dec, 2019 7 commits
- Revert parser to 2.5.1 · 62002eff
  Jens Bendisposto authored Dec 03, 2019
  
  62002eff
- Upgrade Parser to 2.5.4 · d0074528
  Jens Bendisposto authored Dec 03, 2019
  
  d0074528
- Upgrade parser to 2.5.4 · 6e676666
  Jens Bendisposto authored Dec 03, 2019
  
  6e676666
- try and set parser version to 2.5.1 · d3d6ee77
  Michael Leuschel authored Dec 03, 2019
```
2.5.6 and 2.6.3 were not working
```
  d3d6ee77
- try and set parser version to 2.5.6 · eaa8744f
  Michael Leuschel authored Dec 03, 2019
  
  eaa8744f
- try setting parser version to 2.6.3 · 1dd3c4c0
  Michael Leuschel authored Dec 03, 2019
  
  1dd3c4c0
- try and set parser version to 2.8.0 · 95281cc7
  Michael Leuschel authored Dec 03, 2019
  
  95281cc7
02 Dec, 2019 2 commits
- Revert · 7dc29600
  Jens Bendisposto authored Dec 02, 2019
  
  7dc29600
- Upgrade parser · 4a8e2c7c
  Jens Bendisposto authored Dec 02, 2019
  
  4a8e2c7c
26 Nov, 2019 5 commits
- get java -version info before launching ProB2UI · 94d9b7c9
  Michael Leuschel authored Nov 26, 2019
  
  94d9b7c9
- remove process.waitFor and exitValue() check, was blocking Rodin · 52a75e16
  Michael Leuschel authored Nov 26, 2019
  
  52a75e16
- direct output when launching ProB2UI to limited logger · c6cae908
  Michael Leuschel authored Nov 26, 2019
  
  c6cae908
- try to catch exitValue !=0 when starting ProB2UI · 9bf36c8b
  Michael Leuschel authored Nov 26, 2019
  
  9bf36c8b
- output some info to limited logger when opening ProB2UI · 7748fb36
  Michael Leuschel authored Nov 26, 2019
  
  7748fb36
25 Nov, 2019 2 commits
- try and put ProB2UI command output into console · ee696c08
  Michael Leuschel authored Nov 25, 2019
  
  ee696c08
- update Readme to point to correct Travis location · bdc3b1ce
  Michael Leuschel authored Nov 25, 2019
  
  bdc3b1ce