package.json

{
	"name": "digvscode",
	"displayName": "vscode-dig",
        "publisher": "abueide",
	"description": "A tool for generating nonlinear numerical invariants for C and Java programs.",
        "repository": {
            "type": "git",
            "url": "https://github.com/abueide/vscode-dig"
        },
	"version": "1.0.2",
	"engines": {
		"vscode": "^1.54.0"
	},
	"categories": [
		"Other"
	],
	"activationEvents": [
		"onCommand:com.abueide.digvscode.digInstall",
		"onCommand:com.abueide.digvscode.dig"
	],
	"main": "./dist/extension.js",
	"contributes": {
		"commands": [
			{
				"title": "dig",
				"command": "com.abueide.digvscode.dig"
			},
			{
				"title": "digInstall",
				"command": "com.abueide.digvscode.digInstall"
			}
		],
		"keybindings": [
			{
				"command": "com.abueide.digvscode.dig",
				"key": "ctrl+alt+a",
				"mac": "cmd+alt+a",
				"when": "editorTextFocus"
			}
		]
	},
	"scripts": {
		"vscode:prepublish": "npm run package",
		"compile": "webpack",
		"watch": "webpack --watch",
		"package": "webpack --mode production --devtool hidden-source-map",
		"test-compile": "tsc -p ./",
		"test-watch": "tsc -watch -p ./",
		"pretest": "npm run test-compile && npm run lint",
		"lint": "eslint src --ext ts",
		"test": "node ./out/test/runTest.js"
	},
	"devDependencies": {
		"@types/vscode": "^1.54.0",
		"@types/glob": "^7.1.3",
		"@types/mocha": "^8.0.4",
		"@types/node": "^12.11.7",
		"eslint": "^7.19.0",
		"@typescript-eslint/eslint-plugin": "^4.14.1",
		"@typescript-eslint/parser": "^4.14.1",
		"glob": "^7.1.6",
		"mocha": "^8.2.1",
		"typescript": "^4.1.3",
		"vscode-test": "^1.5.0",
		"ts-loader": "^8.0.14",
		"webpack": "^5.19.0",
		"webpack-cli": "^4.4.0"
	}
}