Commits · 77510db5a4910e2af9522dfc27b29a1e09a53f1b · general / stups / B Language Extension

Browse files

Aug 08, 2020
- added debug option activation trigger · 77510db5
  SeeBasTStick authored Aug 8, 2020
  
  77510db5
Aug 06, 2020
- updated settings · 63ac9cc7
  SeeBasTStick authored Aug 6, 2020
  
  63ac9cc7
- fixed dependencies · 508b3ab5
  SeeBasTStick authored Aug 6, 2020
  
  508b3ab5
Aug 05, 2020
- removed unused code · 71ef1083
  SeeBasTStick authored Aug 5, 2020
  
  71ef1083
- added option for debugmode · 94533d27
  SeeBasTStick authored Aug 5, 2020
  
  94533d27
Aug 03, 2020
- changed request accepts · 298a0499
  SeeBasTStick authored Aug 3, 2020
  
  298a0499
Aug 02, 2020
- small changes to make code more readable · e593dc57
  SeeBasTStick authored Aug 2, 2020
  
  e593dc57
Jul 21, 2020
- changes at configuration + cleanup · 54b667ec
  SeeBasTStick authored Jul 21, 2020
  
  54b667ec
Jul 20, 2020
- updated dependencies · c08ca7a4
  SeeBasTStick authored Jul 20, 2020
  
  c08ca7a4
Jun 19, 2020
- 0.6.2 · cf4f285f
  SeeBasTStick authored Jun 19, 2020
  
  cf4f285f
- 0.6.1 · 6ff45593
  SeeBasTStick authored Jun 19, 2020
  
  6ff45593
Jun 14, 2020
- necessary changes to switch to java server · 060aeb14
  SeeBasTStick authored Jun 14, 2020
  
  060aeb14
Jun 11, 2020
- 0.6.0 · 110211eb
  SeeBasTStick authored Jun 11, 2020
  
  110211eb
- prepared v. 0.6.0 by updating changelog and readme · f17ffb2b
  SeeBasTStick authored Jun 11, 2020
  
  f17ffb2b
- added snippets · f2e53221
  SeeBasTStick authored Jun 11, 2020
  
  f2e53221
- added improved error messages when probcli is failing · d87ce6f9
  SeeBasTStick authored Jun 11, 2020
  
  d87ce6f9
- server now create a tmp folder to dump errors from prob · 745644cd
  SeeBasTStick authored Jun 11, 2020
  
  745644cd
Jun 10, 2020
- improved feedback for errors in the json. Will now display the line also · b079e357
  SeeBasTStick authored Jun 10, 2020
  
  b079e357
Jun 04, 2020
- adjusted changelog and readme to new version · 5b790d84
  SeeBasTStick authored Jun 4, 2020
  
  5b790d84
- 0.5.3 · 14065c1b
  SeeBasTStick authored Jun 4, 2020
  
  14065c1b
May 29, 2020
- fixed bug where errors where shwon at wrong position, in the wrong file, see... · 66f701c8
  SeeBasTStick authored May 29, 2020
  66f701c8
- added new way to deal with errors · 0326a091
  SeeBasTStick authored May 29, 2020
  
  0326a091
May 28, 2020
- save commit · 1a17cf82
  SeeBasTStick authored May 28, 2020
  
  1a17cf82
May 27, 2020
- 0.5.2 · 55b4c022
  SeeBasTStick authored May 27, 2020
  
  55b4c022
- fixed broken link · ec60b7a1
  SeeBasTStick authored May 27, 2020
  
  ec60b7a1
- 0.5.1 · ba4077f5
  SeeBasTStick authored May 27, 2020
  
  ba4077f5
- readme and changelog fix · 054a88e2
  SeeBasTStick authored May 27, 2020
  
  054a88e2
- 0.5.0 · 2cccf218
  SeeBasTStick authored May 27, 2020
  
  2cccf218
- prepared v.0.4.0 · 60b96b4d
  SeeBasTStick authored May 27, 2020
  
  60b96b4d
- 0.4.0 · fb218320
  SeeBasTStick authored May 27, 2020
  
  fb218320
May 26, 2020
- added syntax highlighting · 78692d4a
  SeeBasTStick authored May 26, 2020
  
  78692d4a
- renamed file to make description more fitting · 3f214d3d
  SeeBasTStick authored May 26, 2020
  
  3f214d3d
- beautifications · 517534e0
  SeeBasTStick authored May 26, 2020
  
  517534e0
- added code annotations for optionAdder script · 08c0e988
  SeeBasTStick authored May 26, 2020
  
  08c0e988
- added optionAddedScript · c876966d
  SeeBasTStick authored May 26, 2020
  
  c876966d
May 25, 2020
- 0.3.0 · 97184a19
  SeeBasTStick authored May 25, 2020
  
  97184a19
- updated changelog and readme for new version · 9530c119
  SeeBasTStick authored May 25, 2020
  
  9530c119
- added back language recognition · 8f900b84
  SeeBasTStick authored May 25, 2020
  
  8f900b84
- Merge branch 'master' of github.com:hhu-stups/b-eventb-language-extension · a83e229e
  SeeBasTStick authored May 25, 2020
  
  a83e229e
- added performance hints and information · e34b6bba
  SeeBasTStick authored May 25, 2020
  
  e34b6bba