Leonardo de Moura 88cc3dc20d Add interrupt to normalizer. Fix tests (they were not using the basic printer). ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2013-08-19 20:05:56 -07:00
..
arith.cpp	Add interrupt to normalizer. Fix tests (they were not using the basic printer).	2013-08-19 20:05:56 -07:00
CMakeLists.txt	Add occurs function	2013-08-14 18:17:17 -07:00
environment.cpp	Add parse_arrow	2013-08-18 15:44:39 -07:00
expr.cpp	Add interrupt to normalizer. Fix tests (they were not using the basic printer).	2013-08-19 20:05:56 -07:00
free_vars.cpp	Remove "continue_on_violation(true);" from tests	2013-08-14 13:24:18 -07:00
level.cpp	Improve formatter usage. Fix bug in object printer.	2013-08-17 11:29:43 -07:00
normalize.cpp	Add interrupt to normalizer. Fix tests (they were not using the basic printer).	2013-08-19 20:05:56 -07:00
occurs.cpp	Remove sanitize_names from kernel	2013-08-16 20:40:39 -07:00
replace.cpp	Add interrupt to normalizer. Fix tests (they were not using the basic printer).	2013-08-19 20:05:56 -07:00
threads.cpp	Disable thread-related tests on OSX due to the bug on gcc-4.8.1	2013-08-12 14:58:18 -07:00
type_check.cpp	Add interrupt method to type checker.	2013-08-19 20:05:56 -07:00