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
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
6 months ago, by desharna
merged
6 months ago, by desharna
added lemma wf_on_iff_wf
6 months ago, by desharna
changed number of consumed assumptions of wf_on_induct and wfp_on_induct
6 months ago, by desharna
obsolete: base-line is macOS 11;
6 months ago, by wenzelm
more robust: always assume x86_64 (or its emulation on ARM);
6 months ago, by wenzelm
MLton lacks arm64-linux (see also 84f2d481d6d7);
6 months ago, by wenzelm
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
6 months ago, by wenzelm
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
merged
6 months ago, by wenzelm
misc updates, tuning and clarification;
6 months ago, by wenzelm
reformat source in jEdit (wrap margin 78);
6 months ago, by wenzelm
more accurate Markdown formatting, both for VSCode and Phabricator;
6 months ago, by wenzelm
just one README.md;
6 months ago, by wenzelm
tuned
6 months ago, by nipkow
merged
6 months ago, by wenzelm
more accurate platform directories: pkg/tool structure is hardwired in "go";
6 months ago, by wenzelm
support for etc/platform.props, to specify multi-platform directory structure more accurately;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
clarified modules;
6 months ago, by wenzelm
clarified modules;
6 months ago, by wenzelm
build Isabelle component for Go: all platforms;
6 months ago, by wenzelm
misc tuning;
6 months ago, by wenzelm
just one copy of darwin-universal.tar.gz;
6 months ago, by wenzelm
documented running time function framework by Jonas Stahl
6 months ago, by nipkow
merged
6 months ago, by desharna
redefined wf as an abbreviation for "wf_on UNIV"
6 months ago, by desharna
merged
6 months ago, by nipkow
more uniform command names
6 months ago, by nipkow
tuned parameter order
6 months ago, by nipkow
shutdown lrzcloud2;
6 months ago, by wenzelm
tuned NEWS
6 months ago, by desharna
redefined wfP as an abbreviation for "wfp_on UNIV"
6 months ago, by desharna
merged
6 months ago, by desharna
added lemma wellorder.wfp_on_less[simp]
6 months ago, by desharna
merged
6 months ago, by wenzelm
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
6 months ago, by wenzelm
update to sumatra_pdf-3.5.2;
6 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
6 months ago, by wenzelm
update to jsoup-1.17.2;
6 months ago, by wenzelm
proper bib entries (amending 82aaa0d8fc3b);
6 months ago, by wenzelm
update to dotnet-8.0.203;
6 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
6 months ago, by wenzelm
update to sqlite-3.45.2.0: clarified component name, following postgresql;
6 months ago, by wenzelm
activate postgresql-42.7.3;
6 months ago, by wenzelm
update to postgresql-42.7.3;
6 months ago, by wenzelm
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
6 months ago, by wenzelm
isabelle update -u cite;
6 months ago, by wenzelm
raise error if benchmarking fails;
6 months ago, by Fabian Huch
option for benchmark session;
6 months ago, by Fabian Huch
add hosts option to run benchmark on the cluster from the command-line;
6 months ago, by Fabian Huch
only start jobs early if they are due (cf. 1966578feff8);
6 months ago, by Fabian Huch
New material from a variety of sources (including AFP)
6 months ago, by paulson
build component for cvc5-latest (ef2bc3f735df);
6 months ago, by wenzelm
merged
6 months ago, by desharna
try proof method "order" in Sledgehammer's proof reconstruction
6 months ago, by desharna
added Mirabelle action "order"
6 months ago, by desharna
renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
6 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
tip