moon/zygotec/src/compiler/builtins.zc, branch work/prover work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover 2026-10-14T16:33:38+00:00 bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code) 2026-10-14T16:33:38+00:00 zinc zinc@downsta.ir 2026-10-14T14:52:04+00:00 urn:sha1:459b7661aaa0d65d01be064bd4b9976c4f045a5c len: len on a char* is an error with typecheck off too (appendix b.2.14) 2026-10-14T13:30:26+00:00 zinc zinc@downsta.ir 2026-10-14T13:30:26+00:00 urn:sha1:6ef2efb750622819a3ba3ae9ee061e512c1266d6 enum: a member is defined as soon as it is declared, so later values can name it (appendix b.2.2) 2026-10-14T13:18:18+00:00 zinc zinc@downsta.ir 2026-10-14T13:18:18+00:00 urn:sha1:37faa46eff8210365b144ccb4758dc3967b68b48 Merge branch 'main' into work/spec 2026-10-14T12:54:55+00:00 zinc zinc@downsta.ir 2026-10-14T12:54:55+00:00 urn:sha1:886fa9c0b7ad3c0316e85de1b2c87c54a3681b12 include: written inside a function body is 'include is top level only' (appendix b.2.9) 2026-10-14T12:44:02+00:00 zinc zinc@downsta.ir 2026-10-14T12:44:02+00:00 urn:sha1:d93000c4b5ff7b3dda0e59a4d333b0463e745e04 merge bounds checking 2026-10-14T12:39:07+00:00 zinc zinc@downsta.ir 2026-10-14T12:39:07+00:00 urn:sha1:e228e7609929763d5acddb728ba543832fcffc6a merge: seven self-hosted compiler fixes from conformance 2026-10-14T12:33:48+00:00 zinc zinc@downsta.ir 2026-10-14T12:33:48+00:00 urn:sha1:29eb9e50d33d417035e133dcebb7111074a23b24 bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests 2026-10-14T12:28:58+00:00 zinc zinc@downsta.ir 2026-10-14T12:28:58+00:00 urn:sha1:d55b5fdf92a674a6495878f97a09e95bafdcba3f memdebug: accept 'memdebug scrub;' (the check compared against rt.scrub); the scrub program reads the freed word through asm 2026-10-14T12:26:59+00:00 zinc zinc@downsta.ir 2026-10-14T12:26:59+00:00 urn:sha1:a4ca7a4f327a1f2af792fb15b60344bc8cc6487f 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