17 months ago wenzelm clarified signature: explicit Progress date;
17 months ago wenzelm more uniform progress;
17 months ago wenzelm more robust: support concurrent output;
17 months ago wenzelm disable multi-builds (again): does not quite work yet;
17 months ago wenzelm clarified modules;
17 months ago wenzelm clarified signature;
17 months ago wenzelm clarified SEQ: more sequential evaluation to support multiple tests (see also 5c91bd51fc37);
17 months ago wenzelm tuned signature;
17 months ago wenzelm proper Compress.Cache;
17 months ago wenzelm clarified signature;
17 months ago wenzelm more parallelism via consumer thread: with mailbox limit to avoid ressource problems;
17 months ago wenzelm support for mailbox limit;
17 months ago wenzelm tuned signature;
17 months ago wenzelm discontinued pointless option (reverting 63d55ba90a9f): performance tuning works better via SQL.Database.execute_batch_statement;
17 months ago wenzelm clarified database transactions (see also 2c704ae04db1, 7bd0a250183b);
17 months ago wenzelm afford multiple tests on fast machines (see also edb4faf666c9 and 2a26d423d9fb);
17 months ago wenzelm performance tuning: parallel and incremental update of build_log_database;
17 months ago wenzelm performance tuning: more careful database access;
17 months ago wenzelm clarified message;
17 months ago wenzelm tuned signature;
17 months ago wenzelm tuned;
17 months ago wenzelm prefer old-style import "=>";
17 months ago wenzelm merged
17 months ago wenzelm redundant (see also 3069da1743bc);
17 months ago wenzelm removed obsolete table (see also 6acd1a2bd146);
17 months ago wenzelm more robust init_database();
17 months ago wenzelm proper private_data.transaction_lock;
17 months ago wenzelm clarified names;
17 months ago wenzelm proper support for SSH;
17 months ago wenzelm tuned signature;
17 months ago wenzelm tuned imports;
17 months ago Fabian Huch add module for faster scheduled builds;
17 months ago Fabian Huch always use host database and make protected;
17 months ago Fabian Huch read relative cpu from build log;
17 months ago Fabian Huch prefer extensible next_node_info in build process over process_options in build engine (which needs the final node info anyway);
17 months ago Fabian Huch added start date to build jobs, e.g., for build time estimation;
17 months ago Fabian Huch added initial version of benchmark module, e.g., to compare performance of different hosts;
17 months ago Fabian Huch generalized node infos: allow addressing of numa node segments via relative cpus;
17 months ago Fabian Huch add information about static host resources such as available NUMA nodes, cpus, etc. (e.g., for offline build planning);
17 months ago Fabian Huch added Range object to Host, e.g. to parse/unparse NUMA node ranges;
17 months ago Fabian Huch defined statically known tables of Build_Log;
17 months ago nipkow added lemma
17 months ago nipkow added lemma
17 months ago nipkow added lemma
17 months ago Fabian Huch NEWS and CONTRIBUTORS;
17 months ago Fabian Huch remove unused ci-extras component;
17 months ago Fabian Huch use mail module in CI build;
17 months ago Fabian Huch added mail module;
17 months ago Fabian Huch build javamail component and add to main components;
17 months ago Fabian Huch added component for javax mail;
17 months ago wenzelm updated to vampire-4.8;
17 months ago wenzelm tuned README;
17 months ago wenzelm update Vampire version, following hints by Martin Desharnais;
17 months ago wenzelm removed junk;
17 months ago desharna tuned component_vampire script for Vampire 4.8 and added new flag to force version name
17 months ago Fabian Huch prefer Isabelle options for CI mail settings over ci.properties;
17 months ago paulson Added the command nxsketch, which is like sketch except it separates these subgoals by "next" fills in the context using "fix"/"assume" rather than "for"/"if". Also the sketch command does the same if there is only one subgoal.
17 months ago wenzelm proper cut for Parse.enum1' and its derivatives (see also 769abc29bb8e);
17 months ago wenzelm unused (see fe9e590ae52f);
17 months ago wenzelm clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip