mirror of
https://github.com/Z3Prover/z3
synced 2025-10-28 10:19:23 +00:00
- remove unused variables and class fields - add support for gcc 4.5 & clang's __builtin_unreachable - fix 2 bugs related to strict aliasing - remove a few unused function parameters Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com> |
||
|---|---|---|
| .. | ||
| tactic | ||
| subpaving.cpp | ||
| subpaving.h | ||
| subpaving_hwf.cpp | ||
| subpaving_hwf.h | ||
| subpaving_mpf.cpp | ||
| subpaving_mpf.h | ||
| subpaving_mpff.cpp | ||
| subpaving_mpff.h | ||
| subpaving_mpfx.cpp | ||
| subpaving_mpfx.h | ||
| subpaving_mpq.cpp | ||
| subpaving_mpq.h | ||
| subpaving_t.h | ||
| subpaving_t_def.h | ||
| subpaving_types.h | ||