package.json

{
  "name": "vs-verification-toolbox",
  "version": "1.0.0",
  "publisher": "viper-admin",
  "description": "Useful component to build VS Code extensions for verifiers.",
  "license": "MPL-2.0",
  "repository": {
    "type": "git",
    "url": "git+https://github.com/viperproject/vs-verification-toolbox.git"
  },
  "homepage": "https://github.com/viperproject/vs-verification-toolbox#readme",
  "bugs": {
    "url": "https://github.com/viperproject/vs-verification-toolbox/issues"
  },
  "author": {
		"name": "Programming Methodology Group, ETH Zürich",
		"email": "viper@inf.ethz.ch",
		"url": "https://viper.ethz.ch"
	},
  "main": "out/index.js",
  "activationEvents": [
    "this property is required to run vs code tests"
  ],
  "types": "out/index.d.ts",
  "scripts": {
    "compile": "tsc -p ./",
    "watch": "tsc -watch -p ./",
    "lint": "tslint --config ./tslint.json --project tsconfig.json './src/**/*.ts'",
    "pretest": "npm run compile",
    "test": "node ./out/test/runTest.js",
    "prepare": "npm run compile"
  },
  "keywords": [
    "vscode",
    "verification",
    "npm",
    "node"
  ],
  "engines": {
    "vscode": "^1.43.0",
    "node": "*"
  },
  "devDependencies": {
    "@types/fs-extra": "^11.0.4",
    "@types/mocha": "^10.0.6",
    "@types/vscode": "^1.43.0",
    "@types/yargs": "^17.0.33",
    "@typescript-eslint/eslint-plugin": "^8.22.0",
    "@typescript-eslint/parser": "^8.22.0",
    "@vscode/test-electron": "^2.4.1",
    "eslint": "^9.19.0",
    "eslint-plugin-import": "^2.31.0",
    "eslint-plugin-jsdoc": "^50.6.3",
    "eslint-plugin-prefer-arrow": "^1.2.3",
    "eslint-plugin-react": "^7.37.4",
    "eslint-plugin-unicorn": "^56.0.1",
    "glob": "^11.0.1",
    "md5-file": "^5.0.0",
    "mocha": "^11.1.0",
    "tslint": "^6.1.0",
    "tslint-config-prettier": "^1.18.0",
    "typescript": "^5.7.3",
    "yargs": "^17.7.2"
  },
  "dependencies": {
    "@octokit/rest": "^20.0.2",
    "extract-zip": "^2.0.0",
    "fs-extra": "^11.3.0",
    "got": "^11.8.6"
  }
}