mirror of
https://github.com/Z3Prover/z3
synced 2025-04-11 11:43:36 +00:00
7fdcbbaee9
* [Draft] Added unfinished code for high level bindings for js * * Rewrote structure of js api files * Added more high level apis * Minor fixes * Fixed wasm github action * Fix JS test * Removed ContextOptions type * * Added Ints to JS Api * Added tests to JS Api * Added run-time checks for contexts * Removed default contexts * Merged Context and createContext so that the api behaves the sames as in other constructors * Added a test for Solver * Added Reals * Added classes for IntVals and RealVals * Added abillity to specify logic for solver * Try to make CI tests not fail * Changed APIs after a round of review * Fix test * Added BitVectors * Made sort into getter * Added initial JS docs * Added more coercible types * Removed done TODOs
17 lines
354 B
JSON
17 lines
354 B
JSON
{
|
|
"compilerOptions": {
|
|
"target": "es2021",
|
|
"module": "commonjs",
|
|
"esModuleInterop": true,
|
|
"declaration": true,
|
|
"forceConsistentCasingInFileNames": true,
|
|
"strict": true,
|
|
"skipLibCheck": true,
|
|
"outDir": "build/",
|
|
"allowJs": true,
|
|
"checkJs": false
|
|
},
|
|
"include": ["src/**/*.ts"],
|
|
"exclude": ["node_modules"]
|
|
}
|