isabelle: Graph

Mercurial Mercurial > repos > isabelle / 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

consider schedule calculation time in estimation;
13 months ago, by Fabian Huch
compare previous build schedule with new one, to prevent regressions;
13 months ago, by Fabian Huch
clarified: build schedules may be outdated when empty, after some time, or due to build progress;
13 months ago, by Fabian Huch
store previous build jobs in graph so schedules can be used later in the build process;
13 months ago, by Fabian Huch
add serial for build schedule to avoid unnecessary db read/writes;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch
clarified;
13 months ago, by Fabian Huch
tuned;
13 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);
13 months ago, by Fabian Huch
add build uuid to schedule;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch
use schedule directly instead of extra cache;
13 months ago, by Fabian Huch
added build schedule command-line wrapper;
13 months ago, by Fabian Huch
added graphical representation of build schedules;
13 months ago, by Fabian Huch
clarified build heuristics parameters;
13 months ago, by Fabian Huch
proper parallel paths: factor in elapsed time;
13 months ago, by Fabian Huch
performance tuning: cache estimates;
13 months ago, by Fabian Huch
misc tuning and clarification;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
misc tuning and clarification, following Term.incr_bv / Term.incr_boundvars;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
minor performance tuning: regular Same.operation;
13 months ago, by wenzelm
clarified signature: more standard argument order;
13 months ago, by wenzelm
clarified signature: more standard argument order;
13 months ago, by wenzelm
tuned whitespace;
13 months ago, by wenzelm
tuned: more standard names;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
tuned: prefer Same.commit;
13 months ago, by wenzelm
tuned: more standard argument order;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
tuned comments;
13 months ago, by wenzelm
tuned structure;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
performance tuning: cache for ztyp_of within zterm_of;
13 months ago, by wenzelm
tuned names;
13 months ago, by wenzelm
minor performance tuning;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
minor performance tuning;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
proper treatment of ZConstP: term represents body of closure;
13 months ago, by wenzelm
proper substitution of types within term;
13 months ago, by wenzelm
more accurate treatment of term variables after instantiation of type variables;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
check that Isar proofs contain one 'show'
13 months ago, by blanchet
include unnamed chained facts in Sledgehammer's relevance filter
13 months ago, by blanchet
merge
13 months ago, by blanchet
removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics
13 months ago, by blanchet
don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts
13 months ago, by blanchet
tuned T functions: now 0 if not recursive
13 months ago, by nipkow
minor performance tuning;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

isabelle