Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
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
only print schedule if relevant;
10 months ago, by Fabian Huch
remove laziness: no need, and errors during initialization loop with close();
10 months ago, by Fabian Huch
more general definition of meromorphicity; Weierstraß factorisation theorem
10 months ago, by Manuel Eberl
always provide build_database_server option in benchmark command;
10 months ago, by Fabian Huch
always check if node is defined, e.g. for exists_next operation wit empty schedule;
10 months ago, by Fabian Huch
fixed typo
10 months ago, by blanchet
disable taskset for now: performance impact is negative;
10 months ago, by Fabian Huch
allow specifying initial schedule;
10 months ago, by Fabian Huch
clarify use of num_threads vs. max_cpus;
10 months ago, by Fabian Huch
clarified host: pre-load max threads;
10 months ago, by Fabian Huch
clarified: more operations;
10 months ago, by Fabian Huch
added alias wfp for wfP
10 months ago, by desharna
merged
10 months ago, by desharna
added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset
10 months ago, by desharna
start scheduled jobs earlier, if possible;
10 months ago, by Fabian Huch
tuned proofs
10 months ago, by desharna
added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf, wf_on_iff_ex_minimal, and wfp_on_iff_ex_minimal
10 months ago, by desharna
merged
10 months ago, by desharna
added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively
10 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
tip