moon/zygotec/tests/drivers, 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 jit_x64_test: link tests, src and examples into the scratch directory so embed and include programs compile; list the programs whose compile error is expected 2026-10-14T16:34:08+00:00 zinc zinc@downsta.ir 2026-10-14T16:19:46+00:00 urn:sha1:1a0af8a98894175d53928bd4e1e40c90fb773eea jit_x64_test: a compile error on either core counts as a difference 2026-10-14T16:34:00+00:00 zinc zinc@downsta.ir 2026-10-14T15:13:45+00:00 urn:sha1:93e659d63593716d0eb127244b94130b52e1d6f2 merge main into work/line-tables 2026-10-14T12:22:01+00:00 zinc zinc@downsta.ir 2026-10-14T12:22:01+00:00 urn:sha1:4fc8f54a21f7a9d8712665501b40c3a52b3eede9 line tables and backtraces: port agent/line-tables onto main, op 56 on the x86-64 jit, docs, measurements, tests; default genome reservation 0x68000 2026-10-14T12:22:01+00:00 zinc zinc@downsta.ir 2026-10-14T12:22:01+00:00 urn:sha1:7c54e48bca711a6596be4bb17fcaa4330b9928e3 xref self-test: a real write in a compiler copy, reject unknown options; runerr.sh runs every folder it is given 2026-10-14T12:13:59+00:00 zinc zinc@downsta.ir 2026-10-14T12:13:59+00:00 urn:sha1:10e8a339b198b6e49e393c457cba7667a2a39ca5 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 four small fixes: std hovers, capture terminator, bare static calls, void main; todo updated 2026-10-14T10:42:28+00:00 zinc zinc@downsta.ir 2026-10-14T10:42:28+00:00 urn:sha1:ea052eab91b304459ddf64281fc93fc152597412 fix std hover, full capture terminator, bare static calls, void main in run-only images 2026-10-14T10:38:17+00:00 zinc zinc@downsta.ir 2026-10-14T10:38:17+00:00 urn:sha1:93340f97dce404a008f489729df144ace53528ab - hover: a symbol from an embedded library source (tinyvm:std.zc, tinyvm:icon.zc) was looked up only in the document; look it up by its qualified name in the library source (hover_embedded_sym), and render a method found that way by its line (bs_hover). - std.capture: allocate one word more than the 256 it holds, so end() terminates inside the buffer. - a bare call to a static function of the enclosing struct resolves like a bare struct constant (mstruct is set for every non-generic struct's methods); the struct's own wins over a global. - run.zc declares main untyped (fn main();), so a run-only image accepts int, void or untyped main with both compilers. jit_x64_test: run programs in a scratch directory so bareio's note stays out of the tree 2026-10-14T10:36:08+00:00 zinc zinc@downsta.ir 2026-10-14T10:36:08+00:00 urn:sha1:6762e78ceb59ac65d30073aef49a7f3ad2ad98d1 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