| .. |
|
ackermannization
|
Fix off-by-one vulnerabilities: use range-based for on goals; cache loop bound
|
2026-02-19 22:37:22 +00:00 |
|
api
|
python: make Statistics doctests robust to optional ":time" counter (#9729)
|
2026-06-06 13:24:19 -07:00 |
|
ast
|
sls_seq_plugin: remove hard aborts in is_sat for str.len and seq.last_indexof (#9736)
|
2026-06-06 13:26:01 -07:00 |
|
cmd_context
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
math
|
Fix mpz_manager leak in algebraic root comparison (#9654)
|
2026-05-28 09:06:05 -07:00 |
|
model
|
disable test in tptp, move to native lambdas
|
2026-06-02 10:38:51 -07:00 |
|
muz
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
nlsat
|
making try-for tactic exception resilient on cancelation
|
2026-04-26 15:58:24 -07:00 |
|
opt
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
params
|
prepare for lambda unfolding in ho-matcher and selectively enable ho matching
|
2026-05-22 13:25:01 -07:00 |
|
parsers
|
Add SMT-LIB choice support via array OP_CHOICE and instantiate choice axioms in array solvers (#9649)
|
2026-05-27 10:05:06 -07:00 |
|
qe
|
Cleanup thanks to Copilot (#9709)
|
2026-06-04 10:46:33 -07:00 |
|
sat
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
shell
|
benchmark patching
|
2026-05-20 13:32:23 -07:00 |
|
smt
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
solver
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
tactic
|
refactor solver to include settable stats
|
2026-06-07 14:17:38 -07:00 |
|
test
|
Cleanup thanks to Copilot (#9709)
|
2026-06-04 10:46:33 -07:00 |
|
util
|
Handle SIGXCPU like a regular timeout (#9697)
|
2026-06-03 07:26:38 -07:00 |
|
CMakeLists.txt
|
git bindings v1.0
|
2026-02-18 21:02:25 -08:00 |
