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

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
omit somewhat pointless message, following b7187d4cdf68;
10 months ago, by wenzelm
more robust handling of uninitialized value, notably Build_Process.progress;
10 months ago, by wenzelm
tuned
10 months ago, by nipkow
partially revert f1f08ca40d96: benchmark data needs to be present before timing data is loaded;
10 months ago, by Fabian Huch
clarified module signature and state;
10 months ago, by wenzelm
tuned signature: more protected operations;
10 months ago, by wenzelm
database performance tuning: just one synchronized_database for main loop body;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust: assume that database is exclusive for this Progress instance --- always close on exit (see also bf377e10ff3b);
10 months ago, by wenzelm
more robust: imitate Isabelle/ML operation more closely (after 26a43785590b);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned proof: avoid z3 to make it work on arm64-linux;
10 months ago, by wenzelm
official support for arm64-linux, despite a few missing tools;
10 months ago, by wenzelm
discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
10 months ago, by wenzelm
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
10 months ago, by wenzelm
update to scala-3.3.3;
10 months ago, by wenzelm
provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
10 months ago, by wenzelm
update NEWS, following 0d7c7fe65638;
10 months ago, by Fabian Huch
provide cvc5-1.1.1 for testing --- still inactive;
10 months ago, by wenzelm
rebuild bash_process executables on current reference platforms, including native arm64-darwin;
10 months ago, by wenzelm
tuned NEWS, see also c62003e05e46;
10 months ago, by wenzelm
update NEWS, following ea1913c953ef;
10 months ago, by wenzelm
tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:";
10 months ago, by wenzelm
more explicit NEWS (see 3648e9c88d0c);
10 months ago, by wenzelm
NEWS for a53287d9add3, 3e30ca77ccfe;
10 months ago, by wenzelm
add option for unify trace (now disabled by default as printing is excessive and rarely used);
10 months ago, by Fabian Huch
tuned unify trace option names;
10 months ago, by Fabian Huch
more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
10 months ago, by wenzelm
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
10 months ago, by wenzelm
merged
10 months ago, by nipkow
tuned name
10 months ago, by nipkow
new simplifier trace_op for tracing simproc calls
10 months ago, by nipkow
merged
10 months ago, by paulson
Some new material about Ramsey's theorem, also sharpening the proof to deliver the Erdős–Szekeres upper bound on Ramsey numbers
10 months ago, by paulson

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

isabelle