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
12 dayslsp: initialize locals set under a found flag (definite assignment)work/uninit-localsGravatar zinc 1-2/+2
12 daysuninit: track aggregate fills per part, sticky computed-index fills, &a[k] an...Gravatar zinc 14-25/+94
12 daysdefinite assignment: reading a local before it is initialized is a compile er...Gravatar zinc 32-86/+321
12 daysmerge work/known-bugs: constant-expression precedence, local const in constan...HEADmainGravatar zinc 40-109/+250
12 daysexamples/actors_demo: print the fan-out replies in worker order, not arrival ...Gravatar zinc 1-4/+11
12 daysxref baseline: lkval (local const values) and xcval folded in binGravatar zinc 1-1/+3
12 daysseed: regenerate after known-bugs fixes (image d5ab2ac3)Gravatar zinc 2-5/+5
12 daysdocs: appendix b.1.2, b.1.4, b.1.5, b.1.6, b.1.8 prose fixed in README (b.1.9...Gravatar zinc 2-7/+7
12 daysjs vm: syscall 7 (exit) stops the run with its status, so a runtime fault no ...Gravatar zinc 2-1/+5
12 daysduplicate case labels are an error (b.2.15); unterminated string literal repo...Gravatar zinc 14-29/+74
[...]