3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-31 00:13:16 +00:00
z3/src/math/subpaving
Nuno Lopes 7ce88d4da9 fix a few compilation warnings
- 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>
2013-04-21 14:36:39 -07:00
..
tactic saved params work 2012-11-29 17:19:12 -08:00
subpaving.cpp fix a few compilation warnings 2013-04-21 14:36:39 -07:00
subpaving.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_hwf.cpp reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_hwf.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpf.cpp reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpf.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpff.cpp reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpff.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpfx.cpp reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpfx.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpq.cpp reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_mpq.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_t.h reorganizing the code 2012-10-23 21:53:34 -07:00
subpaving_t_def.h saved params work 2012-11-29 17:19:12 -08:00
subpaving_types.h reorganizing the code 2012-10-23 21:53:34 -07:00