Commits · f66b015f61bdd58a0894f29d55bb56e4a8aefcf5 · general / stups / B Language Server

Nov 09, 2022
- removed deprecated ProB exceptions · f66b015f
  sebastian authored 2 years ago
  
  f66b015f
- fixed failing test · d78cce31
  sebastian authored 2 years ago
  
  d78cce31
- fixed failing test · c0741755
  sebastian authored 2 years ago
  
  c0741755
- added operating systems · 6a1814f1
  sebastian authored 2 years ago
  
  6a1814f1
- fixed failing test · ee7ae730
  sebastian authored 2 years ago
  
  ee7ae730
- added yaml to create CI · ae32fb90
  sebastian authored 2 years ago
  
  ae32fb90
Oct 31, 2020
- small clean up · b04b7147
  SeeBasTStick authored 4 years ago
  
  View commits for tag v2.1.1 v2.1.1
  
  b04b7147
- clean up · ec49206d
  SeeBasTStick authored 4 years ago
  
  ec49206d
- fixed problems with resetting documents + tests · d82a07e2
  SeeBasTStick authored 4 years ago
  
  d82a07e2
- Merge branch 'prob2_connection' · d82045f5
  SeeBasTStick authored 4 years ago
  d82045f5
Oct 28, 2020
- removed anonymous function and unused feature - both leading to problems · dc961daf
  SeeBasTStick authored 4 years ago
  
  View commits for tag v2.1.0 v2.1.0
  
  dc961daf
Oct 21, 2020
- added more debug messages · 85d43791
  SeeBasTStick authored 4 years ago
  
  View commits for tag v2.0.5 v2.0.5
  
  85d43791
Oct 20, 2020
- added dynamic port allocation · af360452
  SeeBasTStick authored 4 years ago
  
  af360452
- small change to account for changed setting names in the client · e2640e5c
  SeeBasTStick authored 4 years ago
  
  View commits for tag v2.0.2 v2.0.2
  
  e2640e5c
- comment private test settings and bumped up version · 2adbde7d
  SeeBasTStick authored 4 years ago
  
  View commits for tag v2.0.1 v2.0.1
  
  2adbde7d
- made debug message more clear · d6128d34
  SeeBasTStick authored 4 years ago
  
  View commits for tag v2.0.0 v2.0.0
  
  d6128d34
Oct 18, 2020
- added messages as error type · 75639302
  SeeBasTStick authored 4 years ago
  
  75639302
- fixed heavy bug concerning errors without span info would not shown as result · 2a466665
  SeeBasTStick authored 4 years ago
  
  2a466665
Sep 22, 2020
- added information from probKernel · a2f921f0
  SeeBasTStick authored 4 years ago
  
  a2f921f0
Sep 03, 2020
- added tests · d3629399
  SeeBasTStick authored 4 years ago
  
  d3629399
- more infos for readme · 6c4ec778
  SeeBasTStick authored 4 years ago
  
  6c4ec778
- code beautification · 8ef83cfd
  SeeBasTStick authored 4 years ago
  
  8ef83cfd
- cleanup and todos · 847d20b5
  SeeBasTStick authored 4 years ago
  
  847d20b5
- removed unused file · 908deba8
  SeeBasTStick authored 4 years ago
  
  908deba8
- some documentation · a25eb6dd
  SeeBasTStick authored 4 years ago
  
  a25eb6dd
- pimped up jvm target from 1.6 to 1.8 · a9075c3b
  SeeBasTStick authored 4 years ago
  
  a9075c3b
Sep 01, 2020
- removed unused/useless setting · 22d60847
  SeeBasTStick authored 4 years ago
  
  View commit 22d60847 2 tags
  
  22d60847
- cleaning up unused code · ab37ec4d
  SeeBasTStick authored 4 years ago
  
  ab37ec4d
- properly voiding the output and error stream of the process · d79ccdd9
  SeeBasTStick authored 4 years ago
  
  d79ccdd9
- implementation of prob2 kernel connection · 0ce436b5
  SeeBasTStick authored 4 years ago
  
  0ce436b5
Aug 26, 2020
- fixed bug where errors from sub files were wrongly shown in the main file · 0776dbb0
  SeeBasTStick authored 4 years ago
  
  0776dbb0
- added feedback when evaluation ist done · 1880b66c
  SeeBasTStick authored 4 years ago
  
  1880b66c
- added probcli version · 83c59a1a
  SeeBasTStick authored 4 years ago
  
  83c59a1a
- fixed error with -lint · 42613c21
  SeeBasTStick authored 4 years ago
  
  42613c21
- added node_module to gitignore · 51815119
  SeeBasTStick authored 4 years ago
  
  51815119
- small fixes · 9e69a3ad
  SeeBasTStick authored 4 years ago
  
  9e69a3ad
- moved installation script from client to server · 4e9e8a6b
  SeeBasTStick authored 4 years ago
  
  4e9e8a6b
- removed git version dependency causing build errors · 85272dde
  SeeBasTStick authored 4 years ago
  
  85272dde
- updated package.json · 9c2e6007
  SeeBasTStick authored 4 years ago
  
  9c2e6007
- added lsp folder to gitignore · 3a6d9eee
  SeeBasTStick authored 4 years ago
  
  3a6d9eee

Admin message