| Fri, 07 Jun 2024 15:47:19 +0200 | Fabian Huch | add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware; | changeset | files |
| Fri, 07 Jun 2024 15:04:07 +0200 | Fabian Huch | clarified context: operations now in build process; | changeset | files |
| Fri, 07 Jun 2024 14:00:59 +0200 | Fabian Huch | clarified: add explicit build process; | changeset | files |
| Fri, 07 Jun 2024 13:54:00 +0200 | Fabian Huch | remove unnecessary subdir; | changeset | files |
| Fri, 07 Jun 2024 13:52:25 +0200 | Fabian Huch | tuned; | changeset | files |
| Thu, 06 Jun 2024 23:19:59 +0200 | wenzelm | tuned proof: avoid smt/z3 to make this work with arm64-linux; | changeset | files |
| Thu, 06 Jun 2024 23:12:04 +0200 | wenzelm | proper afp_directory (amending 9308bc5f65d6); | changeset | files |
| Thu, 06 Jun 2024 22:26:40 +0200 | wenzelm | clarified names; | changeset | files |