package.json

{
  "name": "mini-symex-js",
  "version": "1.0.0",
  "description": "",
  "type": "commonjs",
  "scripts": {
    "build:z3javascript": "cd ./node_modules/z3javascript && npm install",
    "build": "babel src -d dist",
    "symbolic": "export Z3_PATH=./node_modules/z3javascript/bin/libz3.so && npm run build && node dist/symbolic_demo.js",
    "concolic": "export Z3_PATH=./node_modules/z3javascript/bin/libz3.so && npm run build && node dist/concolic_demo.js",
    "prettier": "prettier . --write",
    "test": "echo \"Error: no test specified\" && exit 1"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/tkhang1999/mini-symex-js.git"
  },
  "author": "Khang Le",
  "license": "ISC",
  "bugs": {
    "url": "https://github.com/tkhang1999/mini-symex-js/issues"
  },
  "homepage": "https://github.com/tkhang1999/mini-symex-js#readme",
  "dependencies": {
    "babel-plugin-overload": "^0.0.2",
    "babel-template": "^6.26.0",
    "fractional": "^1.0.0",
    "install": "^0.13.0",
    "z3javascript": "github:ExpoSEJS/z3javascript"
  },
  "devDependencies": {
    "@babel/cli": "^7.22.15",
    "@babel/core": "^7.22.17",
    "@babel/preset-env": "^7.22.15",
    "prettier": "3.0.3"
  }
}