aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* conformance: defer block form without a trailing semicolon, several statement...Gravatar zinc 14 days1-0/+23
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), n...Gravatar zinc 14 days5-7/+30
* todo: run.py's sieve checksum fails on mainGravatar zinc 14 days1-0/+1
* fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor...Gravatar zinc 14 days1-9/+8
* zy: a runtime trap exits 2 (rt.trap: index out of range, frame overflow, out ...Gravatar zinc 14 days3-10/+15
* detach doc comments on internal bounds helpers (genome size); todo: reuse cap...Gravatar zinc 2026-10-142-1/+20
* explain-checks: the record writer moves to src/lib/explain.zc, embedded and c...Gravatar zinc 2026-10-145-55/+77
* jit_x64_test: link tests, src and examples into the scratch directory so embe...Gravatar zinc 2026-10-141-1/+5
* todo: callee generation guard for direct o3 calls, region 474..692 and fib di...Gravatar zinc 2026-10-143-1/+16
* jit_x64_test: a compile error on either core counts as a differenceGravatar zinc 2026-10-141-4/+8
* todo: work/checks status, self-modifying region caveat, zyrdump off, next dir...Gravatar zinc 2026-10-141-2/+2
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...Gravatar zinc 2026-10-1417-15/+488
* zy: nonzero exit on compile errorsGravatar zinc 2026-10-143-3/+28
* merge work/exactsize: exact-size heap boundsGravatar zinc 2026-10-1421-37/+191
|\
| * rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ...Gravatar zinc 2026-10-1421-37/+191
* | merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bdGravatar zinc 2026-10-147-5/+380
|\ \
| * | bench: drop committed pycache, ignore __pycache__Gravatar zinc 2026-10-142-0/+1
| * | bench: idle re-save of baseline at 89f35bdGravatar zinc 2026-10-141-10/+10
| * | bench: baseline at 89f35bd (jit, llvm, sweep; no interp)Gravatar zinc 2026-10-141-14/+10
| * | bench: find llvm-config-19 like the Makefile; bench-save refuses when an expe...Gravatar zinc 2026-10-144-3/+30
| * | bench: o3 guard is jit o3 collatz under half of jit plain (no interp rows nee...Gravatar zinc 2026-10-142-6/+10
| * | bench.sh: interp core built and timed only with INTERP=1Gravatar zinc 2026-10-141-2/+6
| * | bench: no-region guard, selftest and --rows, interp rows behind INTERP=1, fai...Gravatar zinc 2026-10-143-13/+90
| * | make bench, bench-save, bench-check: wrap tests/bench/bench.sh plus a pointer...Gravatar zinc 2026-10-142-22/+29
| * | Merge branch 'main' into work/benchGravatar zinc 2026-10-145-14/+271
| |\|
| * | Merge branch 'main' into work/benchGravatar zinc 2026-10-1429-74/+200
| |\ \
| * | | wip: bench wraps bench.shGravatar zinc 2026-10-143-61/+114
| * | | wip: bench suiteGravatar zinc 2026-10-143-1/+207
* | | | examples: actor demoGravatar zinc 2026-10-141-0/+92
* | | | todo: correct self-modifying region caveatGravatar zinc 2026-10-141-1/+1
* | | | todo: sync open list with 2026-10-14 workGravatar zinc 2026-10-141-6/+19
* | | | merge work/xref: stale known-line check for conformance and parityGravatar zinc 2026-10-143-15/+26
|\ \ \ \ | |_|_|/ |/| | |
| * | | conformance and parity: a known entry that passes again is stale and fails th...Gravatar zinc 2026-10-143-15/+26
| |/ /
* | | merge work/jit2: compiled o3 regions on x86-64Gravatar zinc 2026-10-145-14/+271
|\ \ \ | |_|/ |/| |
| * | x86-64 o3 regions: header comment, readme, bench note and todoGravatar zinc 2026-10-144-7/+8
| * | tests: x86-64 o3 regions compile and match the region interpreterGravatar zinc 2026-10-141-1/+5
| * | x86-64 jit: compile o3 regions (vars in their frame slots, six value register...Gravatar zinc 2026-10-141-6/+258
| |/
* | merge work/spec: appendix b round, zc0umd rewriteGravatar zinc 2026-10-1429-74/+200
|\ \ | |/ |/|
| * Merge branch 'main' into work/specGravatar zinc 2026-10-144-15/+36
| |\ | |/ |/|
* | merge work/xref: zc0 u*d redo and follow-upsGravatar zinc 2026-10-144-15/+36
|\ \
| * | zc0: a store into a local embed array is an error (its elements are in the co...Gravatar zinc 2026-10-143-8/+27
| * | zc0: free the saved token when the local-embed lookahead returns earlyGravatar zinc 2026-10-141-1/+1
| * | zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (...Gravatar zinc 2026-10-142-6/+8
| | * len: len on a char* is an error with typecheck off too (appendix b.2.14)Gravatar zinc 2026-10-144-6/+6
| | * prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13)Gravatar zinc 2026-10-145-5/+24
| | * bool: normalising into a bool keeps an incompatible source type, so the retur...Gravatar zinc 2026-10-141-1/+2
| | * as: the type after as is read greedily in both compilers; x as int * y is a s...Gravatar zinc 2026-10-144-6/+10
| | * lexer: a block comment that is never closed is 'unterminated comment' (append...Gravatar zinc 2026-10-146-5/+11
| | * bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6)Gravatar zinc 2026-10-145-4/+16
| | * enum: a member is defined as soon as it is declared, so later values can name...Gravatar zinc 2026-10-145-7/+18