| .. |
|
ackermannization
|
Standardize for-loop increments to prefix form (++i) (#8199)
|
2026-02-18 20:57:29 -08:00 |
|
api
|
preserve the initial state of the solver with push/pop for multiple objectives (#8264)
|
2026-02-18 20:57:53 -08:00 |
|
ast
|
Refactor counter::get_max_positive to use std::optional (#8289)
|
2026-02-18 20:57:52 -08:00 |
|
cmd_context
|
Refactor mk_and/mk_or call sites to use vector overloads (#8286)
|
2026-02-18 20:57:52 -08:00 |
|
math
|
[WIP] Find and update std::optional usage in code base (#8272)
|
2026-02-18 20:57:51 -08:00 |
|
model
|
Standardize for-loop increments to prefix form (++i) (#8199)
|
2026-02-18 20:57:29 -08:00 |
|
muz
|
Refactor sym_mux::find_idx to use std::optional (#8293)
|
2026-02-18 20:57:53 -08:00 |
|
nlsat
|
Standardize for-loop increments to prefix form (++i) (#8199)
|
2026-02-18 20:57:29 -08:00 |
|
opt
|
preserve the initial state of the solver with push/pop for multiple objectives (#8264)
|
2026-02-18 20:57:53 -08:00 |
|
params
|
Add SLS tactic as a separate worker thread (#8263)
|
2026-02-18 20:57:50 -08:00 |
|
parsers
|
Standardize for-loop increments to prefix form (++i) (#8199)
|
2026-02-18 20:57:29 -08:00 |
|
qe
|
Refactor mk_and/mk_or call sites to use vector overloads (#8286)
|
2026-02-18 20:57:52 -08:00 |
|
sat
|
Refactor mk_and and mk_app to use std::span API (#8285)
|
2026-02-18 20:57:52 -08:00 |
|
shell
|
Standardize for-loop increments to prefix form (++i) (#8199)
|
2026-02-18 20:57:29 -08:00 |
|
smt
|
Refactor theory_char::get_char_value to use std::optional (#8302)
|
2026-02-18 20:57:53 -08:00 |
|
solver
|
Standardize for-loop increments to prefix form (++i) (#8199)
|
2026-02-18 20:57:29 -08:00 |
|
tactic
|
Refactor mk_and and mk_app to use std::span API (#8285)
|
2026-02-18 20:57:52 -08:00 |
|
test
|
preserve the initial state of the solver with push/pop for multiple objectives (#8264)
|
2026-02-18 20:57:53 -08:00 |
|
util
|
deal with build warnings
|
2026-02-18 20:57:53 -08:00 |
|
CMakeLists.txt
|
BLD: Add CMake option to build Python bindings without rebuilding libz3 (redux) (#8088)
|
2026-02-18 20:57:00 -08:00 |
