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 -50 -24 +24 +50 +100 +300 +1000 tip

proper piecewise linear build time interpolation;
14 months ago, by Fabian Huch
properly incorporate running tasks into timing heuristic;
14 months ago, by Fabian Huch
clarified ready vs. next ready;
14 months ago, by Fabian Huch
introduced path heuristic abstraction;
14 months ago, by Fabian Huch
base abstract specification of NOT on recursive equation rather than bit projection
14 months ago, by haftmann
modernized, reordered, generalized
14 months ago, by haftmann
more correct type annotation
14 months ago, by haftmann
proper build with jdk-21 (amending 4fb5e6499da9);
14 months ago, by wenzelm
NEWS;
14 months ago, by wenzelm
update to jdk-21.0.1;
14 months ago, by wenzelm
rebuild jedit with minimal patch for jdk-21, following SVN 25690;
14 months ago, by wenzelm
clarified modules;
14 months ago, by wenzelm
suppress duplicate entries systematically using log_name: e.g. relevant for AFP;
14 months ago, by wenzelm
clarified operation: pick current pull_date instead of previous one;
14 months ago, by wenzelm
operations AND, OR, XOR are specified by characteristic recursive equation
14 months ago, by haftmann
clarified toml keys operations;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
clarified toml keys: more operations;
14 months ago, by Fabian Huch
use toml key operations properly;
14 months ago, by Fabian Huch
clarified toml keys formatting vs. toString;
14 months ago, by Fabian Huch
clarified keys module;
14 months ago, by Fabian Huch
pull out toml keys module;
14 months ago, by Fabian Huch
clarified toml parser interface;
14 months ago, by Fabian Huch
prefer symbolic build_history_base_arm;
14 months ago, by wenzelm

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

isabelle