Commit Graph

4 Commits

Author SHA1 Message Date
Araq
94e444c90f Merge branch 'devel' of https://github.com/Araq/Nimrod into devel 2014-03-05 02:15:08 +01:00
Araq
aa92669d92 fixes #937 2014-03-05 02:14:53 +01:00
Zahary Karadjov
016492375f failing test case for static evaluation 2014-03-04 22:38:43 +02:00
Araq
20b5f31c03 new tester; all tests categorized 2014-01-13 02:10:03 +01:00