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

tuned messages;
11 months ago, by wenzelm
omit somewhat pointless message, following b7187d4cdf68;
11 months ago, by wenzelm
more robust handling of uninitialized value, notably Build_Process.progress;
11 months ago, by wenzelm
tuned
11 months ago, by nipkow
partially revert f1f08ca40d96: benchmark data needs to be present before timing data is loaded;
11 months ago, by Fabian Huch
clarified module signature and state;
11 months ago, by wenzelm
tuned signature: more protected operations;
11 months ago, by wenzelm
database performance tuning: just one synchronized_database for main loop body;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
more robust: assume that database is exclusive for this Progress instance --- always close on exit (see also bf377e10ff3b);
11 months ago, by wenzelm
more robust: imitate Isabelle/ML operation more closely (after 26a43785590b);
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
tuned proof: avoid z3 to make it work on arm64-linux;
11 months ago, by wenzelm
official support for arm64-linux, despite a few missing tools;
11 months ago, by wenzelm
discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
11 months ago, by wenzelm
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
11 months ago, by wenzelm

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

isabelle