diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 10:36:49 +0000 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 10:36:49 +0000 |
| commit | 18eb8972a6b9ffcd974e195ac727c30c68117fb1 (patch) | |
| tree | 9251dc707943bbaebe9b749adec1136f6b36b5d8 /TODO.md | |
| parent | jit_x64_test: run programs in a scratch directory so bareio's note stays out ... (diff) | |
todo: the spec verifier restarted from the first agent's partial work
Diffstat (limited to 'TODO.md')
| -rw-r--r-- | TODO.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -287,9 +287,10 @@ these were running as agents in worktrees. if their branches were not merged before the session ended, the work is lost and each item below must be started again from its description in the open list. a zip of the repository with every worktree is uploaded to the owner after each update. -- spec verification: the first agent was stopped by a session interruption - and its partial `tests/conformance/` was not merged; start it again from - "verify both compilers". +- spec verification, restarted after an interruption. the first agent's + partial work (runner plus sections 1 to 3, about 375 programs) is committed + on the local branch `worktree-agent-a020917eebd018418` (3edfbaa) and the new + agent continues from it; see "verify both compilers". - runtime line tables and backtraces, see "runtime source positions". - bounds checking with `unbounded`, see "bounds checking". - the cross-reference report, see "a cross-reference report". |