mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-13 08:40:31 +00:00
Code Activity
z3/src
History
Copilot c6e3045226 Refactor counter::get_max_positive to use std::optional (#8289) 
* Initial plan

* Refactor counter::get_max_positive to use std::optional

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Fix C++17 compatibility by replacing transform() with has_value()/value()

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Address code review: avoid calling get_max_positive twice

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-02-18 20:57:52 -08:00
..
ackermannization Standardize for-loop increments to prefix form (++i) (#8199) 2026-02-18 20:57:29 -08:00
api Refactor mk_and and mk_app to use std::span API (#8285) 2026-02-18 20:57:52 -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 counter::get_max_positive to use std::optional (#8289) 2026-02-18 20:57:52 -08:00
nlsat Standardize for-loop increments to prefix form (++i) (#8199) 2026-02-18 20:57:29 -08:00
opt Refactor mk_and and mk_app to use std::span API (#8285) 2026-02-18 20:57:52 -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 mk_and/mk_or call sites to use vector overloads (#8286) 2026-02-18 20:57:52 -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 Refactor mk_and and mk_app to use std::span API (#8285) 2026-02-18 20:57:52 -08:00
util Extend std::span adoption to utility and AST functions (#8271) 2026-02-18 20:57:51 -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