Ilana Shapiro f607a704ec Merge branch 'Z3Prover:master' into parallel-solving		2025-07-28 16:45:45 -07:00
..
ackermannization	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
api	Add parameter validation for selected API functions	2025-07-27 13:38:37 -07:00
ast	enable passive, add check for bloom up-to-date	2025-07-27 17:18:23 -07:00
cmd_context	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
math	indentation	2025-07-25 11:00:30 -07:00
model	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
muz	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
nlsat	use usize to suppress the data loss warnings	2025-07-02 14:42:55 -07:00
opt	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
params	add option to selectively disable variable solving for only ground expressions	2025-07-25 19:15:20 -07:00
parsers	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
qe	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
sat	revamp ac plugin and plugin propagation	2025-07-21 07:35:06 -07:00
shell	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00
smt	Merge branch 'Z3Prover:master' into parallel-solving	2025-07-28 16:45:45 -07:00
solver	call into collect_statistics in case of -T interrupt	2025-07-01 14:15:15 -07:00
tactic	fix #7725 - proofs are only possible if context was created with proofs enabled	2025-07-12 09:14:23 +02:00
test	turn on ho-matcher for completion	2025-07-07 14:08:51 +02:00
util	revamp ac plugin and plugin propagation	2025-07-21 07:35:06 -07:00
CMakeLists.txt	move smt params to params directory, update release.yml	2025-06-09 10:47:22 -07:00