Nikolaj Bjorner ca28b86eff Update dioph_eq.cpp		2026-08-06 14:50:32 -07:00
..
ackermannization
api	Fix npm dependency security vulnerabilities in src/api/js (#10369)	2026-08-03 10:56:27 -07:00
ast	Update seq_axioms.cpp	2026-08-05 18:13:35 -07:00
cmd_context	Reject declarations that clash with built-in signatures (#10411)	2026-08-05 17:08:31 -07:00
math	Update dioph_eq.cpp	2026-08-06 14:50:32 -07:00
model
muz	Make implicit switch case fall-throughs explicit (#10284)	2026-07-29 09:05:42 -07:00
nlsat
opt	opt: don't stop the search on a stalled delta-rational objective (#10412)	2026-08-05 12:35:32 -07:00
params	Add monadic regex end-game solver	2026-08-01 12:03:53 -07:00
parsers	scanner: emit ERROR_TOKEN on I/O failure instead of silent EOF (#10294)	2026-07-29 14:00:42 -07:00
qe	[snapshot-regression-fix] Spacer: keep symbolic term_graph representatives to fix 'Stuck on a lemma' regression (#10237)	2026-07-29 14:19:25 -07:00
sat	Add global suppress_platform_verbose parameter (#10319)	2026-07-30 20:08:25 -07:00
shell
smt	Fix 10388 (#10418)	2026-08-05 19:27:03 -07:00
solver	fix: parallel mode exits unknown immediately for QF_BV due to reason-string mismatch (#10183)	2026-07-21 19:48:55 -07:00
tactic	Disable "-Wnoctad-maybe-unsupported", add and fix "-Wdeprecated-copy-with-user-provided-copy". (#10332)	2026-07-31 19:34:08 -07:00
test	Avoid eager Diophantine matrix elimination on pop	2026-08-05 20:09:12 -07:00
util	Track maximum regex lengths	2026-08-05 12:15:55 -07:00
CMakeLists.txt