moon/zygotec/Makefile, branch work/prover work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover 2026-10-14T16:34:08+00:00 explain-checks: the record writer moves to src/lib/explain.zc, embedded and compiled only in that mode; the genome keeps the call sites and a hook 2026-10-14T16:34:08+00:00 zinc zinc@downsta.ir 2026-10-14T16:33:11+00:00 urn:sha1:6a7fe0898a2bde8abd3c28697e28c9fc0cb1e7b2 bench: find llvm-config-19 like the Makefile; bench-save refuses when an expected backend has no rows 2026-10-14T14:51:07+00:00 zinc zinc@downsta.ir 2026-10-14T14:51:07+00:00 urn:sha1:44d9724e3cfb6d25c19ed0a45cb33b95c38003e5 bench: no-region guard, selftest and --rows, interp rows behind INTERP=1, fail only over 10% and 0.1 ms 2026-10-14T14:24:07+00:00 zinc zinc@downsta.ir 2026-10-14T14:24:07+00:00 urn:sha1:b3273f04b876228d7b84a9d5a0fe053eb95cdb95 wip: bench suite 2026-10-14T13:23:22+00:00 zinc zinc@downsta.ir 2026-10-14T13:23:22+00:00 urn:sha1:58b86428cee46268002d23fd985a1813f641115c make: keep the x86-64 jit by default (LLVM=1 opts in), record the llvm mode so switching rebuilds zy, check llvm with a test link 2026-10-14T12:32:22+00:00 zinc zinc@downsta.ir 2026-10-14T12:32:22+00:00 urn:sha1:b43d75a987836ee192d62e5c970cc16a143f8efd make: build zy with the llvm backend when an llvm with headers is found; NOLLVM=1 turns it off 2026-10-14T12:29:40+00:00 zinc zinc@downsta.ir 2026-10-14T12:29:40+00:00 urn:sha1:05a0e6e71bdd577c02a035c684c9afdc2c2f97ac agent/xref-report: unmerged work from previous session 2026-10-14T12:09:03+00:00 zinc zinc@downsta.ir 2026-10-14T12:07:28+00:00 urn:sha1:397b4f5ca283175411677c9e9ee667f647263884 Merge the x86-64 jit, phase 1; todo: tick it, add phase 2 2026-10-14T10:34:44+00:00 zinc zinc@downsta.ir 2026-10-14T10:34:44+00:00 urn:sha1:1d3c45e270341c820de221acb6f21f193e78a8c0 x86-64 jit: zyi target, ZYNOO3, bench and test timeouts, docs; drop a stray file 2026-10-14T10:30:45+00:00 zinc zinc@downsta.ir 2026-10-14T10:30:45+00:00 urn:sha1:44e60a7afc4673c88890997d5779aa7c6c06f330 split compiler.zc into files by phase 2026-10-14T10:05:40+00:00 zinc zinc@downsta.ir 2026-10-14T10:05:40+00:00 urn:sha1:ce920b6ff47f32bc06dd27124e1b882f82f3d6ae src/compiler/compiler.zc is now twelve files under src/compiler/, listed in order in src/compiler/parts. cat of the parts in order is byte-identical to the old file, so every compiler and image except the language server's is unchanged. no function was edited. consumers read the list: the makefile, bootstrap-check, genmap (which still writes one compiler.zc into a generated map directory), tinyvm.bat, test.sh, test_win.ps1 and the lsp drivers. the language server embeds each part and serves them joined as the one document tinyvm:/compiler.zc.