| 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 |
| Fri, 12 Nov 2010 14:51:28 +0100 | wenzelm | tuned signatures; | changeset | files |
| Fri, 12 Nov 2010 14:06:37 +0100 | wenzelm | never open Unsynchronized; | changeset | files |
| Fri, 12 Nov 2010 12:57:02 +0100 | wenzelm | merged | changeset | files |