deepsec_ui/package.json at master · DeepSec-prover/deepsec_ui · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
{
  "name": "deepsec_ui",
  "productName": "DeepSec UI",
  "version": "1.0.0",
  "description": "User interface for DeepSec tool (DEciding Equivalence Properties in SECurity protocols)",
  "author": {
    "name": "Vincent CHEVAL",
    "email": "vincent.cheval@inria.fr",
    "url": "https://members.loria.fr/VCheval/"
  },
  "contributors": [
    "Victor YON <victor.yon@loria.fr>"
  ],
  "main": "background.js",
  "scripts": {
    "check": "standard",
    "electron:build": "vue-cli-service electron:build",
    "rebuild": "electron-rebuild",
    "electron:serve": "vue-cli-service electron:serve",
    "postinstall": "PYTHON=python3 electron-builder install-app-deps",
    "postuninstall": "electron-builder install-app-deps"
  },
  "dependencies": {
    "@electron/remote": "^2.1.2",
    "babel-plugin-prismjs": "^2.1.0",
    "bindings": "^1.5.0",
    "core-js": "^3.29.1",
    "electron-log": "^3.0.7",
    "electron-settings": "^4.0.2",
    "electron-squirrel-startup": "^1.0.1",
    "element-theme-chalk": "^2.15.14",
    "element-ui": "^2.12.0",
    "fix-path": "^3.0.0",
    "lodash": "^4.17.21",
    "popper.js": "^1.16.1",
    "prismjs": "latest",
    "simplebar-vue": "^2.0.0",
    "sqlite3": "5.1.6",
    "vue": "^2.7.14",
    "vue-cli-plugin-electron-builder-update": "^2.1.5",
    "vue-data-tables": "^3.4.5",
    "vue-dialog-drag": "^0.1.28",
    "vue-router": "^3.6.5",
    "vue-shortkey": "^3.1.7",
    "which": "^3.0.0"
  },
  "devDependencies": {
    "@babel/eslint-parser": "^7.27.1",
    "@electron/fuses": "^1.8.0",
    "@vue/cli-plugin-babel": "^5.0.8",
    "@vue/cli-plugin-eslint": "^5.0.8",
    "@vue/cli-service": "^5.0.8",
    "@vue/eslint-config-standard": "^8.0.0",
    "buffer": "^6.0.3",
    "electron": "^25.3.1",
    "electron-devtools-installer": "^3.2.1",
    "electron-rebuild": "^3.2.9",
    "eslint": "^8.50.0",
    "eslint-plugin-vue": "^9.15.1",
    "events": "^3.3.0",
    "http-browserify": "^1.7.0",
    "https-browserify": "^1.0.0",
    "node-polyfill-webpack-plugin": "^4.1.0",
    "os-browserify": "^0.3.0",
    "path-browserify": "^1.0.1",
    "process": "^0.11.10",
    "querystring-es3": "^0.2.1",
    "sass": "^1.68.0",
    "sass-loader": "^13.3.2",
    "simplebar": "^6.3.1",
    "standard": "^17.1.0",
    "stream-browserify": "^3.0.0",
    "stream-http": "^3.2.0",
    "util": "^0.12.5",
    "vue-cli-plugin-electron-builder": "^3.0.0-alpha.4",
    "vue-template-compiler": "^2.7.14",
    "webpack-cli": "^6.0.1"
  },
  "eslintConfig": {
    "root": true,
    "env": {
      "node": true
    },
    "extends": [
      "plugin:vue/essential",
      "@vue/standard"
    ],
    "rules": {},
    "parserOptions": {
      "parser": "@babel/eslint-parser",
      "sourceType": "module"
    }
  },
  "eslintIgnore": [
    "**/*"
  ],
  "postcss": {
    "plugins": {
      "autoprefixer": {}
    }
  },
  "bugs": {
    "url": "https://github.com/DeepSec-prover/deepsec_ui/issues"
  },
  "homepage": "https://github.com/DeepSec-prover/deepsec_ui#readme",
  "keywords": [
    "deepsec",
    "GUI",
    "inria",
    "cryptographic protocols",
    "formal verification",
    "symbolic models",
    "privacy type properties"
  ],
  "license": "GPL-3.0",
  "repository": {
    "type": "git",
    "url": "https://github.com/DeepSec-prover/deepsec_ui.git"
  },
  "standard": {
    "ignore": [
      "/static/"
    ]
  }
}