Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
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.
tuned;
22 months ago, by wenzelm
misc tuning and clarification;
22 months ago, by wenzelm
slightly more compact heap: better sharing of persistent tuples;
22 months ago, by wenzelm
added method to generate build schedules directly;
22 months ago, by Fabian Huch
clarified load vs. apply vs. make;
22 months ago, by Fabian Huch
tuned;
22 months ago, by Fabian Huch
tuned heuristic;
22 months ago, by Fabian Huch
use cpu time for approximation;
22 months ago, by Fabian Huch
lower bound for approximated times;
22 months ago, by Fabian Huch
use full timing information in build schedule;
22 months ago, by Fabian Huch
consistent hosts ordering;
22 months ago, by Fabian Huch
filter hosts properly;
22 months ago, by Fabian Huch
merged
22 months ago, by wenzelm
more compact representation of theory_id -- via consecutive thread-local ids;
22 months ago, by wenzelm
misc tuning and clarification;
22 months ago, by wenzelm
more compact representation;
22 months ago, by wenzelm
more compact representation;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
more compact representation of theory_id;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
compact representation of sets of integers;
22 months ago, by wenzelm
generated build schedule explicitly (e.g., for further analysis);
22 months ago, by Fabian Huch
de-duplicated specification of class ring_bit_operations
22 months ago, by haftmann
generalized
22 months ago, by haftmann
restructured
22 months ago, by haftmann
grouped lemmas for symbolic computations
22 months ago, by haftmann
sorted out lemma duplicates
22 months ago, by haftmann
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
clarified modules: Build_Log.private_data provides raw data access without transaction_lock;
22 months ago, by wenzelm
more thorough transaction_lock;
22 months ago, by wenzelm
obsolete, see also a5896fe040dd;
22 months ago, by wenzelm
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
22 months ago, by wenzelm
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
22 months ago, by wenzelm
clarified buffer_size;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);
22 months ago, by wenzelm
workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
prefer Unix-domain socket on Unix;
22 months ago, by wenzelm
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature: more general make_streams;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
more robust exception handling (amending 8cc1ae43e12e);
22 months ago, by wenzelm
clarified signature: avoid deprecated URL constructors;
22 months ago, by wenzelm
avoid deprecated URL constructors;
22 months ago, by wenzelm
proper split;
22 months ago, by Fabian Huch
properly sort entries;
22 months ago, by Fabian Huch
tuned;
22 months ago, by Fabian Huch
tuned;
22 months ago, by Fabian Huch
better estimation for unknown jobs;
22 months ago, by Fabian Huch
clarified and tuned timing estimation;
22 months ago, by Fabian Huch
split actual approximation from data handling;
22 months ago, by Fabian Huch
clarified timing data vs. timing entries: full top-level data view vs. dynamic partial data;
22 months ago, by Fabian Huch
proper filter for approximations;
22 months ago, by Fabian Huch
proper inflection point check;
22 months ago, by Fabian Huch
tuned;
22 months ago, by Fabian Huch
slightly more elementary characterization of unset_bit
22 months ago, by haftmann
more direct characterization of binary bit operations
22 months ago, by haftmann
tuned;
22 months ago, by Fabian Huch
clarified timing data operations: proper estimation (instead of known points);
22 months ago, by Fabian Huch
use proper max threads (limited by available hardware) in heuristics;
22 months ago, by Fabian Huch
clarified time estimation: does not use config;
22 months ago, by Fabian Huch
handle inflection point in interpolation with monotone prefix;
22 months ago, by Fabian Huch
proper computation of sorted prefix;
22 months ago, by Fabian Huch
better build time interpolation: model with Amdahl's law where applicable;
22 months ago, by Fabian Huch
proper piecewise linear build time interpolation;
22 months ago, by Fabian Huch
properly incorporate running tasks into timing heuristic;
22 months ago, by Fabian Huch
clarified ready vs. next ready;
22 months ago, by Fabian Huch
introduced path heuristic abstraction;
22 months ago, by Fabian Huch
base abstract specification of NOT on recursive equation rather than bit projection
22 months ago, by haftmann
modernized, reordered, generalized
22 months ago, by haftmann
more correct type annotation
22 months ago, by haftmann
proper build with jdk-21 (amending 4fb5e6499da9);
22 months ago, by wenzelm
NEWS;
22 months ago, by wenzelm
update to jdk-21.0.1;
22 months ago, by wenzelm
rebuild jedit with minimal patch for jdk-21, following SVN 25690;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
suppress duplicate entries systematically using log_name: e.g. relevant for AFP;
22 months ago, by wenzelm
clarified operation: pick current pull_date instead of previous one;
22 months ago, by wenzelm
operations AND, OR, XOR are specified by characteristic recursive equation
22 months ago, by haftmann
clarified toml keys operations;
22 months ago, by Fabian Huch
tuned;
22 months ago, by Fabian Huch
clarified toml keys: more operations;
22 months ago, by Fabian Huch
use toml key operations properly;
22 months ago, by Fabian Huch
clarified toml keys formatting vs. toString;
22 months ago, by Fabian Huch
clarified keys module;
22 months ago, by Fabian Huch
pull out toml keys module;
22 months ago, by Fabian Huch
clarified toml parser interface;
22 months ago, by Fabian Huch
prefer symbolic build_history_base_arm;
22 months ago, by wenzelm
build_history: proper support for ISABELLE_APPLE_PLATFORM64;
22 months ago, by wenzelm
clarified isabelle_hg (again, see b9d59669904a);
22 months ago, by wenzelm
clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc);
22 months ago, by wenzelm
clarified signature: more operations and options concerning Isabelle hg;
22 months ago, by wenzelm
performance tuning: cache graph;
22 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
22 months ago, by wenzelm
unused (see also 004b39bf06a5);
22 months ago, by wenzelm
clarified signature and modules: more explicit Build_Log.History;
22 months ago, by wenzelm
tuned: avoid recursion;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
avoid duplicate data;
22 months ago, by wenzelm
output more data;
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;
22 months ago, by wenzelm
proper ml_statistics (amending aeb511a520f4);
22 months ago, by wenzelm
unify error messages;
22 months ago, by Fabian Huch
add file information to toml parse context and error messages;
22 months ago, by Fabian Huch
add position information to toml parser and error messages;
22 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;
22 months ago, by Fabian Huch
allow re-defining keys in toml object (already checked during parse time);
22 months ago, by Fabian Huch
clarified toString for toml objects;
22 months ago, by Fabian Huch
tuned
22 months ago, by nipkow
tuned message;
22 months ago, by Fabian Huch
better invalidation for schedule cache (only on relevant changes);
22 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip