Tue, 07 Dec 2010 14:53:12 +0100 | boehmes | centralized handling of built-in types and constants; | file | diff | annotate |
Thu, 25 Nov 2010 00:32:30 +0100 | blanchet | fix check for builtinness of 0 and 1 -- these aren't functions | file | diff | annotate |
Wed, 24 Nov 2010 15:33:35 +0100 | boehmes | swap names for built-in tester functions (to better reflect the intuition of what they do); | file | diff | annotate |
Wed, 24 Nov 2010 10:39:58 +0100 | boehmes | be more precise: only treat constant 'distinct' applied to an explicit list as built-in | file | diff | annotate |
Tue, 23 Nov 2010 23:43:56 +0100 | blanchet | more precise characterization of built-in constants "number_of", "0", and "1" | file | diff | annotate |
Mon, 22 Nov 2010 23:37:00 +0100 | boehmes | added support for quantifier weight annotations | file | diff | annotate |
Fri, 29 Oct 2010 18:17:08 +0200 | boehmes | added crafted list of SMT built-in constants | file | diff | annotate |