Fri, 12 Nov 2010 15:56:08 +0100 | boehmes | let the theory formally depend on the Boogie output | changeset | files |
Fri, 12 Nov 2010 15:56:07 +0100 | boehmes | look for certificates relative to the theory | changeset | files |
Fri, 12 Nov 2010 15:56:06 +0100 | boehmes | dropped numerals from monomorphization blacklist (only particular numerals are builtin, all other numerals should be treated uninterpreted), this blacklist should contain only truely polymorphic builtin constants supported by SMT | changeset | files |