10 commits

Author	SHA1	Message	Date
Copilot	ebc0688470	Refactor mk_and/mk_or call sites to use vector overloads (#8286) ... * Initial plan * Refactor mk_and and mk_or call sites to use overloaded methods Changed 130 call sites across 64 files to use vector overloads directly instead of manually passing .size() and .data()/.c_ptr() Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Revert mk_or changes for ptr_buffer/ptr_vector (no overload exists in ast_util.h) * Fix compilation errors from mk_and/mk_or refactoring Fixed type mismatches by: - Removing m parameter for expr_ref_vector (ast_util.h has mk_and/mk_or(expr_ref_vector) overloads) - Reverting changes for ref_buffer types (no overload exists in ast_util.h, only in ast.h for m.mk_and) - Verified build succeeds and Z3 works correctly Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix test files to use correct mk_and/mk_or overloads Changed test/doc.cpp and test/udoc_relation.cpp to use mk_and(expr_ref_vector) and mk_or(expr_ref_vector) without m parameter 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-01-22 13:21:22 -08:00
Copilot	eddb75b2e7	Migrate iterator-based for loops to range-based for loops (#8231) ... * Initial plan * Migrate iterator-based for loops to range-based for loops in 11 files Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix compilation error in aig_exporter.cpp - use correct iterator API Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Revert changes to z3++.h as requested 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-01-17 20:27:47 -08:00
Copilot	b5492e5cf9	Modernize C++ patterns: range-based for loops and nullptr (#8167) ... * Initial plan * Replace NULL with nullptr in test files Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Convert iterator loops to range-based for loops (part 1) Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Convert iterator loops to range-based for loops (part 2) Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix compilation errors in iterator loop conversions 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-01-11 21:20:07 -08:00
Bruce Mitchener	1d9345c3de	Fix typos.	2022-08-05 07:40:50 +03:00
Nuno Lopes	73a24ca0a9	remove '#include <iostream>' from headers and from unneeded places ... It's harmful to have iostream everywhere as it injects functions in the compiled files	2022-06-17 14:10:19 +01:00
Nikolaj Bjorner	4a6083836a	call it data instead of c_ptr for approaching C++11 std::vector convention.	2021-04-13 18:17:35 -07:00
Bruce Mitchener	76eb7b9ede	Use nullptr.	2018-02-12 14:05:55 +07:00
Bruce Mitchener	ae8027e594	Fix typos.	2018-02-01 19:39:43 +07:00
Nikolaj Bjorner	b19f94ae5b	make include paths uniformly use path relative to src. #534 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2017-07-31 13:24:11 -07:00
Nikolaj Bjorner	0d56499e2d	re-organize muz_qe into separate units ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2013-08-28 21:20:24 -07:00

Renamed from src/muz/aig_exporter.cpp (Browse further)