uppaal-to-tchecker/package.json

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

{
  "name": "uppaal-to-tchecker",
  "version": "1.3.0",
  "description": "JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format",
  "main": "src/index.js",
  "bin": {
    "utot": "bin/utot.js"
  },
  "scripts": {
    "test": "jest",
    "test:watch": "jest --watch",
    "test:coverage": "jest --coverage",
    "build": "webpack --mode=production",
    "dev": "webpack --mode=development", 
    "cli": "node bin/utot.js",
    "verify": "node scripts/verify-installation.js",
    "demo": "node examples/usage-demo.js",
    "prepublish-check": "node scripts/publish.js",
    "publish-package": "node scripts/publish.js --publish",
    "prepublishOnly": "npm test",
    "preversion": "npm test",
    "postversion": "git push && git push --tags"
  },
  "keywords": [
    "uppaal",
    "tchecker", 
    "timed-automata",
    "model-checking",
    "formal-verification",
    "translator",
    "converter",
    "verification",
    "automata",
    "real-time-systems"
  ],
  "author": {
    "name": "uppaal-to-tchecker Contributors",
    "email": "noreply@example.com"
  },
  "license": "MIT",
  "homepage": "https://github.com/uppaal-to-tchecker/uppaal-to-tchecker-js#readme",
  "repository": {
    "type": "git",
    "url": "git+https://github.com/uppaal-to-tchecker/uppaal-to-tchecker-js.git"
  },
  "bugs": {
    "url": "https://github.com/uppaal-to-tchecker/uppaal-to-tchecker-js/issues"
  },
  "files": [
    "src/**/*",
    "bin/**/*",
    "examples/**/*",
    "scripts/**/*",
    "README.md",
    "LICENSE",
    "CHANGELOG.md",
    "USAGE_COMPARISON.md"
  ],
  "dependencies": {
    "xml2js": "^0.6.2",
    "commander": "^11.1.0",
    "chalk": "^4.1.2"
  },
  "devDependencies": {
    "jest": "^29.7.0",
    "webpack": "^5.89.0",
    "webpack-cli": "^5.1.4"
  },
  "engines": {
    "node": ">=14.0.0",
    "npm": ">=6.0.0"
  },
  "preferGlobal": true,
  "os": ["darwin", "linux", "win32"],
  "cpu": ["x64", "arm64"],
  "publishConfig": {
    "access": "public"
  }
}