package.json

{
    "name": "prusti-assistant",
    "displayName": "Prusti Assistant",
    "description": "Verify Rust programs with the Prusti verifier.",
    "version": "0.3.21",
    "publisher": "viper-admin",
    "repository": {
        "type": "git",
        "url": "https://github.com/viperproject/prusti-assistant.git"
    },
    "license": "MIT",
    "bugs": {
        "url": "https://github.com/viperproject/prusti-assistant/issues"
    },
    "homepage": "https://github.com/viperproject/prusti-assistant",
    "engines": {
        "vscode": "^1.43.0",
        "node": "*"
    },
    "categories": [
        "Programming Languages"
    ],
    "keywords": [
        "rust",
        "verification",
        "prusti",
        "viper",
        "eth"
    ],
    "activationEvents": [
        "onLanguage:rust"
    ],
    "main": "./out/extension.js",
    "contributes": {
        "snippets": [
            {
                "language": "rust",
                "path": "./snippets/specs.json"
            }
        ],
        "commands": [
            {
                "command": "prusti-assistant.update",
                "title": "install or update dependencies",
                "category": "Prusti"
            },
            {
                "command": "prusti-assistant.verify",
                "title": "save and verify this file",
                "category": "Prusti"
            },
            {
                "command": "prusti-assistant.restart-server",
                "title": "restart Prusti server",
                "category": "Prusti"
            }
        ],
        "configuration": {
            "type": "object",
            "title": "Prusti Assistant",
            "properties": {
                "prusti-assistant.buildChannel": {
                    "type": "string",
                    "default": "Nightly",
                    "enum": [
                        "Nightly",
                        "Local"
                    ],
                    "enumDescriptions": [
                        "Frequent updates that might be unstable or have other issues.",
                        "A local build of Prusti, specified via localPrustiPath."
                    ],
                    "description": "Specifies from which channel Prusti builds are downloaded."
                },
                "prusti-assistant.localPrustiPath": {
                    "type": "string",
                    "default": "",
                    "description": "Specifies the path to the local Prusti installation (has no effect if buildChannel is not set to Local)."
                },
                "prusti-assistant.verificationMode": {
                    "type": "string",
                    "default": "CurrentProgram",
                    "enum": [
                        "CurrentProgram",
                        "AllCratesInWorkspace"
                    ],
                    "enumDescriptions": [
                        "Verify only the currently-open file.",
                        "Verify all crates in the currently-open workspace."
                    ],
                    "description": "Selects what to do upon running the verify command."
                },
                "prusti-assistant.verifyOnSave": {
                    "type": "boolean",
                    "default": false,
                    "description": "Specifies if programs should be verified on save."
                },
                "prusti-assistant.verifyOnOpen": {
                    "type": "boolean",
                    "default": false,
                    "description": "Specifies if programs should be verified when opened."
                },
                "prusti-assistant.reportErrorsOnly": {
                    "type": "boolean",
                    "default": true,
                    "description": "Specifies if only error messages should be reported, hiding compiler's warnings."
                },
                "prusti-assistant.javaHome": {
                    "type": "string",
                    "default": "",
                    "description": "Specifies the path of the Java home folder (leave empty to auto-detect)."
                },
                "prusti-assistant.serverAddress": {
                    "type": "string",
                    "default": "",
                    "description": "Specifies the address of a Prusti server to use for verification. If not set, the extension will start up and manage its own server."
                }
            }
        }
    },
    "scripts": {
        "vscode:prepublish": "npm run compile",
        "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"
    },
    "devDependencies": {
        "@types/glob": "^7.1.1",
        "@types/vscode": "^1.43.0",
        "glob": "^7.1.6",
        "mocha": "^7.1.0",
        "tslint": "^5.20.0",
        "tslint-config-prettier": "^1.18.0",
        "typescript": "^3.8.3",
        "vscode-test": "^1.3.0"
    },
    "dependencies": {
        "@types/fs-extra": "^8.1.0",
        "@types/mocha": "^7.0.2",
        "@types/node": "^14.0.0",
        "fs-extra": "^8.1.0",
        "locate-java-home": "^1.1.2",
        "vs-verification-toolbox": "https://github.com/juliand665/vs-verification-toolbox.git"
    }
}