Skip to content

CHANGELOG.md

Latest commit

 

History

History
140 lines (75 loc) · 2.88 KB

CHANGELOG.md

File metadata and controls

140 lines (75 loc) · 2.88 KB

Change Log

0.0.1

  • first prototype version

0.0.2

  • option to add custom path

0.0.4

  • fixed bug in the package.json file leading to unnoticed server crash
  • added feedback when using an unreachable path
  • added feedback when using an old version of ProB

0.1.0

  • added more sound auto-completion
  • added WD checks
  • added strict checks

0.1.1

  • fixed issue where path was semi hard coded

0.2.0

  • recognizes correct file ending (.mch; .def; .imp; .ref; .sys)
  • no longer activates extension on normal text documents

0.3.0

  • added option for performance feedback
  • implemented 'info' as feedback type

0.5.0

  • added syntax highlighting

0.5.1

  • minor fixes

0.5.2

  • media fixes

0.5.3

  • reworked error messages to be more manageable

0.6.0

  • added snippets
  • improved error feedback for failing call to probcli
  • improved error feedback for wrong format of the _error.json file
  • _error.json is now dumped in a /tmp/ folder

1.0.0

  • switched to Java Server and will be able to access ProB Kernel library.
  • server has no debug option and output

1.0.1

  • debug mode is now disabled by default
  • debug console will now behave more reasonably
  • updated server version to take care of Windows and Mac problems

1.1.1

  • fixed bug where problems from sub machines where shown in the main machine
  • added an optical feedback when an evaluation is finished
  • added .rmch file extensions (still pretty much a prototype regarding coloring)
  • added file icons to identify files which can be processed by this plugin, note that icon themes are exclusive, selecting the new theme will disable all other themes: microsoft/vscode#14662

1.1.2

  • fixed bug where for longer outputs from probcli the system would not return causing a deadlock

2.0.0

  • keyword support for new ProB features: REAL, real, floor, ceiling
  • now uses prob2_kernel library instead of calling probcli directly; leads to noticeable performance gain after initial warm up

2.0.1

  • bug fix regarding completion
  • stability improvements

2.0.2

  • bug fixed that were introduced by not properly rebasing server branches
  • brought back notification when evaluation is done

2.0.4

  • dependencies updated

2.1.0

  • Updated to ProB 1.12.1
  • Now requires VSCode 1.67
  • Optimized dependencies

2.2.0

  • Updated to ProB 1.13.0
  • Updated keywords for B rules machines
  • Changed settings prefixes from languageServer and common to prob - this will reset existing settings, but avoids conflicts with other extensions
  • Fixed and expanded snippets for B relation/function operators

3.0.0

  • Rename the extension to hhu-stups.prob
  • Updated to ProB 1.15.0
  • Added highlighting for more B keywords (FREETYPES, WITNESS, template strings)
  • Added highlighting for B Rules DSL keywords (WHEN, ON_SUCCESS, UNCHECKED)

3.0.1 (not released yet)

  • (no changes yet)