| .. |
|
ackermannization
|
block ackermann over nested selects
|
2026-06-19 10:41:56 -07:00 |
|
api
|
Use macros to disable semi-colon warnings for blocks of macros. (#10192)
|
2026-07-22 18:01:50 -07:00 |
|
ast
|
Fix unsigned BV-to-FP exponent narrowing (#10189)
|
2026-07-23 08:57:15 -07:00 |
|
cmd_context
|
Use macros to disable semi-colon warnings for blocks of macros. (#10192)
|
2026-07-22 18:01:50 -07:00 |
|
math
|
omit adding rows for affine relations if it is true in the current model
|
2026-07-23 09:43:41 -07:00 |
|
model
|
updates to tptp_frontend
|
2026-07-04 14:34:21 -07:00 |
|
muz
|
Fix use-after-free in spacer hypothesis_reducer::reduce_core (#10123)
|
2026-07-14 15:18:02 -07:00 |
|
nlsat
|
Remove unnecessary semicolons (Attempt 2) (#10020)
|
2026-07-02 12:47:29 -07:00 |
|
opt
|
opt: validate strict optimization optima faithfully with delta-rational bounds (#10059)
|
2026-07-09 10:39:23 -07:00 |
|
params
|
nla: add LP-based nonlinear bound optimization for cross-nested confl… (#10180)
|
2026-07-23 09:00:46 -07:00 |
|
parsers
|
Remove unnecessary semicolons (Attempt 2) (#10020)
|
2026-07-02 12:47:29 -07:00 |
|
qe
|
qe2: fix nonlinear term introduced by term_graph representative selection in MBP (#10186)
|
2026-07-22 18:11:00 -07:00 |
|
sat
|
Fix unsound model from parallel QF_BV solving (#10133) (#10142)
|
2026-07-16 11:47:07 -07:00 |
|
shell
|
Fixes necessary to compile z3 included in clang-tidy via FetchContents. (#9768)
|
2026-06-08 19:44:01 -07:00 |
|
smt
|
nla: add LP-based nonlinear bound optimization for cross-nested confl… (#10180)
|
2026-07-23 09:00:46 -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
|
Use macros to disable semi-colon warnings for blocks of macros. (#10192)
|
2026-07-22 18:01:50 -07:00 |
|
test
|
Move SMTLIB2 verdict unit tests to z3test regressions
|
2026-07-23 09:39:21 -07:00 |
|
util
|
nla: add LP-based nonlinear bound optimization for cross-nested confl… (#10180)
|
2026-07-23 09:00:46 -07:00 |
|
CMakeLists.txt
|
git bindings v1.0
|
2026-02-18 21:02:25 -08:00 |
