rocqstar-rag/big-rocq/package.json at a19262a652fea49a6f9a4f0ea6a3f4238405ade8 · JetBrains-Research/rocqstar-rag · 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
{
  "name": "big-rocq",
  "displayName": "BigRocq",
  "description": "This utility takes a Rocq project as input and uses some domain knowladge to increase a number of theorems in the dataset by a significant factor.",
  "repository": {
    "type": "git",
    "url": "https://github.com/JetBrains-Research/big-rocq"
  },
  "bin": {
    "big-rocq": "./out/utilityRunner.js"
  },
  "version": "0.0.1",
  "engines": {
    "vscode": "^1.82.0"
  },
  "categories": [
    "Other"
  ],
  "main": "./out/mainNode.js",
  "scripts": {
    "compile": "tsc -p ./",
    "watch": "tsc -watch -p ./",
    "lint": "eslint \"src/**/*.{ts,js}\" --ext .ts",
    "recompile": "npm run clean && npm run compile",
    "format": "prettier --write \"src/**/*.{ts,js}\" && eslint \"src/**/*.{ts,js}\" --ext .ts --fix",
    "test-executables-unsafe": "node ./out/test/runTest.js",
    "test-only": "npm run test-executables-unsafe -- -r=\"\\[SourceExecutable\\] *\" -i=true",
    "pretest": "npm run compile && npm run lint",
    "test": "npm run test-only",
    "clean": "rm -rf out",
    "augment": "node ./out/utilityRunner.js",
    "local": "npm run augment",
    "prelocal": "npm run pretest",
    "rebuild-test-resources": "cd ./src/test/resources/coqProj && make clean && make",
    "preclean-test": "npm run clean && npm run rebuild-test-resources && npm run compile && npm run lint",
    "clean-test": "npm run test-only"
  },
  "devDependencies": {
    "@trivago/prettier-plugin-sort-imports": "^4.3.0",
    "@types/cli-progress": "^3.11.3",
    "@types/d3": "^7.4.3",
    "@types/event-source-polyfill": "^1.0.5",
    "@types/expect.js": "^0.3.32",
    "@types/glob": "^8.1.0",
    "@types/mocha": "^10.0.1",
    "@types/node": "20.2.5",
    "@types/tmp": "^0.2.6",
    "@types/vscode": "^1.82.0",
    "@types/yargs": "^17.0.24",
    "@typescript-eslint/eslint-plugin": "^5.62.0",
    "@typescript-eslint/parser": "^5.62.0",
    "@vscode/test-electron": "^2.3.2",
    "earl": "^1.1.0",
    "eslint": "^8.56.0",
    "eslint-config-prettier": "^9.1.0",
    "eslint-plugin-prettier": "^5.1.3",
    "glob": "^8.1.0",
    "mocha": "^10.2.0",
    "prettier": "^3.2.5",
    "typescript": "^5.3.3"
  },
  "dependencies": {
    "@codemirror/autocomplete": "^6.18.4",
    "ajv": "^8.17.1",
    "async-mutex": "^0.5.0",
    "axios": "^1.8.2",
    "cli-progress": "^3.12.0",
    "d3": "^7.9.0",
    "dedent": "^1.5.3",
    "event-source-polyfill": "^1.0.31",
    "i": "^0.3.7",
    "mocha-param": "^2.0.1",
    "npm": "^11.0.0",
    "path": "^0.12.7",
    "pino": "^9.6.0",
    "pino-pretty": "^13.0.0",
    "tmp": "^0.2.4",
    "toml": "^3.0.0",
    "ts-command-line-args": "^2.5.1",
    "ts-progress": "^0.1.9",
    "ts-results": "^3.3.0",
    "vscode-languageclient": "^9.0.1",
    "yargs": "^17.7.2"
  }
}