package.json

{
  "name": "kripke-builder",
  "version": "0.0.1",
  "description": "Interactive frontend for manipulating kripke structures and evaluating temporal logic formulae.",
  "main": "gulpfile.js",
  "scripts": {
    "postinstall": "bower install",

    "prestart": "npm install",
    "start": "gulp connect",

    "preupdate-webdriver": "npm install",
    "update-webdriver": "webdriver-manager update",

    "preprotractor": "npm run update-webdriver",
    "protractor": "protractor test/protractor.conf.js"
  },
  "repository": {
    "type": "git",
    "url": "git+https://github.com/thpani/kripke-builder.git"
  },
  "author": "Thomas Pani <thomas.pani@gmail.com>",
  "bugs": {
    "url": "https://github.com/thpani/kripke-builder/issues"
  },
  "homepage": "https://github.com/thpani/kripke-builder#readme",
  "devDependencies": {
    "gulp": "^3.9.1",
    "gulp-connect": "^3.2.0",
    "gulp-inject": "^4.0.0",
    "main-bower-files": "^2.11.1",
    "q": "^1.4.1",
    "resemble": "^1.3.0"
  }
}