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 |
Fri, 12 Nov 2010 06:11:29 -0800 | huffman | merged | changeset | files |
Fri, 12 Nov 2010 06:05:26 -0800 | huffman | update Theory.requires with new theory name | changeset | files |