aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* bench: baseline re-saved on main with the checks column and the rescaled arra...Gravatar zinc 2026-10-141-12/+12
* bench: a trap (zy exit 2) is labelled runtime trap with the stdout tail, sinc...Gravatar zinc 2026-10-142-6/+9
* bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 (che...Gravatar zinc 2026-10-142-2/+2
* bench: a nonzero zy exit (1 compile error, 2 trap) or a wrong checksum fails ...Gravatar zinc 2026-10-143-21/+73
* bench: baseline with arrays rows (checks column pending work/checks)Gravatar zinc 2026-10-141-10/+12
* bench: arrays rows, checks column from zy --explain-checks ('-' without it), ...Gravatar zinc 2026-10-141-10/+68
* bench: arrays.zc, a matmul whose hot loop is proved and a gather that keeps i...Gravatar zinc 2026-10-141-0/+58
* conformance: defer block form without a trailing semicolon, several statement...Gravatar zinc 2026-10-141-0/+23
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), n...Gravatar zinc 2026-10-145-7/+30
* todo: run.py's sieve checksum fails on mainGravatar zinc 2026-10-141-0/+1
* fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor...Gravatar zinc 2026-10-141-9/+8
* zy: a runtime trap exits 2 (rt.trap: index out of range, frame overflow, out ...Gravatar zinc 2026-10-143-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