4 commits

Author	SHA1	Message	Date
Snaipe	45fc694639	Marked with dllexport/import API functions	2015-09-06 00:37:30 +02:00
Snaipe	11eb4a9f10	Added __VA_ARGS__ macro expansions in theories.h for MSVC compatibility	2015-09-05 10:38:24 -07:00
Snaipe	1757752dd1	Added reporting & logging on theory failure	2015-09-03 17:29:46 +02:00
Snaipe	c9501805b6	Added support for theories	2015-09-03 06:38:44 +02:00