vs-verification-toolbox/package.json at master · viperproject/vs-verification-toolbox · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
{
  "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"
  },
  "type": "module",
  "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": "eslint './src/**/*.ts'",
    "pretest": "npm run compile",
    "test": "node ./out/test/runTest.js",
    "prepare": "npm run compile"
  },
  "keywords": [
    "vscode",
    "verification",
    "npm",
    "node"
  ],
  "engines": {
    "vscode": "^1.100.0",
    "node": "*"
  },
  "devDependencies": {
    "@types/fs-extra": "^11.0.4",
    "@types/mocha": "^10.0.6",
    "@types/vscode": "^1.100.0",
    "@types/yargs": "^17.0.35",
    "@typescript-eslint/eslint-plugin": "^8.56.1",
    "@typescript-eslint/parser": "^8.31.1",
    "@vscode/test-electron": "^2.5.2",
    "eslint": "^9.36.0",
    "eslint-plugin-import": "^2.32.0",
    "eslint-plugin-jsdoc": "^62.7.1",
    "eslint-plugin-prefer-arrow": "^1.2.3",
    "eslint-plugin-react": "^7.37.5",
    "eslint-plugin-unicorn": "^63.0.0",
    "glob": "^13.0.6",
    "md5-file": "^5.0.0",
    "mocha": "^11.7.5",
    "typescript": "^5.9.3",
    "yargs": "^18.0.0"
  },
  "dependencies": {
    "@octokit/rest": "^22.0.1",
    "extract-zip": "^2.0.0",
    "fs-extra": "^11.3.3",
    "got": "^14.6.6"
  }
}