mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-26 07:43:41 +00:00
Code Activity

for future ignoring genai files

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-05-21 14:22:20 -07:00
parent 85e7243108
commit 84a5303def
3 changed files with 5299 additions and 377 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -9,6 +9,8 @@ callgrind.out.*
.env .env
.z3-trace .z3-trace
.env .env
genaisrc/jsconfig.json
genaisrc/genaiscript.d.ts
.genaiscript .genaiscript
package-lock.json package-lock.json
package.json package.json

5665
genaisrc/genaiscript.d.ts generated vendored
View file

File diff suppressed because it is too large Load diff

13
genaisrc/tsconfig.json
View file

@ -1,9 +1,9 @@
{ {
"compilerOptions": { "compilerOptions": {
"lib": [ "lib": [
"ES2022" "ES2024"
], ],
"target": "ES2023", "target": "ES2024",
"module": "NodeNext", "module": "NodeNext",
"moduleDetection": "force", "moduleDetection": "force",
"moduleResolution": "nodenext", "moduleResolution": "nodenext",
@ -11,11 +11,14 @@
"allowJs": true, "allowJs": true,
"skipLibCheck": true, "skipLibCheck": true,
"noEmit": true, "noEmit": true,
"allowImportingTsExtensions": true "allowImportingTsExtensions": true,
"verbatimModuleSyntax": true,
"resolveJsonModule": true,
"erasableSyntaxOnly": true
}, },
"include": [ "include": [
"*.mjs", "**/*.mjs",
"*.mts", "**/*.mts",
"./genaiscript.d.ts" "./genaiscript.d.ts"
] ]
} }