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

clarified data representation: more uniform treatment of State.Pending vs. State.Running;
10 months ago, by wenzelm
tuned: drop pointless SQL.order_by (see also 5f706f7c624b);
10 months ago, by wenzelm
upgrade pretty_maybe_quote following 2746dfc9ceae;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
eliminate odd aliases (see also 2746dfc9ceae);
10 months ago, by wenzelm
tuned signature: prefer bottom-up construction;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more operations for Build_Log.Meta_Info: prefer explicit types;
10 months ago, by wenzelm
more operations for Date and Time;
10 months ago, by wenzelm
more accurate patterns --- reverting unused fc3ba0a1c82f;
10 months ago, by wenzelm
remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;
10 months ago, by wenzelm
prefer explicit option "build_log_verbose";
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
additional build_log column "session_start", with implicit upgrade of database schema;
10 months ago, by wenzelm
more robust build_start for master and workers (via database);
10 months ago, by wenzelm
more accurate progress.now(), notably for Database_Progress;
10 months ago, by wenzelm
update NEWS;
10 months ago, by wenzelm
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
10 months ago, by wenzelm
merged
10 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]
10 months ago, by desharna
parallelize schedule optimization;
10 months ago, by Fabian Huch
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
10 months ago, by wenzelm
update to current long-term-support version dotnet-8.0.x;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
proper release bundle_name (amending 0e7dd3eaa6e8);
10 months ago, by wenzelm
more multiset lemmas
10 months ago, by blanchet
optional cartouche syntax and proper name printing in atp Isar output
10 months ago, by Simon Wimmer
merged
10 months ago, by desharna
removed unused variable
10 months ago, by desharna
added virtual, greedy portfolio for E 3.0
10 months ago, by desharna
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
Added tag Isabelle2024-RC0 for changeset 98f009f56400
10 months ago, by wenzelm
updated for release;
10 months ago, by wenzelm
updated for release;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
misc tuning for release;
10 months ago, by wenzelm
tuned whitespace: avoid TABs;
10 months ago, by wenzelm
avoid suspicious Unicode;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
update NEWS;
10 months ago, by wenzelm
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
10 months ago, by wenzelm
drop unused Task.info field;
10 months ago, by wenzelm
proper guard_time (amending 752806151432);
10 months ago, by wenzelm
proper dynamic access (amending c3f07c950116);
10 months ago, by wenzelm
more robust, notably for remote process (via SSH);
10 months ago, by wenzelm
prefer dynamic objects, following a5fda30edae2;
10 months ago, by wenzelm
proper dynamic access (amending 52b5c7c8e6d9);
10 months ago, by wenzelm
clarified signature: incorporate guard into Logger;
10 months ago, by wenzelm
merged
10 months ago, by desharna
added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp
10 months ago, by desharna
Moving valuable library material from Martingales into the distribution
10 months ago, by paulson
clarified signature;
10 months ago, by wenzelm
clarified module signature and state;
10 months ago, by wenzelm
tuned messages;
10 months ago, by wenzelm

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

isabelle