Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+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.
added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
10 months ago, by desharna
merged
10 months ago, by desharna
added lemma wf_on_iff_wf
10 months ago, by desharna
changed number of consumed assumptions of wf_on_induct and wfp_on_induct
10 months ago, by desharna
obsolete: base-line is macOS 11;
10 months ago, by wenzelm
more robust: always assume x86_64 (or its emulation on ARM);
10 months ago, by wenzelm
MLton lacks arm64-linux (see also 84f2d481d6d7);
10 months ago, by wenzelm
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
10 months ago, by wenzelm
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
misc updates, tuning and clarification;
10 months ago, by wenzelm
reformat source in jEdit (wrap margin 78);
10 months ago, by wenzelm
more accurate Markdown formatting, both for VSCode and Phabricator;
10 months ago, by wenzelm
just one README.md;
10 months ago, by wenzelm
tuned
10 months ago, by nipkow
merged
10 months ago, by wenzelm
more accurate platform directories: pkg/tool structure is hardwired in "go";
10 months ago, by wenzelm
support for etc/platform.props, to specify multi-platform directory structure more accurately;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
build Isabelle component for Go: all platforms;
10 months ago, by wenzelm
misc tuning;
10 months ago, by wenzelm
just one copy of darwin-universal.tar.gz;
10 months ago, by wenzelm
documented running time function framework by Jonas Stahl
10 months ago, by nipkow
merged
10 months ago, by desharna
redefined wf as an abbreviation for "wf_on UNIV"
10 months ago, by desharna
merged
10 months ago, by nipkow
more uniform command names
10 months ago, by nipkow
tuned parameter order
10 months ago, by nipkow
shutdown lrzcloud2;
10 months ago, by wenzelm
tuned NEWS
10 months ago, by desharna
redefined wfP as an abbreviation for "wfp_on UNIV"
10 months ago, by desharna
merged
10 months ago, by desharna
added lemma wellorder.wfp_on_less[simp]
10 months ago, by desharna
merged
10 months ago, by wenzelm
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
10 months ago, by wenzelm
update to sumatra_pdf-3.5.2;
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
update to jsoup-1.17.2;
10 months ago, by wenzelm
proper bib entries (amending 82aaa0d8fc3b);
10 months ago, by wenzelm
update to dotnet-8.0.203;
10 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
10 months ago, by wenzelm
update to sqlite-3.45.2.0: clarified component name, following postgresql;
10 months ago, by wenzelm
activate postgresql-42.7.3;
10 months ago, by wenzelm
update to postgresql-42.7.3;
10 months ago, by wenzelm
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
10 months ago, by wenzelm
isabelle update -u cite;
10 months ago, by wenzelm
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
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
read/write proper schedule date (amending 9da3019e1ee5);
10 months ago, by Fabian Huch
allow read/write of schedule in build (read via option, write from tool);
10 months ago, by Fabian Huch
file representation for schedule (e.g., for generating from external tool);
10 months ago, by Fabian Huch
proper median/mean time;
10 months ago, by Fabian Huch
remove schedule outdated limit: delay is sufficient;
10 months ago, by Fabian Huch
tuned whitespace;
10 months ago, by Fabian Huch
tie-breaking in schedule optimization to pick best schedule even when run-time is dominated by large task (e.g., session with long timeout but no data yet);
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
remove old build before generating schedule;
10 months ago, by Fabian Huch
unused;
10 months ago, by Fabian Huch
merged
10 months ago, by desharna
added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image, reflp_on_image, symp_on_image, totalp_on_image, and transp_on_image
10 months ago, by desharna
clarified names;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
+300
+1000
tip