Mercurial
Mercurial
>
repos
>
testboard
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+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.
tuned;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
avoid change of existing file, notably rebuild via ghc_stack;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
clarified process description;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more Isabelle/Haskell;
10 months ago, by wenzelm
made sure lambda-lifting works well with native let binders in Sledgehammer
10 months ago, by blanchet
handle Zipperposition's ResourceOut gracefully
10 months ago, by blanchet
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
10 months ago, by blanchet
handle Zipperposition's ResourceOut gracefully
draft
10 months ago, by blanchet
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
draft
10 months ago, by blanchet
made sure lambda-lifting works well with native let binders in Sledgehammer
draft
10 months ago, by blanchet
proper test for type constructor;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more scalable data structure (but: rarely used with > 5 arguments);
10 months ago, by wenzelm
Backed out changeset d4af818e0880
10 months ago, by Kevin Kappelmann
merged
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
reflect moved theories
10 months ago, by nipkow
unhide canonical function def examples
10 months ago, by nipkow
merged
10 months ago, by nipkow
merged
10 months ago, by nipkow
Backed out changeset fe8d0f4da0e6
11 months ago, by nipkow
more Isabelle/Haskell operations;
10 months ago, by wenzelm
changed variables in TPTP $ite to TPTP constants
draft
10 months ago, by desharna
merged
draft
10 months ago, by desharna
more Isabelle/Haskell operations;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
more Isabelle/Haskell operations;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
minor performance tuning;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
treat Symbol.eof as in ML (but: presently unused);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
minor performance tuning;
10 months ago, by wenzelm
changed variables in TPTP $ite to TPTP constants
draft
10 months ago, by desharna
refactored tptp_builtins
draft
10 months ago, by desharna
clarified signature;
10 months ago, by wenzelm
proper Isabelle symbol positions;
10 months ago, by wenzelm
more Haskell operations;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
Add new closure solver
10 months ago, by Lukas Stevens
tuned signature: prefer existing Haskell operations;
10 months ago, by wenzelm
more Haskell operations;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip