5 commits

Author	SHA1	Message	Date
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