wenzelm [Sat, 13 Nov 2010 00:24:41 +0100] rev 40519
updated README;
wenzelm [Fri, 12 Nov 2010 21:37:01 +0100] rev 40518
defensive defaults for more robust experience for new users;
wenzelm [Fri, 12 Nov 2010 17:44:03 +0100] rev 40517
merged
boehmes [Fri, 12 Nov 2010 15:56:11 +0100] rev 40516
preliminary support for newer versions of Z3
boehmes [Fri, 12 Nov 2010 15:56:10 +0100] rev 40515
turned SMT counterexamples into verbose messages (they had been swallowed before, following the state of smt_trace -- which is off by default), because they might be useful for the user
boehmes [Fri, 12 Nov 2010 15:56:08 +0100] rev 40514
let the theory formally depend on the Boogie output
boehmes [Fri, 12 Nov 2010 15:56:07 +0100] rev 40513
look for certificates relative to the theory
boehmes [Fri, 12 Nov 2010 15:56:06 +0100] rev 40512
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
huffman [Fri, 12 Nov 2010 06:11:29 -0800] rev 40511
merged
huffman [Fri, 12 Nov 2010 06:05:26 -0800] rev 40510
update Theory.requires with new theory name
wenzelm [Fri, 12 Nov 2010 14:51:28 +0100] rev 40509
tuned signatures;
wenzelm [Fri, 12 Nov 2010 14:06:37 +0100] rev 40508
never open Unsynchronized;
wenzelm [Fri, 12 Nov 2010 12:57:02 +0100] rev 40507
merged
huffman [Wed, 10 Nov 2010 18:45:48 -0800] rev 40506
section headings