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 11 days
 
 
AgeCommit messageAuthorFilesLines
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
12 daysconstant expressions: c precedence and / % ^ (b.1.3); local const usable in c...Gravatar zinc 23-63/+146
12 daysmerge work/small-oob: bytes test out-of-bounds readGravatar zinc 2-2/+5
12 daysfix: bytes test read one byte past the fixed map into the heapGravatar zinc 2-2/+5
[...]