Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 06 Jun 2011 16:29:13 +0200 atLeastAtMostSuc_conv on int
changeset
kleing [Mon, 06 Jun 2011 16:29:13 +0200] rev 43157
atLeastAtMostSuc_conv on int
Mon, 06 Jun 2011 14:11:54 +0200 fixed typo
changeset
kleing [Mon, 06 Jun 2011 14:11:54 +0200] rev 43156
fixed typo
Sun, 05 Jun 2011 15:00:52 +0200 updated SMT certificates
changeset
boehmes [Sun, 05 Jun 2011 15:00:52 +0200] rev 43155
updated SMT certificates
Sun, 05 Jun 2011 15:00:17 +0200 made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
changeset
boehmes [Sun, 05 Jun 2011 15:00:17 +0200] rev 43154
made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
Fri, 03 Jun 2011 19:37:26 +0200 changing the mira setting again for the mutabelle configuration
changeset
bulwahn [Fri, 03 Jun 2011 19:37:26 +0200] rev 43153
changing the mira setting again for the mutabelle configuration
Fri, 03 Jun 2011 07:25:44 +0200 adding more settings to mira's mutabelle configuration
changeset
bulwahn [Fri, 03 Jun 2011 07:25:44 +0200] rev 43152
adding more settings to mira's mutabelle configuration
Thu, 02 Jun 2011 15:17:23 +0200 merged
changeset
nipkow [Thu, 02 Jun 2011 15:17:23 +0200] rev 43151
merged
Thu, 02 Jun 2011 10:10:23 +0200 Added typed IMP
changeset
nipkow [Thu, 02 Jun 2011 10:10:23 +0200] rev 43150
Added typed IMP
Thu, 02 Jun 2011 10:13:46 +0200 adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively
changeset
bulwahn [Thu, 02 Jun 2011 10:13:46 +0200] rev 43149
adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively
Thu, 02 Jun 2011 09:51:40 +0200 adding invocation of exhaustive testing without using finite types to mutabelle
changeset
bulwahn [Thu, 02 Jun 2011 09:51:40 +0200] rev 43148
adding invocation of exhaustive testing without using finite types to mutabelle
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle