Skip to content
Snippets Groups Projects
Commit 970a0acc authored by SeeBasTStick's avatar SeeBasTStick
Browse files

prepared v.1.0.0

parent 82231fd7
No related branches found
No related tags found
No related merge requests found
...@@ -67,3 +67,9 @@ ...@@ -67,3 +67,9 @@
- improved error feedback for failing call to probcli - improved error feedback for failing call to probcli
- improved error feedback for wrong format of the _error.json file - improved error feedback for wrong format of the _error.json file
- _error.json will now dumpend in a /tmp/ folder - _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
...@@ -11,6 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t ...@@ -11,6 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t
## Requirements ## Requirements
- Latest nightly build of ProB. - Latest nightly build of ProB.
- Java v.11 or higher
## Extension Settings ## Extension Settings
...@@ -21,81 +22,25 @@ This extension contributes the following 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.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.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.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
To ensure expected behavior deactivate/activate settings in the User and Worksapce Tab.
Please note that user settings overwrite workspace settings.
## Bugs ## Bugs
- please open an issue at https://github.com/SeeBasTStick/b-language-extension - 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 ## Future plans
- Linter Support (via Server, is still in development by Mircosoft https://microsoft.github.io/language-server-protocol/specifications/specification-3-16/) - 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 - 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 ## Release Notes
### 1.0.0
### 0.0.1 - switched to Java Server and will be able to access ProB Kernel library.
- server has no debug option and output
- First prototype minimum features \ No newline at end of file
### 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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment