Files

 master

/

api

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

NikolajBjorner

fix dotnet build

Aug 30, 2020

2510686 · Aug 30, 2020

History

History

This branch is 5201 commits behind Z3Prover/z3:master.

/

api

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
c++		c++	expose name inclusion as optional	Aug 30, 2020
dll		dll	Tabs, formatting.	Sep 17, 2017
dotnet		dotnet	fix dotnet build	Aug 30, 2020
java		java	enable binary string access to unsigned numerals over API Z3Prover#4568	Jul 8, 2020
julia		julia	build	Aug 13, 2020
ml		ml	extend solver callbacks with methods	Aug 22, 2020
python		python	expose name inclusion as optional	Aug 30, 2020
CMakeLists.txt		CMakeLists.txt	Change from BINARY_DIR to PROJECT_BINARY_DIR	May 15, 2019
api_algebraic.cpp		api_algebraic.cpp	pass algebraic manager to arith-plugin mk-numeral because rational ch…	Jul 27, 2020
api_arith.cpp		api_arith.cpp	expose mk_divides over API. Corresponds to a = b (mod m), Z3Prover#723	Oct 8, 2019
api_array.cpp		api_array.cpp	use Z3_char_ptr	Oct 8, 2019
api_ast.cpp		api_ast.cpp	prepare symbols to be more abstract, update mbi, delay initialize som…	Jan 10, 2020
api_ast_map.cpp		api_ast_map.cpp	remove using insert_if_not_there2	Apr 25, 2020
api_ast_map.h		api_ast_map.h	booyah	Jul 4, 2020
api_ast_vector.cpp		api_ast_vector.cpp	overhaul of error messages. Add warning in dimacs conversion	Jul 4, 2018
api_ast_vector.h		api_ast_vector.h	booyah	Jul 4, 2020
api_bv.cpp		api_bv.cpp	fix a couple hundred deref-after-free bugs due to .c_str() on a tempo…	Jul 11, 2020
api_config_params.cpp		api_config_params.cpp	shuffle dependencies	Aug 29, 2020
api_context.cpp		api_context.cpp	user propagator	Aug 23, 2020
api_context.h		api_context.h	shuffle dependencies	Aug 29, 2020
api_datalog.cpp		api_datalog.cpp	fix a couple hundred deref-after-free bugs due to .c_str() on a tempo…	Jul 11, 2020
api_datalog.h		api_datalog.h	booyah	Jul 4, 2020
api_datatype.cpp		api_datatype.cpp	fix Z3Prover#2251 thanks to Clark	Apr 27, 2019
api_fpa.cpp		api_fpa.cpp	make a few helpers static	Jun 30, 2019
api_goal.cpp		api_goal.cpp	expose name inclusion as optional	Aug 30, 2020
api_goal.h		api_goal.h	booyah	Jul 4, 2020
api_log.cpp		api_log.cpp	Remove __DATE__ to make the build more reproducible (Z3Prover#4505)	Jun 7, 2020
api_model.cpp		api_model.cpp	fix build issue for debug mode	Jun 20, 2019
api_model.h		api_model.h	booyah	Jul 4, 2020
api_numeral.cpp		api_numeral.cpp	fix a couple hundred deref-after-free bugs due to .c_str() on a tempo…	Jul 11, 2020
api_opt.cpp		api_opt.cpp	API: dont deref already free'd memory on error	Jun 30, 2020
api_params.cpp		api_params.cpp	fix a couple hundred deref-after-free bugs due to .c_str() on a tempo…	Jul 11, 2020
api_parsers.cpp		api_parsers.cpp	API: dont deref already free'd memory on error	Jun 30, 2020
api_pb.cpp		api_pb.cpp	use Z3_char_ptr	Oct 8, 2019
api_polynomial.cpp		api_polynomial.cpp	remove virtual destructor from api::pmanager	Jul 9, 2018
api_polynomial.h		api_polynomial.h	booyah	Jul 4, 2020
api_qe.cpp		api_qe.cpp	tidy	Apr 5, 2020
api_quant.cpp		api_quant.cpp	add recfun rewriting, remove quantifier based recfun	Apr 26, 2020
api_rcf.cpp		api_rcf.cpp	Simplify boolean code.	Dec 7, 2018
api_seq.cpp		api_seq.cpp	seq	May 17, 2020
api_solver.cpp		api_solver.cpp	fix Z3Prover#4662	Aug 27, 2020
api_solver.h		api_solver.h	booyah	Jul 4, 2020
api_special_relations.cpp		api_special_relations.cpp	remove trc	Apr 17, 2019
api_stats.cpp		api_stats.cpp	avoid a few str copies + symbol hiding	Mar 8, 2019
api_stats.h		api_stats.h	booyah	Jul 4, 2020
api_tactic.cpp		api_tactic.cpp	API: dont deref already free'd memory on error	Jun 30, 2020
api_tactic.h		api_tactic.h	booyah	Jul 4, 2020
api_util.h		api_util.h	booyah	Jul 4, 2020
z3.h		z3.h	booyah	Jul 4, 2020
z3_algebraic.h		z3_algebraic.h	booyah	Jul 4, 2020
z3_api.h		z3_api.h	expose name inclusion as optional	Aug 30, 2020
z3_ast_containers.h		z3_ast_containers.h	booyah	Jul 4, 2020
z3_fixedpoint.h		z3_fixedpoint.h	booyah	Jul 4, 2020
z3_fpa.h		z3_fpa.h	booyah	Jul 4, 2020
z3_logger.h		z3_logger.h	move to abstract symbols	Jan 10, 2020
z3_macros.h		z3_macros.h	Remove unused DEFINE_VOID macro.	Nov 26, 2018
z3_optimization.h		z3_optimization.h	booyah	Jul 4, 2020
z3_polynomial.h		z3_polynomial.h	booyah	Jul 4, 2020
z3_private.h		z3_private.h	booyah	Jul 4, 2020
z3_rcf.h		z3_rcf.h	booyah	Jul 4, 2020
z3_replayer.cpp		z3_replayer.cpp	move to abstract symbols	Jan 10, 2020
z3_replayer.h		z3_replayer.h	booyah	Jul 4, 2020
z3_spacer.h		z3_spacer.h	booyah	Jul 4, 2020
z3_v1.h		z3_v1.h	booyah	Jul 4, 2020
View all files