moon/zygotec - work-in-progress programming language.

	Commit message (Expand)	Author	Age	Files	Lines
*	std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, getline)...	zinc	12 days	2	-0/+26
*	x86-64 jit: inline new_k, recycle_leaf and own fast paths, in o3 regions and ...	zinc	12 days	1	-0/+84
*	prover: do not restore length facts after a call-loop	zinc	13 days	2	-11/+13
*	prover: len/cross-array/fixed-new/affine proofs; keep facts past call loops	zinc	13 days	2	-0/+13
*	wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff...	zinc	13 days	2	-0/+59
*	std: File, the first user of drops: std.Host.open(path, mode) returns an owne...	zinc	13 days	1	-0/+19
*	genmap: default genome reservation 0x70000 words (the genome had 197 words le...	zinc	13 days	1	-1/+1
*	tests: zc0typed.zc drops the .u on a typed parameter, which zc0 rejects since...	zinc	13 days	1	-1/+1
*	bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...	zinc	13 days	5	-0/+79
*	rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ...	zinc	13 days	3	-5/+50
*	Merge branch 'main' into work/spec	zinc	13 days	1	-0/+9
\|\
\| *	merge work/xref: zc0 u*d redo and follow-ups	zinc	13 days	1	-0/+9
\| \|\
\| \| *	zc0: a store into a local embed array is an error (its elements are in the co...	zinc	13 days	1	-0/+9
* \| \|	Merge branch 'main' into work/spec	zinc	13 days	4	-0/+214
\|\\| \|
\| * \|	merge work/jit2: x86-64 jit inline enhancements	zinc	13 days	3	-0/+203
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	x86-64 jit: inline enhancements (micro-ops lowered to registers, literal spec...	zinc	13 days	2	-0/+182
\| \| *	test: a constant loop bound drops the fixed-array bounds check (bounds_proof)	zinc	13 days	1	-0/+21
\| * \|	Merge branch 'main' into work/xref	zinc	13 days	7	-3/+78
\| \|\\|
\| * \|	zc0: embed of an array type inside a function	zinc	13 days	1	-0/+11
* \| \|	zc0umd: no recast uses a visible u/m/d as its tag (spec 1.6.3); spec: the fix...	zinc	13 days	1	-9/+10
\| \|/ \|/\|
* \|	merge bounds checking	zinc	13 days	7	-3/+78
\|\ \ \| \|/ \|/\|
\| *	bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...	zinc	13 days	7	-3/+78
* \|	memdebug: obj_base finds the header from the buddy size classes, not a 64-wor...	zinc	13 days	2	-0/+19
\|/
*	line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...	zinc	13 days	8	-1/+190
*	Merge the defer statement; todo: tick it, add its follow-ups	zinc	13 days	1	-0/+235
\|\
\| *	zc: add the defer statement	zinc	13 days	1	-0/+235
* \|	fix std hover, full capture terminator, bare static calls, void main in run-o...	zinc	13 days	3	-0/+65
\|/
*	Merge branch 'worktree-agent-a0734822346ae18db' into ccr-0054c02e-dfdvnd	zinc	13 days	3	-1/+155
\|\
\| *	zc0: byte string types, u/m/d as names, enhancements in asm	zinc	13 days	3	-1/+155
* \|	Merge branch 'worktree-agent-aaf6bc066598a6622' into ccr-0054c02e-dfdvnd	zinc	13 days	1	-0/+102
\|\ \
\| * \|	parity: compare what zc0 and the self-hosted compiler print	zinc	13 days	1	-0/+102
* \| \|	Merge branch 'worktree-agent-a3354164c07827b2e' into ccr-0054c02e-dfdvnd	zinc	13 days	1	-0/+89
\|\ \ \ \| \|_\|/ \|/\| \|
\| * \|	add c-style typedef and a built-in string alias	zinc	13 days	1	-0/+89
\| \|/
* /	constants inside structs, and typo suggestions for fields and static members	zinc	13 days	1	-0/+28
\|/
*	zc: untyped local const, c precedence for && and \|\|, import fixes for every m...	zinc	13 days	2	-0/+24
*	embed: tests, editor support and docs; js vm file access; test fixes	zinc	13 days	2	-0/+52
*	analyzer: close the ownership gaps that stopped the compiler compiling itself	zinc	13 days	1	-0/+39
*	feat: grow memory limits, add icon/actor libraries, overhaul LSP diagnostics	Moon Flower	13 days	118	-881/+1385
*	a	Moon Flower	2026-10-12	119	-0/+2477