Skip to content

scripts

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

scripts

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
tests
tests
 
 
README
README
 
 
VERSION.txt
VERSION.txt
 
 
build-win-signed-cmake.yml
build-win-signed-cmake.yml
 
 
build-win-signed.yml
build-win-signed.yml
 
 
build_libcxx_msan.sh
build_libcxx_msan.sh
 
 
coverage.yml
coverage.yml
 
 
find_non_defined_param_eval_patterns.py
find_non_defined_param_eval_patterns.py
 
 
generate-doc.yml
generate-doc.yml
 
 
jsdoctest.yml
jsdoctest.yml
 
 
mk_consts_files.py
mk_consts_files.py
 
 
mk_copyright.py
mk_copyright.py
 
 
mk_def_file.py
mk_def_file.py
 
 
mk_exception.py
mk_exception.py
 
 
mk_genfile_common.py
mk_genfile_common.py
 
 
mk_gparams_register_modules_cpp.py
mk_gparams_register_modules_cpp.py
 
 
mk_install_tactic_cpp.py
mk_install_tactic_cpp.py
 
 
mk_make.py
mk_make.py
 
 
mk_mem_initializer_cpp.py
mk_mem_initializer_cpp.py
 
 
mk_nuget_task.py
mk_nuget_task.py
 
 
mk_pat_db.py
mk_pat_db.py
 
 
mk_project.py
mk_project.py
 
 
mk_unix_dist.py
mk_unix_dist.py
 
 
mk_unix_dist_cmake.py
mk_unix_dist_cmake.py
 
 
mk_util.py
mk_util.py
 
 
mk_win_dist.py
mk_win_dist.py
 
 
mk_win_dist_cmake.py
mk_win_dist_cmake.py
 
 
policy.json
policy.json
 
 
pyg2hpp.py
pyg2hpp.py
 
 
test-examples-cmake.yml
test-examples-cmake.yml
 
 
test-java-cmake.yml
test-java-cmake.yml
 
 
test-jupyter.yml
test-jupyter.yml
 
 
test-regressions-coverage.yml
test-regressions-coverage.yml
 
 
test-regressions.yml
test-regressions.yml
 
 
test-z3.yml
test-z3.yml
 
 
trackall.sh
trackall.sh
 
 
update_api.py
update_api.py
 
 
update_header_guards.py
update_header_guards.py
 
 
update_include.py
update_include.py
 
 
update_version.py
update_version.py
 
 
vsts-mac.sh
vsts-mac.sh
 
 
vsts-vs2013.cmd
vsts-vs2013.cmd
 
 
vsts-vs2017.cmd
vsts-vs2017.cmd
 
 

README

Instructions for updating external Z3 API
-----------------------------------------

The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API.
The .h files provided to `mk_bindings(API_files)` contain these definitions.
See src\api\z3_api.h for many examples.

The bindings for .Net and Python are generated when mk_make.py is invoked.