Commits · 0284222ece5b23db277ff9eb2911bb52d1a01e8a · general / stups / B Language Server

Nov 11, 2022
- changed file handling to use File and fixed output location · dd7b830b
  sebastian authored 2 years ago
  
  dd7b830b
- changed file handling to use File and fixed output location · d37b77e5
  sebastian authored 2 years ago
  
  d37b77e5
Nov 10, 2022
- fixed failing test · 4ad793fd
  sebastian authored 2 years ago
  
  4ad793fd
- fixed windows related bugs · 29c1ffbb
  sebastian authored 2 years ago
  
  29c1ffbb
- fixed bug when a Windows system has multiple roots · fcd2cc48
  sebastian authored 2 years ago
  
  fcd2cc48
- windows debug message · f017bc5f
  sebastian authored 2 years ago
  
  f017bc5f
- fixed failing tests · 3f94cfca
  sebastian authored 2 years ago
  
  3f94cfca
- changed file representation for test purposes · 93b708d3
  sebastian authored 2 years ago
  
  93b708d3
Nov 09, 2022
- fixed syntax · 36053d45
  sebastian authored 2 years ago
  
  36053d45
- 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
- fixed failing test · ee7ae730
  sebastian authored 2 years ago
  
  ee7ae730
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
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
- 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
- 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
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
Aug 24, 2020
- solved problem where stdout was shadowed by prob2_kernel · 501dda02
  SeeBasTStick authored 4 years ago
  
  501dda02
Aug 19, 2020
- save commit · 4bcc7446
  SeeBasTStick authored 4 years ago
  
  4bcc7446
Aug 17, 2020
- added prob2 kernel access and some tests · 594cd2f6
  SeeBasTStick authored 4 years ago
  
  594cd2f6
Aug 15, 2020
- removed dead code · 7b843733
  SeeBasTStick authored 4 years ago
  
  7b843733