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
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.
minimal documentation for build cluster support;
11 months ago, by wenzelm
more robust access to local variables;
11 months ago, by wenzelm
tuned messages: avoid duplicates;
11 months ago, by wenzelm
removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);
11 months ago, by wenzelm
tuned error;
11 months ago, by wenzelm
tuned messages (again);
11 months ago, by wenzelm
tuned: prefer explicit types;
11 months ago, by wenzelm
support for Host.dirs;
11 months ago, by wenzelm
tuned message: failure can happen towards the end, e.g. due to failed sessions or progress.stopped;
11 months ago, by wenzelm
support multiple host names;
11 months ago, by wenzelm
clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock;
11 months ago, by wenzelm
avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer
11 months ago, by blanchet
tuned message;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more accurate treatment of state vs. serial vs. db;
11 months ago, by wenzelm
more explicit check;
11 months ago, by wenzelm
proper numa_nodes for build_worker;
11 months ago, by wenzelm
tuned message;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
support hosts with shared directory (e.g. NFS);
11 months ago, by wenzelm
tuned message: failure may stem from build_cluster init;
11 months ago, by wenzelm
proper sync_database for receive timeout;
11 months ago, by wenzelm
clarified source structure;
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
clarified command-line tools;
11 months ago, by wenzelm
tuned output;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
proper sequential evaluation;
11 months ago, by wenzelm
more robust command options;
11 months ago, by wenzelm
performance tuning: avoid redundant db access;
11 months ago, by wenzelm
clarified signature: proper treatment of implicit state (amending d0c9d277620e);
11 months ago, by wenzelm
performance tuning: avoid redundant db access;
11 months ago, by wenzelm
performance tuning: avoid multiple db roundtrips;
11 months ago, by wenzelm
clarified signature: more robust treatment of implicit state;
11 months ago, by wenzelm
proper sync_database for Database_Progress consumer;
11 months ago, by wenzelm
tuned message;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned messages;
11 months ago, by wenzelm
tuned signature: removed unused arguments;
11 months ago, by wenzelm
minor performance tuning: avoid multiple db roundtrips;
11 months ago, by wenzelm
more operations;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
limit size and complexity of bulk transactions;
11 months ago, by wenzelm
more scalable write_entries and Export.consumer via db.execute_batch_statement;
11 months ago, by wenzelm
clarified signature: filter batch;
11 months ago, by wenzelm
more scalable write_messages via db.execute_batch_statement;
11 months ago, by wenzelm
support for execute_batch: multiple statements in one round-trip;
11 months ago, by wenzelm
more robust;
11 months ago, by wenzelm
restrict input_messages to master build_process: avoid excessive db traffic for distributed build_workers;
11 months ago, by wenzelm
more scalable Database_Progress via asynchronous Consumer_Thread.fork_bulk;
11 months ago, by wenzelm
clarified main_loop: support timeout, which results in consume(Nil);
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
build_worker is stopped independently from master build_process;
11 months ago, by wenzelm
clarified command arguments: optionally restrict to given theories (from theory loader);
11 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip