isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 tip

clarified signature;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292);
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more robust: proper Proofterm.get_proofs_level with bound check;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature: fewer tuples;
13 months ago, by wenzelm
clarified signature: fewer tuples;
13 months ago, by wenzelm
clarified signature: more explicit get_proofs_level with bounds check;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
misc tuning and clarification: more standard Same.commit discipline;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned names;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
minor performance tuning: more careful treatment of empty environment;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
clarified signature: support shared cache;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned: avoid shadowing;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned names;
13 months ago, by wenzelm
tuned -- eliminate clones;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
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
misc tuning and clarification;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
more ML pretty-printing;
13 months ago, by wenzelm
clarified const_proof vs. zproof_name;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
more zproofs;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more operations;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
more zterm operations;
13 months ago, by wenzelm
compactified specification of type class parity
13 months ago, by haftmann
generalized
13 months ago, by haftmann
explicit annotation of lemma duplicates
13 months ago, by haftmann
merged
13 months ago, by wenzelm
clarified proof_body: cover zboxes from zproof;
13 months ago, by wenzelm
pro-forma support for optional zproof: no proper content yet;
13 months ago, by wenzelm
clarified signature: follow Term.could_unify;
13 months ago, by wenzelm
clarified bootstrap --- modules related to proofterm.ML;
13 months ago, by wenzelm
clarified path time heuristic: configurable parameters for larger search space;
13 months ago, by Fabian Huch
clarified heuristics toString;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch