Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
rationalized output for forthcoming slicing model
13 months ago, by blanchet
use same default for FO and HO provers w.r.t. induction principles, based on evaluation -- this also simplifies the code
13 months ago, by blanchet
disable slicing within ATP module (in preparation for refactoring)
13 months ago, by blanchet
disable slicing within SMT (in preparation for factoring it out)
13 months ago, by blanchet
generalized the 'slice' option towards more flexible slicing
13 months ago, by blanchet
tuned -- fewer warnings;
13 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip