Snaipe 50bc75f5fb Merge branch 'features/valgrind-integration' into bleeding		2015-09-27 12:26:20 +02:00
..
compat	[Issue #58] Switched event pipe IO to use native read/write syscalls	2015-09-27 02:31:46 +02:00
core	Merge branch 'features/valgrind-integration' into bleeding	2015-09-27 12:26:20 +02:00
entry	Added sane option defaults when running valgrind	2015-09-26 00:22:21 +02:00
io	Fixed the semantics of ASSERT in event IO	2015-09-27 02:36:28 +02:00
log	Fixed inconsistent message strings for failed theories	2015-09-26 01:33:14 +02:00
string	Refactored most of the sources	2015-09-16 21:18:58 +02:00
common.h	Removed VLA and ?: GNU extension occurences	2015-09-06 00:37:30 +02:00
config.h.in	Added valgrind error suppression for the runner process	2015-09-26 17:02:28 +02:00