7 Commits

Author	SHA1	Message	Date
hasufell	4f5d7f15bf	Fix build ... detProp2 isn't implemented yet, oops	2014-12-18 04:14:31 +01:00
hasufell	f774a92dd6	TESTS: add MyPrelude tests	2014-12-18 03:53:27 +01:00
hasufell	b1ac2aa223	TESTS: add inRangeProp6	2014-12-18 01:06:16 +01:00
hasufell	ecce3cd9d6	TESTS: add more test cases	2014-12-18 00:47:51 +01:00
hasufell	396f92a921	TESTS: add more tests for scalarProd	2014-12-17 19:53:03 +01:00
hasufell	35e1366034	TESTS: add some tests for scalarProd	2014-12-17 19:37:28 +01:00
hasufell	f68d4c2ba7	TESTS: initial implementation of a few test cases	2014-12-17 05:11:18 +01:00