diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2c26dfa88597bc47c733c94787e6e6fc74cf601a..455b05a01496a4f3c7ead4462c4a348231d91fb2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -97,4 +97,10 @@
## [2.0.0]
- keyword support for new proB features: REAL, real, floor, ceiling
-- now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up
\ No newline at end of file
+- now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up
+
+
+## [2.0.1]
+
+- bug fix regarding completion
+- stability improvements
\ No newline at end of file
diff --git a/README.md b/README.md
index 2fd8d7906e5024824cbf0218eddea0268770abe5..ac6393e0ecb0f1aa2d80713c813d8cd8b43efbf6 100644
--- a/README.md
+++ b/README.md
@@ -39,7 +39,11 @@ The language server can be found here https://github.com/SeeBasTStick/b-language
## Release Notes
-### 2.0.0
+### 2.0.1
-- keyword support for new proB features: REAL, real, floor, ceiling
-- now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up
\ No newline at end of file
+- bug fixes reading statespacel life cycle
+
+
+## Acknowledgements
+
+- big thanks to Sebastian Krings for providing his snippets.
\ No newline at end of file
diff --git a/package-lock.json b/package-lock.json
index f27dc93896aef37d00d170c2ff02ce31b480d09a..7aea7ee54b0b120d6a01a7629bf5302a615495cc 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -44,9 +44,9 @@
}
},
"@eslint/eslintrc": {
- "version": "0.1.3",
- "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-0.1.3.tgz",
- "integrity": "sha512-4YVwPkANLeNtRjMekzux1ci8hIaH5eGKktGqR0d3LWsKNn5B2X/1Z6Trxy7jQXl9EBGE6Yj02O+t09FMeRllaA==",
+ "version": "0.2.1",
+ "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-0.2.1.tgz",
+ "integrity": "sha512-XRUeBZ5zBWLYgSANMpThFddrZZkEbGHgUdt5UJjZfnlN9BGCiUBrf+nvbRupSjMvqzwnQN0qwCmOxITt1cfywA==",
"dev": true,
"requires": {
"ajv": "^6.12.4",
@@ -89,9 +89,9 @@
}
},
"@types/node": {
- "version": "14.11.10",
- "resolved": "https://registry.npmjs.org/@types/node/-/node-14.11.10.tgz",
- "integrity": "sha512-yV1nWZPlMFpoXyoknm4S56y2nlTAuFYaJuQtYRAOU7xA/FJ9RY0Xm7QOkaYMMmr8ESdHIuUb6oQgR/0+2NqlyA=="
+ "version": "14.14.5",
+ "resolved": "https://registry.npmjs.org/@types/node/-/node-14.14.5.tgz",
+ "integrity": "sha512-H5Wn24s/ZOukBmDn03nnGTp18A60ny9AmCwnEcgJiTgSGsCO7k+NWP7zjCCbhlcnVCoI+co52dUAt9GMhOSULw=="
},
"@types/stream-to-array": {
"version": "2.3.0",
@@ -250,8 +250,8 @@
"integrity": "sha1-rqdNXmHB+JlhO/ZL2mbUx48v0X0="
},
"b-language-server": {
- "version": "https://github.com/SeeBasTStick/b-language-server/archive/v2.0.5.tar.gz",
- "integrity": "sha512-TIDJVHo8A6T4/gIjrJnzxvMIxISAWLRsgKWTkYrFxWWcJkE4fZMzEiT5I+j8HY3y/5aiLZ6pHUynuTJmqaV+2g=="
+ "version": "https://github.com/SeeBasTStick/b-language-server/archive/v2.1.0.tar.gz",
+ "integrity": "sha512-lzDTM3heNsJiWDrG7jFYY2eAq/2t9GhG0t8zEkXWo6UqeC+Nwnzja6px9gi6rHrKAX+hT/gg2olzI2GlNtEITw=="
},
"balanced-match": {
"version": "1.0.0",
@@ -604,13 +604,13 @@
"dev": true
},
"eslint": {
- "version": "7.11.0",
- "resolved": "https://registry.npmjs.org/eslint/-/eslint-7.11.0.tgz",
- "integrity": "sha512-G9+qtYVCHaDi1ZuWzBsOWo2wSwd70TXnU6UHA3cTYHp7gCTXZcpggWFoUVAMRarg68qtPoNfFbzPh+VdOgmwmw==",
+ "version": "7.12.1",
+ "resolved": "https://registry.npmjs.org/eslint/-/eslint-7.12.1.tgz",
+ "integrity": "sha512-HlMTEdr/LicJfN08LB3nM1rRYliDXOmfoO4vj39xN6BLpFzF00hbwBoqHk8UcJ2M/3nlARZWy/mslvGEuZFvsg==",
"dev": true,
"requires": {
"@babel/code-frame": "^7.0.0",
- "@eslint/eslintrc": "^0.1.3",
+ "@eslint/eslintrc": "^0.2.1",
"ajv": "^6.10.0",
"chalk": "^4.0.0",
"cross-spawn": "^7.0.2",
@@ -1615,9 +1615,9 @@
}
},
"run-script-os": {
- "version": "1.1.1",
- "resolved": "https://registry.npmjs.org/run-script-os/-/run-script-os-1.1.1.tgz",
- "integrity": "sha512-tM3mfchUIpo9WOFioO3eO/lTgRbtqcqBmSkkqfkjXmxn7vvhwykOXxOOKIXFP+ZConvLsS5KskM3yX+XBfDD4g=="
+ "version": "1.1.3",
+ "resolved": "https://registry.npmjs.org/run-script-os/-/run-script-os-1.1.3.tgz",
+ "integrity": "sha512-xPlzE6533nvWVea5z7e5J7+JAIepfpxTu/HLGxcjJYlemVukOCWJBaRCod/DWXJFRIWEFOgSGbjd2m1QWTJi5w=="
},
"safe-buffer": {
"version": "5.1.2",
@@ -1979,9 +1979,9 @@
}
},
"vscode-test": {
- "version": "1.4.0",
- "resolved": "https://registry.npmjs.org/vscode-test/-/vscode-test-1.4.0.tgz",
- "integrity": "sha512-Jt7HNGvSE0+++Tvtq5wc4hiXLIr2OjDShz/gbAfM/mahQpy4rKBnmOK33D+MR67ATWviQhl+vpmU3p/qwSH/Pg==",
+ "version": "1.4.1",
+ "resolved": "https://registry.npmjs.org/vscode-test/-/vscode-test-1.4.1.tgz",
+ "integrity": "sha512-Ls7+JyC06cUCuomlTYk4aNJI00Rri09hgtkNl3zfQ1bj6meXglpSPpuzJ/RPNetlUHFMm4eGs0Xr/H5pFPVwfQ==",
"requires": {
"http-proxy-agent": "^2.1.0",
"https-proxy-agent": "^2.2.4",
diff --git a/package.json b/package.json
index b5c64d0daa9a0215fede5b1ea62c4ddd9f5d439b..6ea267b22221481991f8dbd78ee536357427f573 100644
--- a/package.json
+++ b/package.json
@@ -146,9 +146,9 @@
},
"devDependencies": {
"@types/mocha": "^7.0.2",
- "@types/node": "^14.11.2",
+ "@types/node": "^14.14.5",
"@typescript-eslint/parser": "^2.34.0",
- "eslint": "^7.9.0",
+ "eslint": "^7.12.1",
"mocha": "^7.2.0",
"typescript": "^3.9.7"
},
@@ -156,7 +156,7 @@
"@types/ndjson": "^1.5.0",
"@types/stream-to-array": "^2.3.0",
"@types/vscode": "^1.49.0",
- "b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v2.0.5.tar.gz",
+ "b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v2.1.0.tar.gz",
"clean": "^4.0.2",
"error": "^10.4.0",
"fs": "0.0.1-security",
@@ -165,7 +165,7 @@
"net": "^1.0.2",
"path": "^0.12.7",
"portastic": "^1.0.1",
- "run-script-os": "^1.1.1",
+ "run-script-os": "^1.1.3",
"stream-to-array": "^2.3.0",
"tcp-port-used": "^1.0.1",
"ts-xor": "^1.0.8",
@@ -173,7 +173,7 @@
"vscode-languageclient": "^6.1.3",
"vscode-languageserver-protocol": "^3.15.3",
"vscode-read-manifest": "^0.5.1",
- "vscode-test": "^1.4.0",
+ "vscode-test": "^1.4.1",
"vscode-uri": "^2.1.2",
"without": "^1.2.3"
}
diff --git a/snippets/classicalb_snippets.json b/snippets/classicalb_snippets.json
index d1ae517cbd97a0d322755132f4f88f3d4c07efcc..d8c4e80b1d2c4212c9647b9220ffd0fea18ac79d 100644
--- a/snippets/classicalb_snippets.json
+++ b/snippets/classicalb_snippets.json
@@ -76,6 +76,15 @@
"prefix": "choice",
"body": "CHOICE\n\t${1:G}\nOR\n\t${2:H}\nEND"
},
+ "TRUE":{
+ "prefix": "TRUE",
+ "body": "TRUE"
+ },
+ "FALSE":{
+ "prefix": "FALSE",
+ "body": "FALSE"
+ },
+
"Set Pref MININT": {
"prefix": "set minint",
"body": "SET_PREF_MININT == ${1:n};"