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