Nikolaj Bjorner 8a0207700c Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsi… (#8342) ... * Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsigned variables Replace implicit conversion from negative literal to unsigned type with explicit UINT_MAX constant to eliminate compiler warnings. Fixed 10 instances across 6 files: - src/ast/rewriter/bv_rewriter.cpp: 1 instance - src/ast/sls/sls_bv_tracker.h: 2 instances - src/math/lp/dioph_eq.cpp: 3 instances - src/math/lp/lp_primal_core_solver.h: 2 instances - src/muz/transforms/dl_mk_array_instantiation.cpp: 1 instance - src/muz/transforms/dl_mk_synchronize.cpp: 1 instance These changes preserve the exact same runtime behavior (UINT_MAX equals the wrapped value of -1 for unsigned types) while making the code more explicit and warning-free. * Update bv_rewriter.cpp --------- Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>		2026-01-25 22:35:43 -08:00
..
CMakeLists.txt	mk_synchronize rule transformation	2018-09-04 21:49:59 -04:00
dl_mk_array_blast.cpp	Refactor mk_and/mk_or call sites to use vector overloads (#8286)	2026-01-22 13:21:22 -08:00
dl_mk_array_blast.h	remove default destructors	2024-10-02 22:20:12 +01:00
dl_mk_array_eq_rewrite.cpp	Refactor mk_and/mk_or call sites to use vector overloads (#8286)	2026-01-22 13:21:22 -08: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	Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsi… (#8342)	2026-01-25 22:35:43 -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	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08:00
dl_mk_filter_rules.h	booyah	2020-07-04 15:56:30 -07:00
dl_mk_interp_tail_simplifier.cpp	Refactor mk_and/mk_or call sites to use vector overloads (#8286)	2026-01-22 13:21:22 -08: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-01-11 21:20:07 -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	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08: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	Refactor mk_and/mk_or call sites to use vector overloads (#8286)	2026-01-22 13:21:22 -08:00
dl_mk_quantifier_abstraction.h	remove default destructors	2024-10-02 22:20:12 +01:00
dl_mk_quantifier_instantiation.cpp	Refactor mk_and/mk_or call sites to use vector overloads (#8286)	2026-01-22 13:21:22 -08:00
dl_mk_quantifier_instantiation.h	remove default destructors	2024-10-02 22:20:12 +01:00
dl_mk_rule_inliner.cpp	Migrate iterator-based for loops to range-based for loops (#8231)	2026-01-17 20:27:47 -08: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-01-11 21:20:07 -08:00
dl_mk_slice.h	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
dl_mk_subsumption_checker.cpp	Migrate iterator-based for loops to range-based for loops (#8231)	2026-01-17 20:27:47 -08:00
dl_mk_subsumption_checker.h	booyah	2020-07-04 15:56:30 -07:00
dl_mk_synchronize.cpp	Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsi… (#8342)	2026-01-25 22:35:43 -08:00
dl_mk_synchronize.h	booyah	2020-07-04 15:56:30 -07:00
dl_mk_unbound_compressor.cpp	Standardize for-loop increments to prefix form (++i) (#8199)	2026-01-14 19:55:31 -08: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