11 commits

Author	SHA1	Message	Date
Snaipe	4352878db6	Fixed incorrect float comparison on MinGW-GCC for theory samples	2015-09-28 20:06:18 +02:00
Snaipe	974b7d0393	Revert "Removed theory parameter printing from sample & regression test" ... & "Added regression tests on theories" This reverts commits 4cc826eae3 and 6110f43d87. Regression tests cannot be done on the two theory samples, as they both illustrate the consequences of testing against undefined behaviour. A full-fledged internal test should be set up in ./samples/tests for this purpose.	2015-09-26 01:39:17 +02:00
Snaipe	4cc826eae3	Removed theory parameter printing from sample & regression test	2015-09-26 00:36:51 +02:00
Snaipe	4d114fdd38	Changed the assert interface to accept a format string	2015-09-08 18:49:24 +02:00
Snaipe	afad78c433	Added generated datapoints theory sample	2015-09-07 18:03:05 +02:00
Adeel	54ba0135d4	Repo: Mutes a modifier mismatch warning. ... * Also added `CMakeFiles/` dir to `.gitignore` and updated README.	2015-09-06 20:08:49 +03:00
Snaipe	29befaf779	Added better parameter formatting for theories & added bool theory parameter to misc sample	2015-09-04 16:39:40 +02:00
Snaipe	9e3196f737	Made the misc theory test fail to test parameter formatting	2015-09-04 15:57:02 +02:00
Snaipe	e1e332e38b	Added a test for various theory parameters	2015-09-04 15:52:54 +02:00
Snaipe	029b5e43c3	Added better theory sample	2015-09-03 14:29:46 +02:00
Snaipe	c9501805b6	Added support for theories	2015-09-03 06:38:44 +02:00