| Mon, 25 Mar 2024 19:27:53 +0100 |
desharna |
added lemma wf_on_iff_wf
|
changeset |
files
|
| Mon, 25 Mar 2024 19:27:32 +0100 |
desharna |
changed number of consumed assumptions of wf_on_induct and wfp_on_induct
|
changeset |
files
|
| Mon, 25 Mar 2024 21:04:26 +0100 |
wenzelm |
obsolete: base-line is macOS 11;
|
changeset |
files
|
| Mon, 25 Mar 2024 20:55:27 +0100 |
wenzelm |
more robust: always assume x86_64 (or its emulation on ARM);
|
changeset |
files
|
| Mon, 25 Mar 2024 20:48:10 +0100 |
wenzelm |
MLton lacks arm64-linux (see also 84f2d481d6d7);
|
changeset |
files
|
| Mon, 25 Mar 2024 20:42:10 +0100 |
wenzelm |
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
|
changeset |
files
|
| Mon, 25 Mar 2024 20:22:05 +0100 |
wenzelm |
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
|
changeset |
files
|
| Mon, 25 Mar 2024 20:05:40 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 25 Mar 2024 19:57:01 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 25 Mar 2024 19:56:12 +0100 |
wenzelm |
misc updates, tuning and clarification;
|
changeset |
files
|
| Mon, 25 Mar 2024 17:46:16 +0100 |
wenzelm |
reformat source in jEdit (wrap margin 78);
|
changeset |
files
|
| Mon, 25 Mar 2024 17:43:28 +0100 |
wenzelm |
more accurate Markdown formatting, both for VSCode and Phabricator;
|
changeset |
files
|
| Mon, 25 Mar 2024 17:10:19 +0100 |
wenzelm |
just one README.md;
|
changeset |
files
|
| Mon, 25 Mar 2024 17:55:02 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Mon, 25 Mar 2024 15:11:48 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 25 Mar 2024 15:11:21 +0100 |
wenzelm |
more accurate platform directories: pkg/tool structure is hardwired in "go";
|
changeset |
files
|
| Mon, 25 Mar 2024 14:47:53 +0100 |
wenzelm |
support for etc/platform.props, to specify multi-platform directory structure more accurately;
|
changeset |
files
|
| Sun, 24 Mar 2024 19:14:56 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 24 Mar 2024 19:10:55 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 24 Mar 2024 19:08:13 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sun, 24 Mar 2024 18:45:40 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Sun, 24 Mar 2024 17:49:53 +0100 |
wenzelm |
build Isabelle component for Go: all platforms;
|
changeset |
files
|
| Sun, 24 Mar 2024 15:13:35 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Sun, 24 Mar 2024 15:05:22 +0100 |
wenzelm |
just one copy of darwin-universal.tar.gz;
|
changeset |
files
|
| Mon, 25 Mar 2024 14:08:25 +0100 |
nipkow |
documented running time function framework by Jonas Stahl
|
changeset |
files
|
| Mon, 25 Mar 2024 10:16:14 +0100 |
desharna |
merged
|
changeset |
files
|
| Sat, 23 Mar 2024 18:55:38 +0100 |
desharna |
redefined wf as an abbreviation for "wf_on UNIV"
|
changeset |
files
|
| Sun, 24 Mar 2024 14:51:03 +0100 |
nipkow |
merged
|
changeset |
files
|
| Sun, 24 Mar 2024 14:50:47 +0100 |
nipkow |
more uniform command names
|
changeset |
files
|
| Sun, 24 Mar 2024 14:15:10 +0100 |
nipkow |
tuned parameter order
|
changeset |
files
|
| Sun, 24 Mar 2024 14:04:30 +0100 |
wenzelm |
shutdown lrzcloud2;
|
changeset |
files
|
| Sat, 23 Mar 2024 07:59:53 +0100 |
desharna |
tuned NEWS
|
changeset |
files
|
| Thu, 21 Mar 2024 11:24:03 +0100 |
desharna |
redefined wfP as an abbreviation for "wfp_on UNIV"
|
changeset |
files
|
| Fri, 22 Mar 2024 10:38:35 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 20 Mar 2024 21:13:49 +0100 |
desharna |
added lemma wellorder.wfp_on_less[simp]
|
changeset |
files
|
| Thu, 21 Mar 2024 21:04:49 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 21 Mar 2024 21:03:06 +0100 |
wenzelm |
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
|
changeset |
files
|
| Thu, 21 Mar 2024 16:54:53 +0100 |
wenzelm |
update to sumatra_pdf-3.5.2;
|
changeset |
files
|
| Thu, 21 Mar 2024 16:28:43 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Thu, 21 Mar 2024 16:16:03 +0100 |
wenzelm |
update to jsoup-1.17.2;
|
changeset |
files
|
| Thu, 21 Mar 2024 16:15:25 +0100 |
wenzelm |
proper bib entries (amending 82aaa0d8fc3b);
|
changeset |
files
|
| Thu, 21 Mar 2024 15:00:22 +0100 |
wenzelm |
update to dotnet-8.0.203;
|
changeset |
files
|
| Thu, 21 Mar 2024 14:45:15 +0100 |
wenzelm |
enforce rebuild of Isabelle/ML;
|
changeset |
files
|
| Thu, 21 Mar 2024 14:43:40 +0100 |
wenzelm |
update to sqlite-3.45.2.0: clarified component name, following postgresql;
|
changeset |
files
|
| Thu, 21 Mar 2024 14:29:01 +0100 |
wenzelm |
activate postgresql-42.7.3;
|
changeset |
files
|
| Thu, 21 Mar 2024 14:26:45 +0100 |
wenzelm |
update to postgresql-42.7.3;
|
changeset |
files
|
| Thu, 21 Mar 2024 14:19:05 +0100 |
wenzelm |
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
|
changeset |
files
|
| Thu, 21 Mar 2024 12:47:51 +0100 |
wenzelm |
isabelle update -u cite;
|
changeset |
files
|
| Thu, 21 Mar 2024 17:36:50 +0100 |
Fabian Huch |
raise error if benchmarking fails;
|
changeset |
files
|
| Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
changeset |
files
|
| Thu, 21 Mar 2024 13:05:49 +0100 |
Fabian Huch |
add hosts option to run benchmark on the cluster from the command-line;
|
changeset |
files
|
| Wed, 20 Mar 2024 14:56:16 +0100 |
Fabian Huch |
only start jobs early if they are due (cf. 1966578feff8);
|
changeset |
files
|
| Thu, 21 Mar 2024 14:19:39 +0000 |
paulson |
New material from a variety of sources (including AFP)
|
changeset |
files
|
| Wed, 20 Mar 2024 21:12:49 +0100 |
wenzelm |
build component for cvc5-latest (ef2bc3f735df);
|
changeset |
files
|
| Wed, 20 Mar 2024 20:45:36 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 20 Mar 2024 12:26:52 +0100 |
desharna |
try proof method "order" in Sledgehammer's proof reconstruction
|
changeset |
files
|
| Wed, 20 Mar 2024 11:55:58 +0100 |
desharna |
added Mirabelle action "order"
|
changeset |
files
|
| Wed, 20 Mar 2024 11:11:04 +0100 |
desharna |
renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
|
changeset |
files
|
| Wed, 20 Mar 2024 09:57:14 +0100 |
desharna |
tuned proof
|
changeset |
files
|
| Wed, 20 Mar 2024 09:26:25 +0100 |
desharna |
added lemma order_reflclp_if_transp_and_asymp
|
changeset |
files
|