mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-20 20:05:51 +00:00
Code Activity

Modern C++: Add std::span overload for mk_or, adopt std::clamp, optimize stream output (#8507)

Browse source 
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2026-02-06 11:54:06 +00:00 • committed by GitHub
parent 384a8e291b
commit bb35267e46
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 19 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/normal_forms/nnf.cpp
View file

@ -522,7 +522,7 @@ struct nnf::imp {
app * r;
if (fr.m_pol)
r = m.mk_or(2, m_result_stack.data() + fr.m_spos);
r = m.mk_or(std::span<expr* const>(m_result_stack.data() + fr.m_spos, 2));
else
r = m.mk_and(std::span<expr* const>(m_result_stack.data() + fr.m_spos, 2));