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