5e8570b427
Bumps [vitest](https://github.com/vitest-dev/vitest/tree/HEAD/packages/vitest) from 3.2.4 to 4.0.18. - [Release notes](https://github.com/vitest-dev/vitest/releases) - [Commits](https://github.com/vitest-dev/vitest/commits/v4.0.18/packages/vitest) --- updated-dependencies: - dependency-name: vitest dependency-version: 4.0.18 dependency-type: direct:development update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
27 lines
554 B
JSON
27 lines
554 B
JSON
{
|
|
"name": "@cannorin/kripke",
|
|
"version": "0.0.1",
|
|
"private": true,
|
|
"exports": {
|
|
".": "./src/index.ts",
|
|
"./syntax": "./src/syntax.ts",
|
|
"./semantics": "./src/semantics.ts",
|
|
"./parser": "./src/parser.ts",
|
|
"./sat": "./src/sat.ts"
|
|
},
|
|
"scripts": {
|
|
"build": "tsc",
|
|
"lint": "biome check",
|
|
"fix": "biome check --fix",
|
|
"test": "vitest"
|
|
},
|
|
"devDependencies": {
|
|
"typescript": "5.7.3",
|
|
"vitest": "4.0.18"
|
|
},
|
|
"dependencies": {
|
|
"@cannorin/utils": "workspace:*",
|
|
"typescript-parsec": "0.3.4"
|
|
}
|
|
}
|