Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+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.
change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible);
10 months ago, by Fabian Huch
unused;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
proper IPC for scheduled builds, following 7ae25372ab04;
11 months ago, by Fabian Huch
proper check (amending 9aef1d1535ff);
11 months ago, by Fabian Huch
more synced options (following 6e5397fcc41b);
11 months ago, by Fabian Huch
avoid [no_atp] declations shadowing propositions from sledgehammer
11 months ago, by haftmann
track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
11 months ago, by Fabian Huch
use inherited build_start, following d9fc2cc37694;
11 months ago, by Fabian Huch
update NEWS + CONTRIBUTORS for release;
11 months ago, by wenzelm
Tuned proofs
11 months ago, by haftmann
merged
11 months ago, by wenzelm
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;
11 months ago, by wenzelm
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
proper system option, instead of hardwired default;
11 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
11 months ago, by wenzelm
tuned comments;
11 months ago, by wenzelm
clarified build schedule host: proper module;
11 months ago, by Fabian Huch
remove unused dummy;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
use timeout as default build time predictor if no data is available;
11 months ago, by Fabian Huch
merged
11 months ago, by paulson
Restored Riemann_Mapping as an import of Complex_Analysis
11 months ago, by paulson
proper file headers;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
11 months ago, by wenzelm
tuned signature: more operations;
11 months ago, by wenzelm
clarified signature: more explicit types;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
removed somewhat pointless check;
11 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
11 months ago, by wenzelm
merged
11 months ago, by paulson
Fixed a latex error in the markup
11 months ago, by paulson
minor performance tuning: SQL.order_by is only for demo purposes;
11 months ago, by wenzelm
support efficient access to state updates, based on LEFT OUTER JOIN;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned: prefer if_proper expression;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned: prefer if_proper expression;
11 months ago, by wenzelm
New material by Wenda Li and Manuel Eberl
11 months ago, by paulson
merged
11 months ago, by traytel
export BNF properties about the cardinal bound (by Jan van Brügge)
11 months ago, by traytel
unused (see 123f2c0995b8);
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more robust init_built: get_build_id and start_build within the same transaction;
11 months ago, by wenzelm
tuned: remove redundant guard;
11 months ago, by wenzelm
maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid;
11 months ago, by wenzelm
more operations;
11 months ago, by wenzelm
clarified signature: init_state vs. init_unsynchronized;
11 months ago, by wenzelm
more thorough "isabelle build_process -C -r -f";
11 months ago, by wenzelm
more operations;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned signature: more uniform SQL.Data instances;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
11 months ago, by wenzelm
revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used;
11 months ago, by wenzelm
record updates within database, based on serial;
11 months ago, by wenzelm
proper tables (amending 4611b7b47b42);
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified signature: improved data integrity;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
clarified modules;
11 months ago, by wenzelm
obsolete;
11 months ago, by wenzelm
misc tuning: prefer Build_Process.Update operations;
11 months ago, by wenzelm
misc tuning and clarification: prefer explicit type Build_Process.Update;
11 months ago, by wenzelm
misc tuning and clarification;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
clarified data representation: more uniform treatment of State.Pending vs. State.Running;
11 months ago, by wenzelm
tuned: drop pointless SQL.order_by (see also 5f706f7c624b);
11 months ago, by wenzelm
upgrade pretty_maybe_quote following 2746dfc9ceae;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
eliminate odd aliases (see also 2746dfc9ceae);
11 months ago, by wenzelm
tuned signature: prefer bottom-up construction;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned signature;
11 months ago, by wenzelm
clarified signature;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more operations for Build_Log.Meta_Info: prefer explicit types;
11 months ago, by wenzelm
more operations for Date and Time;
11 months ago, by wenzelm
more accurate patterns --- reverting unused fc3ba0a1c82f;
11 months ago, by wenzelm
remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;
11 months ago, by wenzelm
prefer explicit option "build_log_verbose";
11 months ago, by wenzelm
tuned whitespace;
11 months ago, by wenzelm
additional build_log column "session_start", with implicit upgrade of database schema;
11 months ago, by wenzelm
more robust build_start for master and workers (via database);
11 months ago, by wenzelm
more accurate progress.now(), notably for Database_Progress;
11 months ago, by wenzelm
update NEWS;
11 months ago, by wenzelm
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
11 months ago, by wenzelm
merged
11 months ago, by desharna
added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
11 months ago, by desharna
parallelize schedule optimization;
11 months ago, by Fabian Huch
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
11 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
+300
+1000
tip