back to table · edit · history · where entries came from · files
As of the current version, 2026-10-24 22:50, “Preserve checked one-point program repair and reproducible numerical evidence”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| T468-response.json | 9479 bytes | 2026-10-24 — in this version | |
| T471-generator-verification.log | 98 bytes | 2026-10-24 — in this version | not shown as text |
| T471-numerical-checks.json | 11892 bytes | 2026-10-24 — in this version | |
| T471-proposed.json | 12084 bytes | 2026-10-24 — in this version | |
| T471-repair-notes.md | 2574 bytes | 2026-10-24 — in this version | |
| T471-repaired.md | 958 bytes | 2026-10-24 — in this version | |
| T471-response.json | 10952 bytes | 2026-10-24 — in this version | |
| check.py | 17709 bytes | 2026-10-24 | |
| check_t471_repair.py | 4255 bytes | 2026-10-24 — in this version | |
| checks.py | 7885 bytes | 2026-10-24 | |
| dry_run.py | 3776 bytes | 2026-10-24 | |
| generate.py | 3763 bytes | 2026-10-24 | |
| generate_t471_repaired.py | 2825 bytes | 2026-10-24 — 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.
