Bruce Mitchener 8cc6969510 Remove Z3_literals remnants. (#6829) ... The bulk of the functionality using these was removed between Z3 4.4.1 and 4.5.0, back in 2015. Co-authored-by: Bruce Mitchener <bruce.mitchener@configura.com>		2023-07-23 19:38:57 -07:00
..
c++	build fixes	2023-07-18 19:14:45 -07:00
dll
dotnet	build fixes	2023-07-18 19:14:45 -07:00
java	Typo Fixes (#6803)	2023-07-09 11:56:10 -07:00
js	Typo Fixes (#6803)	2023-07-09 11:56:10 -07:00
julia	disambiguate overloaded with for Julia bindings	2023-01-31 19:06:20 -08:00
ml	Typo Fixes (#6803)	2023-07-09 11:56:10 -07:00
python	enable on-clause with dependencies	2023-07-18 16:59:02 -07:00
api_algebraic.cpp	Use nullptr consistently instead of 0 or NULL.	2022-08-01 14:24:32 +03:00
api_arith.cpp	switch to expose fresh function instead of changing legacy function	2023-01-24 13:05:34 -08:00
api_array.cpp	add method for accessing i'th domain sort in array #6344	2022-09-15 07:38:02 -07:00
api_ast.cpp	wip - alpha support for polymorphism	2023-07-12 18:09:02 -07:00
api_ast_map.cpp
api_ast_map.h
api_ast_vector.cpp
api_ast_vector.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
api_bv.cpp
api_config_params.cpp	Remove usages of Z3_bool, just use bool.	2022-07-30 05:49:05 +02:00
api_context.cpp	harness del_object #6452	2022-11-14 08:54:08 -08:00
api_context.h	Typo Fixes (#6803)	2023-07-09 11:56:10 -07:00
api_datalog.cpp	remove a bunch of string copies in the API	2022-10-26 18:22:55 +01:00
api_datalog.h
api_datatype.cpp	#6456 - elaborate on error message	2022-11-20 11:27:39 +07:00
api_fpa.cpp	Typo Fixes (#6803)	2023-07-09 11:56:10 -07:00
api_goal.cpp	fixes for #6577	2023-02-11 09:33:42 -08:00
api_goal.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
api_log.cpp
api_model.cpp
api_model.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
api_numeral.cpp	sketch initial for mpz/mpq numeral creation	2022-07-27 10:46:03 +02:00
api_opt.cpp	remove a bunch of string copies in the API	2022-10-26 18:22:55 +01:00
api_params.cpp	remove a bunch of string copies in the API	2022-10-26 18:22:55 +01:00
api_parsers.cpp	track assumptions when parsing into a solver. This enables solver.from_file/solver.from_string to support assumptions/cores #6587	2023-02-14 11:09:11 -08:00
api_pb.cpp
api_polynomial.cpp
api_polynomial.h
api_qe.cpp	update release notes	2023-01-31 12:19:33 -08:00
api_quant.cpp	sanity check parameters #6737	2023-05-30 09:44:06 +02:00
api_rcf.cpp
api_seq.cpp	fix #6442	2022-11-05 23:15:03 -07:00
api_solver.cpp	enable on-clause with dependencies	2023-07-18 16:59:02 -07:00
api_solver.h	add API for creating and attaching simplifiers	2023-01-31 17:06:03 -08:00
api_special_relations.cpp
api_stats.cpp	fix infinite loop in internalize	2022-09-14 11:50:53 +01:00
api_stats.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
api_tactic.cpp	add unconstrained elimination for sequences	2023-03-20 17:07:04 +01:00
api_tactic.h	add API for creating and attaching simplifiers	2023-01-31 17:06:03 -08:00
api_util.h	Use = default for virtual constructors.	2022-08-05 18:11:46 +03:00
CMakeLists.txt	attempt to fix cmake build	2022-10-01 21:48:27 +01:00
z3.h
z3_algebraic.h
z3_api.h	Remove Z3_literals remnants. (#6829)	2023-07-23 19:38:57 -07:00
z3_ast_containers.h
z3_fixedpoint.h
z3_fpa.h
z3_logger.h
z3_macros.h
z3_optimization.h
z3_polynomial.h
z3_private.h
z3_rcf.h
z3_replayer.cpp	fix #6778	2023-06-25 21:08:13 -07:00
z3_replayer.h
z3_spacer.h
z3_v1.h