aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* docs: destructors: value and type drops both run, side table storage, F_HASDR...Gravatar zinc 13 days1-9/+6
* docs: revise destructors draft to acorn's rulings (drop on any heap value, he...Gravatar zinc 13 days1-66/+117
* docs: draft design for destructors on heap objectsGravatar zinc 13 days1-0/+121
* bench: sieve.zc and trees.zc take namespace and include rt, so run.py's check...Gravatar zinc 13 days3-19/+22
* bench: baseline re-saved on main with the checks column and the rescaled arra...Gravatar zinc 13 days1-12/+12
* bench: a trap (zy exit 2) is labelled runtime trap with the stdout tail, sinc...Gravatar zinc 13 days2-6/+9
* bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 (che...Gravatar zinc 13 days2-2/+2
* bench: a nonzero zy exit (1 compile error, 2 trap) or a wrong checksum fails ...Gravatar zinc 13 days3-21/+73
* bench: baseline with arrays rows (checks column pending work/checks)Gravatar zinc 13 days1-10/+12
* bench: arrays rows, checks column from zy --explain-checks ('-' without it), ...Gravatar zinc 13 days1-10/+68
* bench: arrays.zc, a matmul whose hot loop is proved and a gather that keeps i...Gravatar zinc 13 days1-0/+58
* conformance: defer block form without a trailing semicolon, several statement...Gravatar zinc 13 days1-0/+23
* defer: any single statement (if/else, loops, switch, unchecked, unbounded), n...Gravatar zinc 13 days5-7/+30
* todo: run.py's sieve checksum fails on mainGravatar zinc 13 days1-0/+1
* fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor...Gravatar zinc 13 days1-9/+8
* zy: a runtime trap exits 2 (rt.trap: index out of range, frame overflow, out ...Gravatar zinc 13 days3-10/+15
* detach doc comments on internal bounds helpers (genome size); todo: reuse cap...Gravatar zinc 13 days2-1/+20
* explain-checks: the record writer moves to src/lib/explain.zc, embedded and c...Gravatar zinc 13 days5-55/+77
* jit_x64_test: link tests, src and examples into the scratch directory so embe...Gravatar zinc 13 days1-1/+5
* todo: callee generation guard for direct o3 calls, region 474..692 and fib di...Gravatar zinc 13 days3-1/+16
* jit_x64_test: a compile error on either core counts as a differenceGravatar zinc 13 days1-4/+8
* todo: work/checks status, self-modifying region caveat, zyrdump off, next dir...Gravatar zinc 13 days1-2/+2
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...Gravatar zinc 13 days17-15/+488
* zy: nonzero exit on compile errorsGravatar zinc 13 days3-3/+28
* merge work/exactsize: exact-size heap boundsGravatar zinc 13 days21-37/+191
|\
| * rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ...Gravatar zinc 13 days21-37/+191
* | merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bdGravatar zinc 13 days7-5/+380
|\ \
| * | bench: drop committed pycache, ignore __pycache__Gravatar zinc 13 days2-0/+1
| * | bench: idle re-save of baseline at 89f35bdGravatar zinc 13 days1-10/+10
| * | bench: baseline at 89f35bd (jit, llvm, sweep; no interp)Gravatar zinc 13 days1-14/+10
| * | bench: find llvm-config-19 like the Makefile; bench-save refuses when an expe...Gravatar zinc 13 days4-3/+30
| * | bench: o3 guard is jit o3 collatz under half of jit plain (no interp rows nee...Gravatar zinc 13 days2-6/+10
| * | bench.sh: interp core built and timed only with INTERP=1Gravatar zinc 13 days1-2/+6
| * | bench: no-region guard, selftest and --rows, interp rows behind INTERP=1, fai...Gravatar zinc 13 days3-13/+90
| * | make bench, bench-save, bench-check: wrap tests/bench/bench.sh plus a pointer...Gravatar zinc 13 days2-22/+29
| * | Merge branch 'main' into work/benchGravatar zinc 13 days5-14/+271
| |\|
| * | Merge branch 'main' into work/benchGravatar zinc 13 days29-74/+200
| |\ \
| * | | wip: bench wraps bench.shGravatar zinc 13 days3-61/+114
| * | | wip: bench suiteGravatar zinc 13 days3-1/+207
* | | | examples: actor demoGravatar zinc 13 days1-0/+92
* | | | todo: correct self-modifying region caveatGravatar zinc 13 days1-1/+1
* | | | todo: sync open list with 2026-10-14 workGravatar zinc 13 days1-6/+19
* | | | merge work/xref: stale known-line check for conformance and parityGravatar zinc 13 days3-15/+26
|\ \ \ \ | |_|_|/ |/| | |
| * | | conformance and parity: a known entry that passes again is stale and fails th...Gravatar zinc 13 days3-15/+26
| |/ /
* | | merge work/jit2: compiled o3 regions on x86-64Gravatar zinc 13 days5-14/+271
|\ \ \ | |_|/ |/| |
| * | x86-64 o3 regions: header comment, readme, bench note and todoGravatar zinc 13 days4-7/+8
| * | tests: x86-64 o3 regions compile and match the region interpreterGravatar zinc 13 days1-1/+5
| * | x86-64 jit: compile o3 regions (vars in their frame slots, six value register...Gravatar zinc 13 days1-6/+258
| |/
* | merge work/spec: appendix b round, zc0umd rewriteGravatar zinc 13 days29-74/+200
|\ \ | |/ |/|
| * Merge branch 'main' into work/specGravatar zinc 13 days4-15/+36
| |\ | |/ |/|