aboutsummaryrefslogtreecommitdiff
path: root/src/compiler/stmt.zc
Commit message (Expand)AuthorAgeFilesLines
* wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff...work/proverGravatar zinc 13 days1-1/+3
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...Gravatar zinc 13 days1-5/+21
* merge bounds checkingGravatar zinc 13 days1-1/+14
|\
| * bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...Gravatar zinc 13 days1-1/+14
* | merge: seven self-hosted compiler fixes from conformanceGravatar zinc 13 days1-2/+2
|\ \ | |/ |/|
| * switch: case member(): with no names matches a tagged member by tag even when...Gravatar zinc 13 days1-1/+1
| * return: a value returned from a void function is dropped and the function yie...Gravatar zinc 13 days1-1/+1
* | line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...Gravatar zinc 13 days1-1/+1
|/
* zc: add the defer statementGravatar zinc 13 days1-0/+100
* split compiler.zc into files by phaseGravatar zinc 13 days1-0/+816