Wed, 15 Dec 2010 08:39:24 +0100 | boehmes | re-ordered SMT normalization code (eta-normalization, lambda abstractions and partial functions will be dealt with on the term level); | file | diff | annotate |
Fri, 10 Dec 2010 09:18:17 +0100 | krauss | made smlnj happy | file | diff | annotate |
Wed, 08 Dec 2010 22:18:37 +0100 | blanchet | lower fudge factor | file | diff | annotate |
Wed, 08 Dec 2010 22:17:53 +0100 | blanchet | implicitly call the minimizer for SMT solvers that don't return an unsat core | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | renamings | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | moved function to later module | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | clarified terminology | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | split "Sledgehammer" module into two parts, to resolve forthcoming dependency problems | file | diff | annotate | base |