mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 04:28:17 +00:00
Code Activity
z3/scripts
History
martin-neuhaeusser 28f9c61d76 Include *.cmx files during installation of OCaml bindings. 
The *.cmx files are now installed using ocamlfind. They contain information from the
compiler that can be used during optimization (the upcoming OCaml 4.03.0 issues
warning 58 if those files are missing from a package).
2016-03-28 17:08:22 +02:00
..
mk_consts_files.py Move `mk_z3consts_py_internal() out of mk_util.py` into 2016-03-09 11:22:48 +00:00
mk_copyright.py tabs 2016-01-04 21:04:07 +00:00
mk_def_file.py Move `mk_def_file_internal() out of mk_util.py` into 2016-03-09 11:22:48 +00:00
mk_exception.py checkpoint 2012-10-23 12:12:59 -07:00
mk_genfile_common.py fix cmake issues 2016-03-19 15:51:31 -07:00
mk_gparams_register_modules_cpp.py Move `mk_gparams_register_modules_internal() from mk_util.py` 2016-03-09 11:22:48 +00:00
mk_install_tactic_cpp.py Move `mk_install_tactic_cpp_internal() from mk_util.py` to 2016-03-09 11:22:48 +00:00
mk_make.py Added facilities for generating a libz3.vcxproj next to z3.vcxproj for simplified DLL build in VS. 2016-01-04 21:53:24 +00:00
mk_mem_initializer_cpp.py Move `mk_mem_initializer_cpp_internal() from mk_util.py` to 2016-03-09 11:22:48 +00:00
mk_pat_db.py Move `mk_pat_db_internal() from mk_util.py` to 2016-03-09 11:22:48 +00:00
mk_project.py moving remaining qsat functionality over 2016-03-19 15:35:26 -07:00
mk_unix_dist.py build fix for non-windows platforms 2016-03-07 11:21:06 +00:00
mk_util.py Include *.cmx files during installation of OCaml bindings. 2016-03-28 17:08:22 +02:00
mk_win_dist.py Updated build options for .NET API 2015-12-15 14:20:31 +00:00
pyg2hpp.py Move the code for generating `*.hpp files from *.pyg from mk_util.py` to 2016-03-09 11:22:49 +00:00
README updated docs 2012-10-25 18:46:37 -07:00
trackall.sh add more Copyright notes 2015-06-10 11:59:21 -07:00
update_api.py Try to improve some of the comments in `scripts/update_api.py` 2016-03-07 18:45:34 +00:00
update_header_guards.py tabs 2016-01-04 21:04:07 +00:00

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.