| Thu, 16 Sep 2010 13:49:04 +0200 | bulwahn | adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck | file | diff | annotate |
| Wed, 15 Sep 2010 09:36:39 +0200 | bulwahn | adding option show_invalid_clauses for a more detailed message when modes are not inferred | file | diff | annotate |