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 |
|