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

more detailed profiling including "names";
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
slightly more compact heap: better sharing of persistent tuples;
13 months ago, by wenzelm
added method to generate build schedules directly;
13 months ago, by Fabian Huch
clarified load vs. apply vs. make;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch
tuned heuristic;
13 months ago, by Fabian Huch
use cpu time for approximation;
13 months ago, by Fabian Huch
lower bound for approximated times;
13 months ago, by Fabian Huch
use full timing information in build schedule;
13 months ago, by Fabian Huch
consistent hosts ordering;
13 months ago, by Fabian Huch
filter hosts properly;
13 months ago, by Fabian Huch
merged
13 months ago, by wenzelm
more compact representation of theory_id -- via consecutive thread-local ids;
13 months ago, by wenzelm
misc tuning and clarification;
13 months ago, by wenzelm
more compact representation;
13 months ago, by wenzelm
more compact representation;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
more compact representation of theory_id;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
compact representation of sets of integers;
13 months ago, by wenzelm
generated build schedule explicitly (e.g., for further analysis);
13 months ago, by Fabian Huch
de-duplicated specification of class ring_bit_operations
13 months ago, by haftmann
generalized
13 months ago, by haftmann
restructured
13 months ago, by haftmann
grouped lemmas for symbolic computations
13 months ago, by haftmann
sorted out lemma duplicates
13 months ago, by haftmann
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
13 months ago, by wenzelm
tuned whitespace;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
clarified modules;
13 months ago, by wenzelm
clarified modules: Build_Log.private_data provides raw data access without transaction_lock;
13 months ago, by wenzelm
more thorough transaction_lock;
13 months ago, by wenzelm
obsolete, see also a5896fe040dd;
13 months ago, by wenzelm
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
13 months ago, by wenzelm
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
13 months ago, by wenzelm
clarified buffer_size;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);
13 months ago, by wenzelm
workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
prefer Unix-domain socket on Unix;
13 months ago, by wenzelm
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature: more general make_streams;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
more robust exception handling (amending 8cc1ae43e12e);
13 months ago, by wenzelm
clarified signature: avoid deprecated URL constructors;
13 months ago, by wenzelm
avoid deprecated URL constructors;
13 months ago, by wenzelm
proper split;
13 months ago, by Fabian Huch
properly sort entries;
13 months ago, by Fabian Huch
tuned;
13 months ago, by Fabian Huch

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

isabelle