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 |
Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | towards time limiting the prolog execution | file | diff | annotate |
Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | adding dependencies to IsaMakefile; increasing negative search limit for predicate_compile_quickcheck; adding tracing of introduction rules in code_prolog | file | diff | annotate |
Tue, 31 Aug 2010 15:02:06 +0200 | bulwahn | handling the quickcheck result no counterexample more correctly | file | diff | annotate |
Tue, 31 Aug 2010 14:30:39 +0200 | bulwahn | adding manual reordering of premises to prolog generation | file | diff | annotate |
Tue, 31 Aug 2010 12:15:50 +0200 | bulwahn | towards support of limited predicates for mutually recursive predicates | file | diff | annotate |
Tue, 31 Aug 2010 11:49:15 +0200 | bulwahn | improving clash-free naming of variables and preds in code_prolog | file | diff | annotate |