package.json

{
  "name": "limboole",
  "displayName": "Limboole",
  "description": "A VS Code extension for Limboole. For more information, visit https://fmv.jku.at/limboole/",
  "version": "0.1.2",
  "publisher": "Soaibuzzaman",
  "engines": {
    "vscode": "^1.8.0"
  },
  "categories": [
    "Programming Languages",
    "Education"
  ],
  "activationEvents": [],
  "main": "./dist/extension.js",
  "contributes": {
    "languages": [
      {
        "id": "limboole",
        "aliases": [
          "Limboole",
          "limboole"
        ],
        "extensions": [
          ".limboole"
        ],
        "configuration": "./language-configuration.json"
      }
    ],
    "grammars": [
      {
        "language": "limboole",
        "scopeName": "source.limboole",
        "path": "./syntaxes/limboole.tmLanguage.json"
      }
    ],
    "configuration": {
      "type": "object",
      "properties": {
        "limboole.path": {
          "type": "string",
          "default": "",
          "description": "Path to the limboole executable."
        }
      }
    },
    "commands": [
      {
        "command": "limboole.sat",
        "title": "Limboole: Check Satisfiability"
      },
      {
        "command": "limboole.val",
        "title": "Limboole: Check Validity"
      },
      {
        "command": "limboole.cnf",
        "title": "Limboole: Generate CNF"
      }
    ]
  },
  "keywords": [
    "limboole",
    "sat-solver",
    "cnf",
    "propositional-logic",
    "boolean-formula"
  ],
  "repository": {
    "type": "git",
    "url": "git+https://github.com/soaibsafi/limboole-vscode/.git"
  },
  "author": {
    "email": "soaibuzzaman@uni-weimar.de",
    "name": "Soaibuzzaman"
  },
  "license": "MIT",
  "bugs": {
    "url": "https://github.com/soaibsafi/limboole-vscode/issues"
  },
  "homepage": "https://github.com/soaibsafi/limboole-vscode/#readme",
  "scripts": {
    "vscode:prepublish": "npm run package",
    "compile": "npm run check-types && npm run lint && node esbuild.js",
    "watch": "npm-run-all -p watch:*",
    "watch:esbuild": "node esbuild.js --watch",
    "watch:tsc": "tsc --noEmit --watch --project tsconfig.json",
    "package": "npm run check-types && npm run lint && node esbuild.js --production",
    "compile-tests": "tsc -p . --outDir out",
    "watch-tests": "tsc -p . -w --outDir out",
    "pretest": "npm run compile-tests && npm run compile && npm run lint",
    "check-types": "tsc --noEmit",
    "lint": "eslint src",
    "test": "vscode-test"
  },
  "devDependencies": {
    "@types/vscode": "^1.8.0",
    "@types/mocha": "^10.0.7",
    "@types/node": "20.x",
    "@typescript-eslint/eslint-plugin": "^8.3.0",
    "@typescript-eslint/parser": "^8.3.0",
    "eslint": "^9.9.1",
    "esbuild": "^0.23.1",
    "npm-run-all": "^4.1.5",
    "typescript": "^5.5.4",
    "@vscode/test-cli": "^0.0.10",
    "@vscode/test-electron": "^2.4.1"
  }
}