Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
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
.
Thu, 10 May 2012 09:10:43 +0200
convert real number theory to use lifting/transfer
changeset
huffman [Thu, 10 May 2012 09:10:43 +0200] rev 47902
convert real number theory to use lifting/transfer
Mon, 07 May 2012 15:04:17 +0200
tuned ordering of lemmas
changeset
huffman [Mon, 07 May 2012 15:04:17 +0200] rev 47901
tuned ordering of lemmas
Thu, 10 May 2012 10:07:41 +0200
pass fewer facts to LEO-II and Satallax
changeset
blanchet [Thu, 10 May 2012 10:07:41 +0200] rev 47900
pass fewer facts to LEO-II and Satallax
Thu, 10 May 2012 10:07:40 +0200
tweak LEO-II setup
changeset
blanchet [Thu, 10 May 2012 10:07:40 +0200] rev 47899
tweak LEO-II setup
Thu, 10 May 2012 10:07:40 +0200
use raw monomorphic encoding with Waldmeister, to avoid overloading it with too many function symbols (as would be the case using mangled monomorphic encodings)
changeset
blanchet [Thu, 10 May 2012 10:07:40 +0200] rev 47898
use raw monomorphic encoding with Waldmeister, to avoid overloading it with too many function symbols (as would be the case using mangled monomorphic encodings)
Wed, 09 May 2012 11:24:38 +0200
build Pure_64 with new settings
changeset
bulwahn [Wed, 09 May 2012 11:24:38 +0200] rev 47897
build Pure_64 with new settings
Wed, 09 May 2012 11:17:54 +0200
tuned
changeset
bulwahn [Wed, 09 May 2012 11:17:54 +0200] rev 47896
tuned
Wed, 09 May 2012 10:39:54 +0200
playing around with mira settings
changeset
bulwahn [Wed, 09 May 2012 10:39:54 +0200] rev 47895
playing around with mira settings
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip