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

raise error if benchmarking fails;
10 months ago, by Fabian Huch
option for benchmark session;
10 months ago, by Fabian Huch
add hosts option to run benchmark on the cluster from the command-line;
10 months ago, by Fabian Huch
only start jobs early if they are due (cf. 1966578feff8);
10 months ago, by Fabian Huch
New material from a variety of sources (including AFP)
10 months ago, by paulson
build component for cvc5-latest (ef2bc3f735df);
10 months ago, by wenzelm
merged
10 months ago, by desharna
try proof method "order" in Sledgehammer's proof reconstruction
10 months ago, by desharna
added Mirabelle action "order"
10 months ago, by desharna
renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
10 months ago, by desharna
tuned proof
10 months ago, by desharna
added lemma order_reflclp_if_transp_and_asymp
10 months ago, by desharna
added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on
10 months ago, by desharna
HOL-Library: added modulo/congruence for real numbers
10 months ago, by Manuel Eberl

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

isabelle