mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-20 07:24:40 +00:00
Code Activity
z3/src/muz/transforms
History
Copilot aaec2e032e 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-02-18 20:57:10 -08:00
..
CMakeLists.txt mk_synchronize rule transformation 2018-09-04 21:49:59 -04:00
dl_mk_array_blast.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_array_blast.h remove default destructors 2024-10-02 22:20:12 +01:00
dl_mk_array_eq_rewrite.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
dl_mk_array_eq_rewrite.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_array_instantiation.cpp Modernize C++ patterns: range-based for loops and nullptr (#8167) 2026-02-18 20:57:10 -08:00
dl_mk_array_instantiation.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_backwards.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_backwards.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_bit_blast.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_bit_blast.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_coalesce.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
dl_mk_coalesce.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_coi_filter.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_coi_filter.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_different.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_elim_term_ite.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_elim_term_ite.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_filter_rules.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_filter_rules.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_interp_tail_simplifier.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_interp_tail_simplifier.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_karr_invariants.cpp Modernize C++ patterns: range-based for loops and nullptr (#8167) 2026-02-18 20:57:10 -08:00
dl_mk_karr_invariants.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_loop_counter.cpp remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_loop_counter.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_magic_sets.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_magic_sets.h delete more default constructors 2024-09-23 12:59:04 +01:00
dl_mk_magic_symbolic.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_magic_symbolic.h remove default destructors & some default constructors 2024-09-04 22:30:23 +01:00
dl_mk_quantifier_abstraction.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_quantifier_abstraction.h remove default destructors 2024-10-02 22:20:12 +01:00
dl_mk_quantifier_instantiation.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_quantifier_instantiation.h remove default destructors 2024-10-02 22:20:12 +01:00
dl_mk_rule_inliner.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_rule_inliner.h Remove empty leaf destructors. (#6211) 2022-07-30 10:07:03 +01:00
dl_mk_scale.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_scale.h remove default destructors 2024-10-02 22:20:12 +01:00
dl_mk_separate_negated_tails.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
dl_mk_separate_negated_tails.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_slice.cpp Modernize C++ patterns: range-based for loops and nullptr (#8167) 2026-02-18 20:57:10 -08:00
dl_mk_slice.h Remove empty leaf destructors. (#6211) 2022-07-30 10:07:03 +01:00
dl_mk_subsumption_checker.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_subsumption_checker.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_synchronize.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
dl_mk_synchronize.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_unbound_compressor.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
dl_mk_unbound_compressor.h booyah 2020-07-04 15:56:30 -07:00
dl_mk_unfold.cpp fix build 2020-06-03 15:12:08 -07:00
dl_mk_unfold.h booyah 2020-07-04 15:56:30 -07:00
dl_transforms.cpp Transformation to eliminate term-ite expressions from DL rules 2018-07-02 17:09:56 -04:00
dl_transforms.h booyah 2020-07-04 15:56:30 -07:00