package.json

{
  "name": "kani-vscode-extension",
  "displayName": "Kani",
  "description": "VSCode IDE integration for Kani",
  "publisher": "model-checking",
  "repository": {
    "type": "git",
    "url": "https://github.com/model-checking/kani-vscode-extension"
  },
  "icon": "kani-logo.png",
  "galleryBanner": {
    "theme": "light"
  },
  "bugs": {
    "url": "https://github.com/model-checking/kani-vscode-extension/issues"
  },
  "qna": "https://github.com/model-checking/kani-vscode-extension/blob/main/docs/troubleshooting.md",
  "version": "0.0.6",
  "engines": {
    "vscode": "^1.70.0"
  },
  "categories": [
    "Testing"
  ],
  "permissions": [
    "debug"
  ],
  "activationEvents": [
    "onLanguage:rust",
    "workspaceContains:*Cargo.toml"
  ],
  "main": "./out/extension.js",
  "contributes": {
    "commands": [
      {
        "command": "Kani.runKani",
        "when": "editorLangId == rust",
        "category": "Kani",
        "title": "Run Kani"
      },
      {
        "command": "Kani.runcargoKani",
        "when": "editorLangId == rust",
        "category": "Kani",
        "title": "Run Cargo Kani"
      },
      {
        "title": "Enable CodeLens",
        "command": "codelens-kani.enableCodeLens",
        "category": "CodeLens Sample"
      },
      {
        "title": "Disable Codelens",
        "command": "codelens-kani.disableCodeLens",
        "category": "CodeLens Sample"
      },
      {
        "command": "codelens-kani.highlightCoverage",
        "title": "Highlight Coverage"
      },
      {
        "command": "codelens-kani.dehighlightCoverage",
        "title": "De-Highlight Coverage"
      }
    ],
    "configuration": {
      "title": "Kani",
      "properties": {
        "codelens-kani.enableCodeLens": {
          "type": "boolean",
          "default": true
        },
        "codelens-kani.highlightCoverage": {
          "type": "boolean",
          "default": false,
          "description": "Controls the visibility of the `generate coverage` button by default."
        },
        "Kani.showOutputWindow": {
          "type": "boolean",
          "default": false,
          "description": "Controls the visibility of the output window by default."
        }
      }
    }
  },
  "scripts": {
    "vscode:prepublish": "npm run compile",
    "compile": "tsc -p ./",
    "watch": "tsc -watch -p ./",
    "pretest": "npm run compile && npm run lint",
    "lint": "eslint src --ext ts",
    "pretty": "prettier --write \"src/**/*.ts\"",
    "prettier:check:ci": "./node_modules/.bin/prettier --check .",
    "test": "node ./out/test/runTest.js"
  },
  "devDependencies": {
    "@types/glob": "^7.2.0",
    "@types/mocha": "^9.1.1",
    "@types/node": "16.x",
    "@types/vscode": "^1.70.0",
    "@typescript-eslint/eslint-plugin": "^5.31.0",
    "@typescript-eslint/parser": "^5.31.0",
    "@vscode/test-electron": "^2.1.5",
    "eslint": "^8.20.0",
    "eslint-config-prettier": "^8.5.0",
    "eslint-config-standard-with-typescript": "^23.0.0",
    "eslint-import-resolver-typescript": "^3.5.2",
    "eslint-plugin-header": "^3.1.1",
    "eslint-plugin-import": "^2.26.0",
    "eslint-plugin-n": "^15.5.1",
    "eslint-plugin-no-null": "^1.0.2",
    "eslint-plugin-prettier": "^4.2.1",
    "eslint-plugin-promise": "^6.1.1",
    "eslint-plugin-tsdoc": "^0.2.17",
    "glob": "^8.0.3",
    "mocha": "^10.0.0",
    "prettier": "2.8.0",
    "typescript": "^4.7.4"
  },
  "dependencies": {
    "esbuild": "0.16.2",
    "readline": "^1.3.0",
    "toml": "^3.0.0",
    "web-tree-sitter": "^0.20.8"
  }
}