Nikolaj Bjorner 1f5132c396 refactor solver to include settable stats

2026-06-07 14:17:38 -07:00

..

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