diff --git a/CHANGELOG.md b/CHANGELOG.md index fb8e7cec432aaa54dae4e498b1ab98a7744118ba..402b917db626b66ff1db6471befbe5cdf5077ed2 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -66,4 +66,10 @@ - added snippets - improved error feedback for failing call to probcli - improved error feedback for wrong format of the _error.json file -- _error.json will now dumpend in a /tmp/ folder \ No newline at end of file +- _error.json will now dumpend 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 \ No newline at end of file diff --git a/README.md b/README.md index 757df35f7a653ab3628751c8835ff4d3eb8b248b..9b0c1c66f7b21d20046487dd324dc7db4c8c2e7c 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ## Requirements - Latest nightly build of ProB. +- Java v.11 or higher ## Extension Settings @@ -21,81 +22,25 @@ This extension contributes the following settings: * `languageServer.wdChecks`: to enable/disable WD (Well-Definedness) Checks. Make sure to enable/disable for the current workspace too. * `languageServer.strictChecks`: to enable/disable stricter Checks. Make sure to enable/disable for the current workspace too. * `languageServer.performanceHints`: to enable/disable performance-related Hints. Make sure to enable/disable for the current workspace too. +* `languageServer.debugMode`: to enable/disable the server log - -Please note that user settings overwrite workspace settings. +To ensure expected behavior deactivate/activate settings in the User and Worksapce Tab. ## Bugs - please open an issue at https://github.com/SeeBasTStick/b-language-extension +## Server +The language server can be found here https://github.com/SeeBasTStick/b-language-server. + ## Future plans - Linter Support (via Server, is still in development by Mircosoft https://microsoft.github.io/language-server-protocol/specifications/specification-3-16/) - Quickfix support aká Code Completion -- Switch to Java Server +- Compelation and Feedback via ProB Java kernel instead of cli calls. (will improve performance and give access to more features) ## Release Notes +### 1.0.0 -### 0.0.1 - -- First prototype minimum features - -### 0.0.2 - -- Added option to set ProB path - - -### 0.0.3 - -- README fix - - -### 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 a old version of proB - - -### 0.1.0 - -- added more sound auto compeltion -- added WD cheks -- 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 (big thanks to: https://github.com/wysiib/language-b-eventb) - - -### 0.5.3 - -- reworked error messages to be more managable - - -### 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 will now dumpend in a /tmp/ folder \ No newline at end of file +- switched to Java Server and will be able to access ProB Kernel library. +- server has no debug option and output \ No newline at end of file