From d185b64487cf515c28ef91afc7d76e64b449887d Mon Sep 17 00:00:00 2001 From: rajames Date: Fri, 6 Nov 2026 15:21:59 +0000 Subject: [PATCH] logs: the nightly's stages run by hand -- acceptance, proofs -- PASS scripts/nightly.sh, in order, one QEMU at a time: accept amd64 20261106-150239 PASS accept aarch64 20261106-150451 PASS accept riscv64 20261106-150842 PASS accept stick-high 20261106-151030 PASS; dict_hash 0xfec8c47cfc6f437f on the three test-32 39 programs, 0 failures proofs 20261106-151902 StarForth checked afresh, 0:00:41 Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- experiments/bare_metal/runs/doe-aarch64-20261106-150451.csv | 0 experiments/bare_metal/runs/doe-amd64-20261106-150239.csv | 0 experiments/bare_metal/runs/doe-amd64-20261106-151030.csv | 0 experiments/bare_metal/runs/doe-riscv64-20261106-150842.csv | 0 logs/20261106-150239/amd64/qemu-amd64-20261106-150239.log | 3 +++ logs/20261106-150451/aarch64/qemu-aarch64-20261106-150451.log | 3 +++ logs/20261106-150842/riscv64/qemu-riscv64-20261106-150842.log | 3 +++ logs/20261106-151030/amd64/qemu-amd64-20261106-151030.log | 3 +++ logs/20261106-151902/isabelle/isabelle-20261106-151902.log | 3 +++ 9 files changed, 15 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261106-150451.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261106-150239.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261106-151030.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261106-150842.csv create mode 100644 logs/20261106-150239/amd64/qemu-amd64-20261106-150239.log create mode 100644 logs/20261106-150451/aarch64/qemu-aarch64-20261106-150451.log create mode 100644 logs/20261106-150842/riscv64/qemu-riscv64-20261106-150842.log create mode 100644 logs/20261106-151030/amd64/qemu-amd64-20261106-151030.log create mode 100644 logs/20261106-151902/isabelle/isabelle-20261106-151902.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261106-150451.csv b/experiments/bare_metal/runs/doe-aarch64-20261106-150451.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261106-150239.csv b/experiments/bare_metal/runs/doe-amd64-20261106-150239.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261106-151030.csv b/experiments/bare_metal/runs/doe-amd64-20261106-151030.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261106-150842.csv b/experiments/bare_metal/runs/doe-riscv64-20261106-150842.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261106-150239/amd64/qemu-amd64-20261106-150239.log b/logs/20261106-150239/amd64/qemu-amd64-20261106-150239.log new file mode 100644 index 00000000..758ff172 --- /dev/null +++ b/logs/20261106-150239/amd64/qemu-amd64-20261106-150239.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3caa152696d3a571683ad2c431ea1eaec43414452fcd6ac1bc9f5e34024bb90d +size 6629 diff --git a/logs/20261106-150451/aarch64/qemu-aarch64-20261106-150451.log b/logs/20261106-150451/aarch64/qemu-aarch64-20261106-150451.log new file mode 100644 index 00000000..79d8c427 --- /dev/null +++ b/logs/20261106-150451/aarch64/qemu-aarch64-20261106-150451.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:87c84539e51e511374b02cabfa3626707dfb7bc76e4238265a77545ccfe972b0 +size 5594 diff --git a/logs/20261106-150842/riscv64/qemu-riscv64-20261106-150842.log b/logs/20261106-150842/riscv64/qemu-riscv64-20261106-150842.log new file mode 100644 index 00000000..72f286f4 --- /dev/null +++ b/logs/20261106-150842/riscv64/qemu-riscv64-20261106-150842.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0921fb576aa331fb622ed13f1de0d1afa70794f2e11a0e68acd28cd3e928e576 +size 7985 diff --git a/logs/20261106-151030/amd64/qemu-amd64-20261106-151030.log b/logs/20261106-151030/amd64/qemu-amd64-20261106-151030.log new file mode 100644 index 00000000..9dd8a39c --- /dev/null +++ b/logs/20261106-151030/amd64/qemu-amd64-20261106-151030.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8669c124e22e6ab534dd4fc2371c8e9f69e4259ea5ef3aa4b00e2863477dfc70 +size 6697 diff --git a/logs/20261106-151902/isabelle/isabelle-20261106-151902.log b/logs/20261106-151902/isabelle/isabelle-20261106-151902.log new file mode 100644 index 00000000..30d08bd3 --- /dev/null +++ b/logs/20261106-151902/isabelle/isabelle-20261106-151902.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9646cb6c8aa96a106e8deb5a59de38f5eaa41734369b36ff3069a8c12fa3f2f4 +size 7783