back to table · edit · history · where entries came from · files
As of the current version, 2026-10-28 13:58, “Preserve reproducible checks for the standalone Programs example”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 5312 bytes | 2026-10-28 | |||||||||
| check-program.log | 5848 bytes | 2026-10-28 — in this version | not shown as text | ||||||||
| check-program.py | 2764 bytes | 2026-10-28 — in this version | |||||||||
| check.py | 17709 bytes | 2026-10-28 | |||||||||
| checks.py | 8105 bytes | 2026-10-28 | |||||||||
| generate.py | 5635 bytes | 2026-10-28 | |||||||||
2 versions of this file
|
|||||||||||
| numerical-evidence.md | 5848 bytes | 2026-10-28 | |||||||||
2 versions of this file
|
|||||||||||
| repair-program-evidence.md | 4091 bytes | 2026-10-28 — in this version | |||||||||
| skill-evidence.json | 736 bytes | 2026-10-28 | |||||||||
| standalone-program.py | 620 bytes | 2026-10-28 — in this version | |||||||||
| table-before.json | 10311 bytes | 2026-10-28 — in this version | |||||||||
Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.
These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.
