aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainmerge work/known-bugs: constant-expression precedence, local const in constan...Gravatar zinc 12 days
work/b213fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor...Gravatar zinc 13 days
work/benchbench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 (che...Gravatar zinc 13 days
work/deferdefer: any single statement (if/else, loops, switch, unchecked, unbounded), n...Gravatar zinc 13 days
work/proverwip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff...Gravatar zinc 13 days
work/uninit-localslsp: initialize locals set under a found flag (definite assignment)Gravatar zinc 12 days
 
 
AgeCommit messageAuthorFilesLines
13 daysdefer: any single statement (if/else, loops, switch, unchecked, unbounded), n...work/deferGravatar zinc 5-7/+30
13 dayszy: nonzero exit on compile errorsGravatar zinc 3-3/+28
13 daysmerge work/exactsize: exact-size heap boundsGravatar zinc 21-37/+191
13 daysmerge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bdGravatar zinc 7-5/+380
13 daysbench: drop committed pycache, ignore __pycache__Gravatar zinc 2-0/+1
13 daysbench: idle re-save of baseline at 89f35bdGravatar zinc 1-10/+10
13 daysrt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ...Gravatar zinc 21-37/+191
13 daysbench: baseline at 89f35bd (jit, llvm, sweep; no interp)Gravatar zinc 1-14/+10
13 daysbench: find llvm-config-19 like the Makefile; bench-save refuses when an expe...Gravatar zinc 4-3/+30
13 daysexamples: actor demoGravatar zinc 1-0/+92
[...]