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

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
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;
13 months ago, by wenzelm
build_history: proper support for ISABELLE_APPLE_PLATFORM64;
13 months ago, by wenzelm
clarified isabelle_hg (again, see b9d59669904a);
13 months ago, by wenzelm
clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc);
13 months ago, by wenzelm
clarified signature: more operations and options concerning Isabelle hg;
13 months ago, by wenzelm
performance tuning: cache graph;
13 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
13 months ago, by wenzelm
unused (see also 004b39bf06a5);
13 months ago, by wenzelm
clarified signature and modules: more explicit Build_Log.History;
13 months ago, by wenzelm
tuned: avoid recursion;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
avoid duplicate data;
14 months ago, by wenzelm
output more data;
14 months ago, by wenzelm
tuned whitespace;
14 months ago, by wenzelm
clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;
14 months ago, by wenzelm
proper ml_statistics (amending aeb511a520f4);
14 months ago, by wenzelm
unify error messages;
14 months ago, by Fabian Huch
add file information to toml parse context and error messages;
14 months ago, by Fabian Huch
add position information to toml parser and error messages;
14 months ago, by Fabian Huch
properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;
14 months ago, by Fabian Huch
allow re-defining keys in toml object (already checked during parse time);
14 months ago, by Fabian Huch
clarified toString for toml objects;
14 months ago, by Fabian Huch
tuned
14 months ago, by nipkow
tuned message;
14 months ago, by Fabian Huch
better invalidation for schedule cache (only on relevant changes);
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
timing heuristic: parallelize more aggressively to utilize hosts fully;
14 months ago, by Fabian Huch
proper parallel paths for timing heuristic;
14 months ago, by Fabian Huch
scheduled build: allocate cpus more aggressively, to avoid idle threads;
14 months ago, by Fabian Huch
finalize scheduled build only on master node;
14 months ago, by Fabian Huch
finalize current sessions before generating schedule;
14 months ago, by Fabian Huch
clarified signature: more operations;
14 months ago, by Fabian Huch
NEWS
14 months ago, by desharna
merged
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
support for "cluster" table with "hosts" array, and params/options as for "host" table;
14 months ago, by wenzelm
clarified signature: more operations, allow recursive get;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
tuned signature: more operations;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm

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

isabelle