aboutsummaryrefslogtreecommitdiff
path: root/tests/programs
Commit message (Expand)AuthorAgeFilesLines
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...Gravatar zinc 13 days5-0/+79
* rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ...Gravatar zinc 13 days3-5/+50
* Merge branch 'main' into work/specGravatar zinc 13 days1-0/+9
|\
| * merge work/xref: zc0 u*d redo and follow-upsGravatar zinc 13 days1-0/+9
| |\
| | * zc0: a store into a local embed array is an error (its elements are in the co...Gravatar zinc 13 days1-0/+9
* | | Merge branch 'main' into work/specGravatar zinc 13 days4-0/+214
|\| |
| * | merge work/jit2: x86-64 jit inline enhancementsGravatar zinc 13 days3-0/+203
| |\ \ | | |/ | |/|
| | * x86-64 jit: inline enhancements (micro-ops lowered to registers, literal spec...Gravatar zinc 13 days2-0/+182
| | * test: a constant loop bound drops the fixed-array bounds check (bounds_proof)Gravatar zinc 13 days1-0/+21
| * | Merge branch 'main' into work/xrefGravatar zinc 13 days7-3/+78
| |\|
| * | zc0: embed of an array type inside a functionGravatar zinc 13 days1-0/+11
* | | zc0umd: no recast uses a visible u/m/d as its tag (spec 1.6.3); spec: the fix...Gravatar zinc 13 days1-9/+10
| |/ |/|
* | merge bounds checkingGravatar zinc 13 days7-3/+78
|\ \ | |/ |/|
| * bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...Gravatar zinc 13 days7-3/+78
* | memdebug: obj_base finds the header from the buddy size classes, not a 64-wor...Gravatar zinc 13 days2-0/+19
|/
* line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...Gravatar zinc 13 days8-1/+190
* Merge the defer statement; todo: tick it, add its follow-upsGravatar zinc 13 days1-0/+235
|\
| * zc: add the defer statementGravatar zinc 13 days1-0/+235
* | fix std hover, full capture terminator, bare static calls, void main in run-o...Gravatar zinc 13 days3-0/+65
|/
* Merge branch 'worktree-agent-a0734822346ae18db' into ccr-0054c02e-dfdvndGravatar zinc 13 days3-1/+155
|\
| * zc0: byte string types, u/m/d as names, enhancements in asmGravatar zinc 13 days3-1/+155
* | Merge branch 'worktree-agent-aaf6bc066598a6622' into ccr-0054c02e-dfdvndGravatar zinc 13 days1-0/+102
|\ \
| * | parity: compare what zc0 and the self-hosted compiler printGravatar zinc 13 days1-0/+102
* | | Merge branch 'worktree-agent-a3354164c07827b2e' into ccr-0054c02e-dfdvndGravatar zinc 13 days1-0/+89
|\ \ \ | |_|/ |/| |
| * | add c-style typedef and a built-in string aliasGravatar zinc 13 days1-0/+89
| |/
* / constants inside structs, and typo suggestions for fields and static membersGravatar zinc 13 days1-0/+28
|/
* zc: untyped local const, c precedence for && and ||, import fixes for every m...Gravatar zinc 13 days2-0/+24
* embed: tests, editor support and docs; js vm file access; test fixesGravatar zinc 13 days2-0/+52
* analyzer: close the ownership gaps that stopped the compiler compiling itselfGravatar zinc 14 days1-0/+39
* feat: grow memory limits, add icon/actor libraries, overhaul LSP diagnosticsGravatar Moon Flower 14 days118-881/+1385
* aGravatar Moon Flower 2026-10-12119-0/+2477