| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bounds checking: constant loop bound proof works, plain-op fixed-array ↵ |  zinc
| 2026-10-14 | 4 | -4/+4 |
| | | | | | check, docs (readme, spec 4.15 and friends, server, vscode), conformance and test.sh fixes, todo | ||||
| * | conformance: port the previous agent's suite, fix six expectations, add ↵ | zinc
| 2026-10-14 | 144 | -15/+858 |
| | | | | | sections 5 to 8 and appendix b, known.txt, zc0 skips, wire into test.sh | ||||
| * | agent/spec-conformance: unmerged work from previous session | zinc
| 2026-10-14 | 553 | -0/+5294 |
 |
index : moon/zygotec | |
| work-in-progress programming language. |
| aboutsummaryrefslogtreecommitdiff |