@runtimeverificationinc/tsk/package.json

TypeScript/JavaScript library for K Framework functionality

{
  "name": "@runtimeverificationinc/tsk",
  "version": "0.2.15",
  "author": "K Framework Team",
  "repository": {
    "type": "git",
    "url": "git+https://github.com/runtimeverification/tsk.git"
  },
  "main": "dist/cjs/index.cjs",
  "module": "dist/esm/index.mjs",
  "devDependencies": {
    "@types/bun": "latest",
    "esbuild": "^0.25.5",
    "typescript": "^5.3.0"
  },
  "exports": {
    ".": {
      "types": "./dist/types/index.d.ts",
      "import": "./dist/esm/index.mjs",
      "require": "./dist/cjs/index.cjs"
    }
  },
  "bugs": {
    "url": "https://github.com/runtimeverification/tsk/issues"
  },
  "description": "TypeScript/JavaScript library for K Framework functionality",
  "engines": {
    "node": ">=18.0.0"
  },
  "files": [
    "dist/**/*",
    "README.md",
    "LICENSE"
  ],
  "homepage": "https://github.com/runtimeverification/tsk#readme",
  "keywords": [
    "k-framework",
    "formal-verification",
    "ast",
    "symbolic-execution",
    "typescript",
    "javascript"
  ],
  "license": "BSD-3-Clause",
  "scripts": {
    "build": "npm run build:clean && npm run build:typings && npm run build:esbuild",
    "build:clean": "rm -rf dist",
    "build:typings": "tsc --project . --declaration",
    "build:esbuild": "node build.cjs",
    "prepack": "npm run build",
    "prepublish": "npm run build",
    "test": "bun test",
    "test:unit": "bun test src/tests/unit",
    "test:integration": "bun test src/tests/integration",
    "lint": "tsc --noEmit",
    "dev": "bun run --watch src/index.ts"
  },
  "types": "dist/types/index.d.ts",
  "dependencies": {
    "fast-deep-equal": "^3.1.3",
    "safe-stable-stringify": "^2.5.0"
  }
}