Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Fri, 12 Nov 2010 15:56:11 +0100 boehmes preliminary support for newer versions of Z3 changeset | files
Fri, 12 Nov 2010 15:56:10 +0100 boehmes 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 changeset | files
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
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
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle