Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+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.
more operations;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
consider schedule calculation time in estimation;
14 months ago, by Fabian Huch
compare previous build schedule with new one, to prevent regressions;
14 months ago, by Fabian Huch
clarified: build schedules may be outdated when empty, after some time, or due to build progress;
14 months ago, by Fabian Huch
store previous build jobs in graph so schedules can be used later in the build process;
14 months ago, by Fabian Huch
add serial for build schedule to avoid unnecessary db read/writes;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
clarified;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent);
14 months ago, by Fabian Huch
add build uuid to schedule;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
use schedule directly instead of extra cache;
14 months ago, by Fabian Huch
added build schedule command-line wrapper;
14 months ago, by Fabian Huch
added graphical representation of build schedules;
14 months ago, by Fabian Huch
clarified build heuristics parameters;
14 months ago, by Fabian Huch
proper parallel paths: factor in elapsed time;
14 months ago, by Fabian Huch
performance tuning: cache estimates;
14 months ago, by Fabian Huch
misc tuning and clarification;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
misc tuning and clarification, following Term.incr_bv / Term.incr_boundvars;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
minor performance tuning: regular Same.operation;
14 months ago, by wenzelm
clarified signature: more standard argument order;
14 months ago, by wenzelm
clarified signature: more standard argument order;
14 months ago, by wenzelm
tuned whitespace;
14 months ago, by wenzelm
tuned: more standard names;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned: prefer Same.commit;
14 months ago, by wenzelm
tuned: more standard argument order;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
tuned comments;
14 months ago, by wenzelm
tuned structure;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
performance tuning: cache for ztyp_of within zterm_of;
14 months ago, by wenzelm
tuned names;
14 months ago, by wenzelm
minor performance tuning;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
minor performance tuning;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
proper treatment of ZConstP: term represents body of closure;
14 months ago, by wenzelm
proper substitution of types within term;
14 months ago, by wenzelm
more accurate treatment of term variables after instantiation of type variables;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
check that Isar proofs contain one 'show'
14 months ago, by blanchet
include unnamed chained facts in Sledgehammer's relevance filter
14 months ago, by blanchet
merge
14 months ago, by blanchet
removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics
14 months ago, by blanchet
don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts
14 months ago, by blanchet
tuned T functions: now 0 if not recursive
14 months ago, by nipkow
minor performance tuning;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
misc tuning and clarification;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
more ML pretty-printing;
14 months ago, by wenzelm
clarified const_proof vs. zproof_name;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
more zproofs;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
more zterm operations;
14 months ago, by wenzelm
compactified specification of type class parity
14 months ago, by haftmann
generalized
14 months ago, by haftmann
explicit annotation of lemma duplicates
14 months ago, by haftmann
merged
14 months ago, by wenzelm
clarified proof_body: cover zboxes from zproof;
14 months ago, by wenzelm
pro-forma support for optional zproof: no proper content yet;
14 months ago, by wenzelm
clarified signature: follow Term.could_unify;
14 months ago, by wenzelm
clarified bootstrap --- modules related to proofterm.ML;
14 months ago, by wenzelm
clarified path time heuristic: configurable parameters for larger search space;
14 months ago, by Fabian Huch
clarified heuristics toString;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
add heuristic for non-scheduled (standard) build behaviour;
14 months ago, by Fabian Huch
proper unused nodes;
14 months ago, by Fabian Huch
clarified schedule message;
14 months ago, by Fabian Huch
proper parallel paths;
14 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
+300
+1000
tip