package.json

{
  "name": "lizard",
  "publisher": "viper-admin",
  "repository": "https://github.com/viperproject/lizard",
  "displayName": "Lizard",
  "description": "Lizard is a lightweight, prototypical, visual debugger for the Viper intermediate verification language. ",
  "version": "0.0.1",
  "engines": {
    "vscode": "^1.57.0"
  },
  "categories": [
    "Debuggers"
  ],
  "activationEvents": [
    "onLanguage:viper"
  ],
  "main": "./out/extension.js",
  "contributes": {
    "commands": [
      {
        "command": "lizard.helloWorld",
        "title": "Hello World"
      }
    ]
  },
  "scripts": {
    "vscode:prepublish": "npm run prepublishPanel && npm install && npm run compile",
    "prepublishPanel": "cd src/panel && npm install && cd ../../",
    "compile": "tsc -p ./ && npm run build-ui -- --env.dev",
    "build-ui": "webpack --context ./src/panel --config ./src/panel/webpack.config.js",
    "watch": "tsc -watch -p ./",
    "watch-panel": "webpack --context ./src/panel --config ./src/panel/webpack.config.js --watch",
    "pretest": "npm run compile && npm run lint",
    "lint": "eslint src --ext ts",
    "test": "npm run compile && node ./node_modules/vscode/bin/test"
  },
  "devDependencies": {
    "@types/d3-graphviz": "^2.6.7",
    "@types/glob": "^7.1.3",
    "@types/mocha": "^8.2.2",
    "@types/node": "14.x",
    "@types/vscode": "^1.57.0",
    "@typescript-eslint/eslint-plugin": "^4.26.0",
    "@typescript-eslint/parser": "^4.26.0",
    "css-loader": "^5.2.6",
    "d3": "^7.0.0",
    "d3-graphviz": "^4.5.0",
    "eslint": "^7.27.0",
    "glob": "^7.1.7",
    "html-loader": "^2.1.2",
    "html-webpack-plugin": "^5.3.1",
    "mini-css-extract-plugin": "^1.6.0",
    "mocha": "^8.4.0",
    "sass": "^1.35.1",
    "sass-loader": "^12.1.0",
    "split-js": "^1.0.1",
    "ts-loader": "^9.2.3",
    "typescript": "^4.3.2",
    "vscode-test": "^1.5.2",
    "webpack": "^5.39.1",
    "webpack-cli": "^3.3.1"
  },
  "extensionDependencies": [
    "viper-admin.viper"
  ],
  "dependencies": {
    "@vscode/vsce": "^2.19.0",
    "json-formatter-js": "^2.3.4",
    "split.js": "^1.6.5",
    "webpack": "^5.38.1"
  }
}