8 Commits

Author	SHA1	Message	Date
Araq	c4d05ca130	better effect inference	2014-11-02 14:35:13 +01:00
Araq	1a3b730bf5	made tests green	2014-09-22 01:25:13 +02:00
Araq	d7d059a686	more tests green	2014-08-31 17:23:35 +02:00
Araq	b8ce3a4175	fixes 'gcsafe'	2014-08-12 08:47:31 +02:00
Zahary Karadjov	26890b6525	make some tests red :) (i.e. print failure details while running the tester)	2014-03-16 21:05:20 +02:00
Zahary Karadjov	f0953db3ba	handle arbitrary expressions dependent on static input params in proc signatures	2014-03-16 20:42:06 +02:00
Araq	2b9311e9f1	fixes #584	2014-02-14 23:47:06 +01:00
Araq	20b5f31c03	new tester; all tests categorized	2014-01-13 02:10:03 +01:00