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
..
macro_finder_tactic.cpp	saved params work	2012-11-29 17:19:12 -08:00
macro_finder_tactic.h	Made macro-finder and quasi-macros tactics public.	2012-11-21 14:39:39 +00:00
quasi_macros_tactic.cpp	fix a few compilation warnings	2013-04-21 14:36:39 -07:00
quasi_macros_tactic.h	Made macro-finder and quasi-macros tactics public.	2012-11-21 14:39:39 +00:00
ufbv_rewriter.cpp	fix a few compilation warnings	2013-04-21 14:36:39 -07:00
ufbv_rewriter.h	using a consistent naming convention for naming tactic subfolders	2012-10-24 15:11:44 -07:00
ufbv_rewriter_tactic.cpp	Fixed warnings produced by gcc 4.6.3 when compiling in debug mode	2012-10-30 23:43:00 -07:00
ufbv_rewriter_tactic.h	UFBV tactic fixed and cleanup.	2012-10-26 13:50:31 +01:00
ufbv_tactic.cpp	Fixed other parameter setting problems	2012-12-07 10:41:50 -08:00
ufbv_tactic.h	UFBV tactic fixed and cleanup.	2012-10-26 13:50:31 +01:00