package.json

{
	"name": "fstar-vscode-assistant",
	"description": "An interactive editing mode for F*",
	"author": "Microsoft Corporation",
	"license": "MIT",
	"version": "0.5.3",
	"repository": {
		"type": "git",
		"url": "https://github.com/FStarLang/fstar-vscode-assistant"
	},
	"publisher": "FStarLang",
	"icon": "resources/icons/fstar-logo.png",
	"categories": [],
	"keywords": [
		"multi-root ready"
	],
	"engines": {
		"vscode": "^1.75.0"
	},
	"main": "./client/out/extension",
	"contributes": {
		"languages": [
			{
				"id": "fstar",
				"aliases": [
					"F*",
					"fstar"
				],
				"extensions": [
					".fst",
					".fsti"
				],
				"configuration": "./language-configuration.json"
			}
		],
		"grammars": [
			{
				"language": "fstar",
				"scopeName": "source.fst",
				"path": "./syntaxes/fstar.tmLanguage.json"
			}
		],
		"configuration": {
			"type": "object",
			"title": "F* VSCode Assistant",
			"properties": {
				"fstarVSCodeAssistant.verifyOnOpen": {
					"scope": "resource",
					"type": "boolean",
					"default": false,
					"description": "Should a document be checked fully when it is opened?"
				},
				"fstarVSCodeAssistant.verifyOnSave": {
					"scope": "resource",
					"type": "boolean",
					"default": true,
					"description": "Should a document be checked fully whenever it is saved?"
				},
				"fstarVSCodeAssistant.flyCheck": {
					"scope": "resource",
					"type": "boolean",
					"default": true,
					"description": "Should a document be checked when it changes?"
				},
				"fstarVSCodeAssistant.debug": {
					"scope": "resource",
					"type": "boolean",
					"default": false,
					"description": "Log debugging information to the console."
				},
				"fstarVSCodeAssistant.showLightCheckIcon": {
					"scope": "resource",
					"type": "boolean",
					"default": true,
					"description": "Show the blue line in the gutter to indicate which parts of a document have been only light-checked?"
				}
			}
		},
		"commands": [
			{
				"command": "fstar-vscode-assistant/verify-to-position",
				"title": "Verify to position",
				"category": "F*"
			},
			{
				"command": "fstar-vscode-assistant/restart",
				"title": "Restart",
				"category": "F*"
			},
			{
				"command": "fstar-vscode-assistant/lax-to-position",
				"title": "Lax to position",
				"category": "F*"
			},
			{
				"command": "fstar-vscode-assistant/kill-and-restart-solver",
				"title": "Kill and restart solver",
				"category": "F*"
			},
			{
				"command": "fstar-vscode-assistant/kill-all",
				"title": "Kill all F* processes for all documents",
				"category": "F*"
			}
		],
		"keybindings": [
			{
				"command": "fstar-vscode-assistant/verify-to-position",
				"key": "ctrl+.",
				"when": "editorTextFocus"
			},
			{
				"command": "fstar-vscode-assistant/restart",
				"key": "ctrl+; ctrl+.",
				"when": "editorTextFocus"
			},
			{
				"command": "fstar-vscode-assistant/lax-to-position",
				"key": "ctrl+shift+.",
				"when": "editorTextFocus"
			},
			{
				"command": "fstar-vscode-assistant/kill-and-restart-solver",
				"key": "ctrl+; ctrl+c",
				"when": "editorTextFocus"
			},
			{
				"command": "fstar-vscode-assistant/kill-all",
				"key": "ctrl+; ctrl+shift+c",
				"when": "editorTextFocus"
			}
		]
	},
	"dependencies": {
		"vscode-languageclient": "^7.0.0"
	},
	"scripts": {
		"vscode:prepublish": "npm run compile",
		"compile": "tsc -b",
		"watch": "tsc -b -w",
		"lint": "eslint ./client/src ./server/src --ext .ts,.tsx",
		"postinstall": "cd client && npm install && cd ../server && npm install && cd .."
	},
	"devDependencies": {
		"@types/mocha": "^9.1.0",
		"@types/node": "^16.11.7",
		"@typescript-eslint/eslint-plugin": "^5.42.0",
		"@typescript-eslint/parser": "^5.42.0",
		"eslint": "^8.26.0",
		"mocha": "^9.2.1",
		"typescript": "^4.8.4"
	}
}