moon/zygotec/tests/programs/bounds_ptr.zc, branch main
work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main
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