mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-09 16:55:47 +00:00
Code Activity

list euf dependency in api cmakefile

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-05-07 15:47:03 -07:00
parent eca5cd1841
commit 644118660f
4 changed files with 495 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

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

File diff suppressed because it is too large Load diff

8
genaisrc/tsconfig.json
View file

@ -13,12 +13,12 @@
"noEmit": true, "noEmit": true,
"allowImportingTsExtensions": true, "allowImportingTsExtensions": true,
"verbatimModuleSyntax": true, "verbatimModuleSyntax": true,
"resolveJsonModule": true "resolveJsonModule": true,
"erasableSyntaxOnly": true
}, },
"include": [ "include": [
"*.mjs", "**/*.mjs",
"*.mts", "**/*.mts",
"src/*.mts",
"./genaiscript.d.ts" "./genaiscript.d.ts"
] ]
} }

1
src/api/CMakeLists.txt
View file

@ -66,6 +66,7 @@ z3_add_component(api
${full_path_generated_files} ${full_path_generated_files}
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES
opt opt
euf
portfolio portfolio
realclosure realclosure
extra_cmds extra_cmds

1
src/ast/euf/CMakeLists.txt
View file

@ -7,6 +7,7 @@ z3_add_component(euf
euf_enode.cpp euf_enode.cpp
euf_etable.cpp euf_etable.cpp
euf_justification.cpp euf_justification.cpp
euf_mam.cpp
euf_plugin.cpp euf_plugin.cpp
euf_specrel_plugin.cpp euf_specrel_plugin.cpp
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES