| Branch | Commit message | Author | Age |
| main | merge work/known-bugs: constant-expression precedence, local const in constan... | zinc
| 12 days |
| work/b213 | fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor... | zinc
| 13 days |
| work/bench | bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 (che... | zinc
| 13 days |
| work/defer | defer: any single statement (if/else, loops, switch, unchecked, unbounded), n... | zinc
| 13 days |
| work/prover | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 13 days |
| work/uninit-locals | lsp: initialize locals set under a found flag (definite assignment) | zinc
| 11 days |
| |
| |
| Age | Commit message | Author | Files | Lines |
| 12 days | merge work/known-bugs: constant-expression precedence, local const in constan...HEADmain | zinc
| 40 | -109/+250 |
| 12 days | examples/actors_demo: print the fan-out replies in worker order, not arrival ... | zinc
| 1 | -4/+11 |
| 12 days | xref baseline: lkval (local const values) and xcval folded in bin | zinc
| 1 | -1/+3 |
| 12 days | seed: regenerate after known-bugs fixes (image d5ab2ac3) | zinc
| 2 | -5/+5 |
| 12 days | docs: appendix b.1.2, b.1.4, b.1.5, b.1.6, b.1.8 prose fixed in README (b.1.9... | zinc
| 2 | -7/+7 |
| 12 days | js vm: syscall 7 (exit) stops the run with its status, so a runtime fault no ... | zinc
| 2 | -1/+5 |
| 12 days | duplicate case labels are an error (b.2.15); unterminated string literal repo... | zinc
| 14 | -29/+74 |
| 12 days | constant expressions: c precedence and / % ^ (b.1.3); local const usable in c... | zinc
| 23 | -63/+146 |
| 12 days | merge work/small-oob: bytes test out-of-bounds read | zinc
| 2 | -2/+5 |
| 12 days | fix: bytes test read one byte past the fixed map into the heap | zinc
| 2 | -2/+5 |
| [...] |