mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-14 09:45:36 +00:00
Code Activity
z3/src/sat
History
Nikolaj Bjorner 466a5620e1
Merge build warning fixes by davedets into Master (#10460) 
Imports the `davedets:master` covered-switch-default cleanup into
`Detlefs`.

- **Warning cleanup**
  - Removes redundant `default` cases across exhaustive enum switches.
  - Enables Clang’s `-Wcovered-switch-default`.

- **Portability**
  - Adds the non-Clang no-op for statement-context warning suppression.
  - Retains the arithmetic solver fallback for unrecognized solver IDs.

```cpp
START_DISABLE_COVERED_SWITCH_DEFAULT
default:
    m_context.register_plugin(alloc(smt::theory_mi_arith, m_context));
    break;
END_DISABLE_WARNING_STMT
```

---------

---------

Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
Co-authored-by: David Detlefs <daviddetlefs@gmail.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-08-08 16:17:39 -07:00
..
sat_solver Fix unsound model from parallel QF_BV solving (#10133) (#10142) 2026-07-16 11:47:07 -07:00
smt Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
tactic Make implicit switch case fall-throughs explicit (#10284) 2026-07-29 09:05:42 -07:00
CMakeLists.txt remove stale experimental code #8063 2025-12-12 05:49:05 +00:00
dimacs.cpp deal with compiler warnings and include value exchange prior to final check. 2025-01-24 09:40:33 -08:00
dimacs.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_aig_finder.cpp Fix static analysis issues: null dereferences, unsafe casts, branch clones, uninitialized members (#9424) 2026-04-29 13:37:11 -07:00
sat_aig_finder.h
sat_allocator.h
sat_anf_simplifier.cpp Refactor sat_anf_simplifier to use C++17 structured bindings (#8358) 2026-01-27 09:59:26 -08:00
sat_anf_simplifier.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_asymm_branch.cpp Add global suppress_platform_verbose parameter (#10319) 2026-07-30 20:08:25 -07:00
sat_asymm_branch.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_asymm_branch_params.pyg
sat_bcd.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_bcd.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_big.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_big.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_clause.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_clause.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_clause_set.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_clause_set.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_clause_use_list.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_clause_use_list.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_cleaner.cpp Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_cleaner.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_config.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_config.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_ddfw_wrapper.cpp flip tabu on predicate being repaired, add model rotation code 2025-01-02 14:39:36 -08:00
sat_ddfw_wrapper.h Remove redundant overridden default destructors (#8191) 2026-01-14 18:41:26 +00:00
sat_drat.cpp Centralize and document TRACE tags using X-macros (#7657) 2025-05-28 14:31:25 +01:00
sat_drat.h Replace empty destructors with = default for compiler optimization (#8189) 2026-01-13 10:50:10 -08:00
sat_elim_eqs.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_elim_eqs.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_extension.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_gc.cpp Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_integrity_checker.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_integrity_checker.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_justification.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_local_search.cpp Fix high-confidence clang-tidy warnings (#10451) 2026-08-07 15:49:47 -07:00
sat_local_search.h remove default destructors 2024-10-02 22:20:12 +01:00
sat_lookahead.cpp Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_lookahead.h Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_model_converter.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_model_converter.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_mus.cpp Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_mus.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_npn3_finder.cpp
sat_npn3_finder.h
sat_parallel.cpp Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_parallel.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_prob.cpp
sat_prob.h
sat_probing.cpp Add global suppress_platform_verbose parameter (#10319) 2026-07-30 20:08:25 -07:00
sat_probing.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_proof_trim.cpp fix bug in trim code missing dependecy 2025-06-07 15:39:05 -07:00
sat_proof_trim.h Migrate codebase to std::string_view (except z3++.h) (#8266) 2026-01-21 09:30:41 -08:00
sat_scc.cpp Add global suppress_platform_verbose parameter (#10319) 2026-07-30 20:08:25 -07:00
sat_scc.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_scc_params.pyg
sat_simplifier.cpp Add global suppress_platform_verbose parameter (#10319) 2026-07-30 20:08:25 -07:00
sat_simplifier.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_simplifier_params.pyg remove unused bdd based variable elimination 2025-04-14 16:07:41 -07:00
sat_solver.cpp Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_solver.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_solver_core.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_types.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_watched.cpp Merge build warning fixes by davedets into Master (#10460) 2026-08-08 16:17:39 -07:00
sat_watched.h Remove unnecessary semicolons (Attempt 2) (#10020) 2026-07-02 12:47:29 -07:00
sat_xor_finder.cpp replace some copies with moves 2026-02-09 22:45:28 +00:00
sat_xor_finder.h