| Tue, 26 Mar 2024 06:32:38 +0100 | desharna | merged | changeset | files |
| 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 |