Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+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.
split actual approximation from data handling;
13 months ago, by Fabian Huch
clarified timing data vs. timing entries: full top-level data view vs. dynamic partial data;
13 months ago, by Fabian Huch
proper filter for approximations;
13 months ago, by Fabian Huch
proper inflection point check;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch
slightly more elementary characterization of unset_bit
13 months ago, by haftmann
more direct characterization of binary bit operations
13 months ago, by haftmann
tuned;
13 months ago, by Fabian Huch
clarified timing data operations: proper estimation (instead of known points);
13 months ago, by Fabian Huch
use proper max threads (limited by available hardware) in heuristics;
13 months ago, by Fabian Huch
clarified time estimation: does not use config;
13 months ago, by Fabian Huch
handle inflection point in interpolation with monotone prefix;
13 months ago, by Fabian Huch
proper computation of sorted prefix;
13 months ago, by Fabian Huch
better build time interpolation: model with Amdahl's law where applicable;
13 months ago, by Fabian Huch
proper piecewise linear build time interpolation;
13 months ago, by Fabian Huch
properly incorporate running tasks into timing heuristic;
13 months ago, by Fabian Huch
clarified ready vs. next ready;
13 months ago, by Fabian Huch
introduced path heuristic abstraction;
13 months ago, by Fabian Huch
base abstract specification of NOT on recursive equation rather than bit projection
13 months ago, by haftmann
modernized, reordered, generalized
13 months ago, by haftmann
more correct type annotation
13 months ago, by haftmann
proper build with jdk-21 (amending 4fb5e6499da9);
13 months ago, by wenzelm
NEWS;
13 months ago, by wenzelm
update to jdk-21.0.1;
13 months ago, by wenzelm
rebuild jedit with minimal patch for jdk-21, following SVN 25690;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
suppress duplicate entries systematically using log_name: e.g. relevant for AFP;
13 months ago, by wenzelm
clarified operation: pick current pull_date instead of previous one;
13 months ago, by wenzelm
operations AND, OR, XOR are specified by characteristic recursive equation
13 months ago, by haftmann
clarified toml keys operations;
14 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip