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
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 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
add heuristic for non-scheduled (standard) build behaviour;
13 months ago, by Fabian Huch
proper unused nodes;
13 months ago, by Fabian Huch
clarified schedule message;
13 months ago, by Fabian Huch
proper parallel paths;
13 months ago, by Fabian Huch
clarified build schedule host: more operations;
13 months ago, by Fabian Huch
clarified path heuristic;
13 months ago, by Fabian Huch
clarified graph operations in timing heuristic;
13 months ago, by Fabian Huch
merged
13 months ago, by nipkow
added and removed [simp]s
13 months ago, by nipkow
tight representation of types / terms / proof terms (presently unused);
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
reduce redundancy: avoid huge lists;
13 months ago, by wenzelm
more detailed profiling including "names";
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
slightly more compact heap: better sharing of persistent tuples;
13 months ago, by wenzelm
added method to generate build schedules directly;
13 months ago, by Fabian Huch
clarified load vs. apply vs. make;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch
tuned heuristic;
13 months ago, by Fabian Huch
use cpu time for approximation;
13 months ago, by Fabian Huch
lower bound for approximated times;
13 months ago, by Fabian Huch
use full timing information in build schedule;
13 months ago, by Fabian Huch
consistent hosts ordering;
13 months ago, by Fabian Huch
filter hosts properly;
13 months ago, by Fabian Huch
merged
13 months ago, by wenzelm
more compact representation of theory_id -- via consecutive thread-local ids;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
more compact representation;
13 months ago, by wenzelm
more compact representation;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
more compact representation of theory_id;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
compact representation of sets of integers;
13 months ago, by wenzelm
generated build schedule explicitly (e.g., for further analysis);
13 months ago, by Fabian Huch
de-duplicated specification of class ring_bit_operations
13 months ago, by haftmann
generalized
13 months ago, by haftmann
restructured
13 months ago, by haftmann
grouped lemmas for symbolic computations
13 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip