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