3 commits

Author	SHA1	Message	Date
Snaipe	fa29b3c6db	Added back GCC 4.6 support	2015-11-25 20:10:09 +01:00
Snaipe	586f29128d	Refactored the implementation of parameterized tests macros to internal/	2015-11-17 18:24:44 +01:00
Snaipe	bbc5edfb34	Refactored the implementation of theory macros in internal/	2015-11-17 17:49:27 +01:00