Fri, 12 Nov 2010 21:37:01 +0100 defensive defaults for more robust experience for new users;
wenzelm [Fri, 12 Nov 2010 21:37:01 +0100] rev 40518
defensive defaults for more robust experience for new users;
Fri, 12 Nov 2010 17:44:03 +0100 merged
wenzelm [Fri, 12 Nov 2010 17:44:03 +0100] rev 40517
merged
Fri, 12 Nov 2010 15:56:11 +0100 preliminary support for newer versions of Z3
boehmes [Fri, 12 Nov 2010 15:56:11 +0100] rev 40516
preliminary support for newer versions of Z3
Fri, 12 Nov 2010 15:56:10 +0100 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: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
Fri, 12 Nov 2010 15:56:08 +0100 let the theory formally depend on the Boogie output
boehmes [Fri, 12 Nov 2010 15:56:08 +0100] rev 40514
let the theory formally depend on the Boogie output
Fri, 12 Nov 2010 15:56:07 +0100 look for certificates relative to the theory
boehmes [Fri, 12 Nov 2010 15:56:07 +0100] rev 40513
look for certificates relative to the theory
Fri, 12 Nov 2010 15:56:06 +0100 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
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
Fri, 12 Nov 2010 06:11:29 -0800 merged
huffman [Fri, 12 Nov 2010 06:11:29 -0800] rev 40511
merged
Fri, 12 Nov 2010 06:05:26 -0800 update Theory.requires with new theory name
huffman [Fri, 12 Nov 2010 06:05:26 -0800] rev 40510
update Theory.requires with new theory name
Fri, 12 Nov 2010 14:51:28 +0100 tuned signatures;
wenzelm [Fri, 12 Nov 2010 14:51:28 +0100] rev 40509
tuned signatures;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip