Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 03-May-2022 | - | ||||
README | H A D | 18-Nov-2021 | 391 | 10 | 6 | |
build-win-signed.yml | H A D | 18-Nov-2021 | 3 KiB | 81 | 80 | |
build_libcxx_msan.sh | H A D | 18-Nov-2021 | 502 | 14 | 9 | |
coverage.yml | H A D | 18-Nov-2021 | 1.5 KiB | 38 | 32 | |
generate-doc.yml | H A D | 18-Nov-2021 | 166 | 8 | 7 | |
mk_consts_files.py | H A D | 18-Nov-2021 | 2.9 KiB | 81 | 68 | |
mk_copyright.py | H A D | 18-Nov-2021 | 1.2 KiB | 58 | 47 | |
mk_def_file.py | H A D | 18-Nov-2021 | 1 KiB | 37 | 30 | |
mk_exception.py | H A D | 18-Nov-2021 | 320 | 13 | 5 | |
mk_genfile_common.py | H A D | 18-Nov-2021 | 37.3 KiB | 945 | 733 | |
mk_gparams_register_modules_cpp.py | H A D | 18-Nov-2021 | 1.2 KiB | 41 | 32 | |
mk_install_tactic_cpp.py | H A D | 18-Nov-2021 | 1.3 KiB | 43 | 34 | |
mk_make.py | H A D | 18-Nov-2021 | 487 | 22 | 11 | |
mk_mem_initializer_cpp.py | H A D | 18-Nov-2021 | 1.1 KiB | 41 | 33 | |
mk_nuget_task.py | H A D | 18-Nov-2021 | 4.5 KiB | 141 | 108 | |
mk_pat_db.py | H A D | 18-Nov-2021 | 810 | 30 | 23 | |
mk_project.py | H A D | 18-Nov-2021 | 6.9 KiB | 115 | 100 | |
mk_unix_dist.py | H A D | 18-Nov-2021 | 7.5 KiB | 232 | 195 | |
mk_util.py | H A D | 03-May-2022 | 139.2 KiB | 3,519 | 2,927 | |
mk_win_dist.py | H A D | 18-Nov-2021 | 11.4 KiB | 349 | 292 | |
nightly.yaml | H A D | 18-Nov-2021 | 11.9 KiB | 352 | 338 | |
policy.json | H A D | 18-Nov-2021 | 172 | 9 | 8 | |
pyg2hpp.py | H A D | 18-Nov-2021 | 1.1 KiB | 37 | 29 | |
release.yml | H A D | 18-Nov-2021 | 13.4 KiB | 405 | 387 | |
test-examples-cmake.yml | H A D | 18-Nov-2021 | 359 | 16 | 13 | |
test-java-cmake.yml | H A D | 18-Nov-2021 | 312 | 10 | 9 | |
test-jupyter.yml | H A D | 18-Nov-2021 | 396 | 7 | 6 | |
test-regressions-coverage.yml | H A D | 18-Nov-2021 | 250 | 5 | 4 | |
test-regressions.yml | H A D | 18-Nov-2021 | 157 | 4 | 3 | |
test-z3.yml | H A D | 18-Nov-2021 | 59 | 6 | 5 | |
trackall.sh | H A D | 18-Nov-2021 | 353 | 12 | 5 | |
update_api.py | H A D | 18-Nov-2021 | 79.2 KiB | 2,043 | 1,788 | |
update_header_guards.py | H A D | 18-Nov-2021 | 1.8 KiB | 72 | 64 | |
update_include.py | H A D | 18-Nov-2021 | 1.8 KiB | 70 | 59 | |
vsts-mac.sh | H A D | 18-Nov-2021 | 351 | 18 | 13 | |
vsts-vs2013.cmd | H A D | 18-Nov-2021 | 1.1 KiB | 50 | 39 | |
vsts-vs2017.cmd | H A D | 18-Nov-2021 | 1.3 KiB | 58 | 47 |
README
1Instructions for updating external Z3 API 2----------------------------------------- 3 4The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API. 5The .h files provided to `mk_bindings(API_files)` contain these definitions. 6See src\api\z3_api.h for many examples. 7 8The bindings for .Net and Python are generated when mk_make.py is invoked. 9 10