Unverified Commit 540cd6a8 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

verifpal-vscode 1.0.0

parent 9cf4fa23
......@@ -5,6 +5,13 @@
# Change Log
## 1.0.0
- Add live analysis support (requires Verifpal 0.13.0 or higher).
- Add formatting support (requires Verifpal 0.13.0 or higher).
- Add hover information support (requires Verifpal 0.13.0 or higher).
- Add value peeking (requires Verifpal 0.13.0 or higher).
- Add diagram generation support (requires Verifpal 0.13.0 or higher).
## 0.0.12
- Add `freshness` and `unlinkability` query keywords.
......
{
"name": "verifpal",
"version": "0.0.12",
"version": "1.0.0",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
......
{
"name": "verifpal",
"displayName": "Verifpal",
"version": "0.0.12",
"version": "1.0.0",
"publisher": "symbolicsoft",
"description": "Verifpal language support.",
"author": {
......
......@@ -2,13 +2,11 @@
* SPDX-License-Identifier: GPL-3.0-only */
/// <reference path="./cross-spawn.d.ts" />
import {
workspace
} from 'vscode';
import * as vscode from 'vscode';
import * as fs from 'fs';
export function configGetPath(): string {
const config = workspace.getConfiguration('verifpal');
const config = vscode.workspace.getConfiguration('verifpal');
if (config) {
return config.get('path') || "";
}
......@@ -16,7 +14,7 @@ export function configGetPath(): string {
}
export function configGetEnabled() {
return workspace.getConfiguration('verifpal').get('enabled')
return vscode.workspace.getConfiguration('verifpal').get('enabled')
}
export function configDeterminePath() {
......@@ -25,7 +23,7 @@ export function configDeterminePath() {
if (fs.existsSync(localInstall)) {
pathToVerifpal = localInstall;
} else {
throw new Error(`[Verifpal] Specify Verifpal's location in your user config using verifpal.path.`);
vscode.window.showInformationMessage(`Verifpal: Specify Verifpal's location in your user config using verifpal.path.`);
}
return pathToVerifpal;
}
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment