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

use build_cluster in ci builds;
10 months ago, by Fabian Huch
merged
10 months ago, by desharna
tuned alias names in formulas
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add favicon to web app;
10 months ago, by Fabian Huch
merged
10 months ago, by wenzelm
clarified data representation: prefer explicit type Thm_Name;
10 months ago, by wenzelm
more operations, following Isabelle/ML;
10 months ago, by wenzelm
clarified signature: more explicit operations;
10 months ago, by wenzelm
clarified treatment of Thm_Name.T (again, see also 8a9588ffc133);
10 months ago, by wenzelm
clarified operations, including exceptions;
10 months ago, by wenzelm
tuned: more direct Isabelle/ML;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
more accurate thm "name_hint", using Thm_Name.T;
10 months ago, by wenzelm
more operationsd;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified output, following Consumer_Thread.failure;
10 months ago, by wenzelm
more informative exception output, with optional trace;
10 months ago, by wenzelm
more accurate output of Thm_Name.T wrt. facts name space;
10 months ago, by wenzelm
clarified signature: more operations;
10 months ago, by wenzelm
tuned structure;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name;
10 months ago, by wenzelm
clarified signature: prefer explicit operation;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned: prefer Thm_Name operations;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
prefer dynamic position from command transaction;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified signature: more explicit preprocessing;
10 months ago, by wenzelm
clarified signature: separate formal context from exported theory_name;
10 months ago, by wenzelm
tuned signature: just one ZThm is sufficient;
10 months ago, by wenzelm
renamed lemmas
10 months ago, by desharna
build manager: echo error messages to server output;
10 months ago, by Fabian Huch
omit showing previous failures for user builds;
10 months ago, by Fabian Huch
always handle interrupted jobs;
10 months ago, by Fabian Huch
add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
10 months ago, by Fabian Huch
clarified context: operations now in build process;
10 months ago, by Fabian Huch
clarified: add explicit build process;
10 months ago, by Fabian Huch
remove unnecessary subdir;
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
tuned proof: avoid smt/z3 to make this work with arm64-linux;
10 months ago, by wenzelm
proper afp_directory (amending 9308bc5f65d6);
10 months ago, by wenzelm
clarified names;
10 months ago, by wenzelm
clarified name: avoid clash with Library.Update;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
more informative ZBox;
10 months ago, by wenzelm
more operations;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
remove unused (see also 04214caeb9ac);
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
add triggers to ci jobs: on commit vs timed;
10 months ago, by Fabian Huch
manage components of ci builds;
10 months ago, by Fabian Huch

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

isabelle