| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
| |
Rebased the prover WIP onto main. lafact_keep restores undirtied allocation
facts even when the loop body might free (so a later touch() no longer drops
every length fact). proven_p uses ptr_still so an outer call keeps the check.
entry_fact still supplies the size for the "might free" explain reason.
bounds_prover.zc and explain_prover.zc land with test.sh coverage.
|
| |
|
|
| |
affine i*n+k); unbuilt and untested
|
| |
|
|
|
|
|
| |
Constant-size typed new inside o3 now calls rt.new_k instead of always
taking new_t/new_raw. new_k and recycle_leaf skip the o3 argument-fatten
path the way free/recycle already do. trees o3 new/free on the x86-64
jit dropped from about 4.1 ms to about 2.7 ms per iter (matches plain).
|
| |
|
|
|
|
|
|
|
| |
Port arm64's rcall/rfinish to the x86-64 region jit: call the callee's entry
stub through fn_nat with a built frame, return via linkstk, and fall back to
o3_invoke when the stub is missing or the frame/depth check fails. Clear
fn_nat on rforget and cover the function prologue so icon.replace_function
drops the region (o3_caller_replace). vm_until saves jit_depth around nested
bytecode, matching arm64.
|
| |
|
|
| |
verdict, file and tsc installed, genome 0x70000)
|
| |
|
|
| |
replies and closes the endpoint; the handler reaches the struct through endpoint.state so the struct isn't shared; spawn hint skips mailbox structs
|
| |
|
|
| |
owned std.File (or null) with write and read, and its drop closes the descriptor; Host.writefile is built on it; file_drop.zc, learn and readme
|
| |
|
|
| |
drop capturing its own value), one per collection, each once; before, each waited for the other forever; spec 6.15.3, drop_gc_cycle.zc, drop_gc_self_capture.zc, design doc lists what landed
|
| |
|
|
| |
enters and leaves the region and fattens its result, like a direct call; spec 4.10.3, o3_receiver_method_enter.zc
|
| |
|
|
| |
block they leave (the loop records the o3 depth it began at), so the depth returns to 0 and pending collections and drops run; spec 4.10.3, o3_break_continue_leave.zc
|
| |
|
|
| |
4.11, readme, memdebug_report_drop.zc
|
| |
|
|
| |
it too, on x.spawn() of a mailbox struct for each live owned local with a drop; spec 6.15.4, lsp hint check
|
| |
|
|
| |
a drop, or on an array field of a value with a drop, is error: a: can't move out of a value with drop (fields were already borrowed projections); spec 6.15.5, four conformance programs
|
| |
|
|
| |
value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.2
|
| |
|
|
| |
left); the map constants in rt.zc and the README table move by 0x8000; gc.zc's reclaim bound is 900 (937 with the heap higher, 952 before) and the run-only section rewrites whatever its number
|
| |\
| |
| |
| | |
marker ends unbounded;/unchecked; so self-hosted run-only images bounds-check the program again
|
| | |
| |
| |
| | |
of the source before it end there: a program joined to the unbounded runtime in a self-hosted run-only image is bounds-checked again (since d55b5fd its index errors went unreported); runtime_image_test expects the trap's exit status 2; spec 4.15.1, 4.x unchecked, 5.15.3
|
| |/
|
|
| |
since 45b53ef like the compiler (the typed/plain image check had compared an empty image)
|
| |\
| |
| |
| | |
collector drops once with resurrection, freed blocks forget their drop)
|
| | |
| |
| |
| | |
free, no move out, spawn hint, memreport marker, o3 break/continue, droppable cycles, first users) is its own open item
|
| | |
| |
| |
| | |
whatever its number (it was 990 when the sed was written, gc.zc says 950 now, so the small map was held to the default map's count)
|
| | |
| |
| |
| | |
drop_call, heap_box) write the expression state like other call helpers, and it also takes the 87 writers from earlier merges that main's baseline missed
|
| | |
| |
| |
| | |
compiler reads mentions actors (test.sh check)
|
| | |
| |
| |
| | |
the drop and before the children
|
| | |
| |
| |
| | |
the clearing out of line
|
| | |
| |
| |
| | |
methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.15
|
| | | |
|
| | |
| |
| |
| | |
F_HASDROP/F_DROPPED bits
|
| | |
| |
| |
| | |
heap() builtin, gc runs drops)
|
| |/ |
|
| |
|
|
| |
checksums pass on main again (todo item closed)
|
| |
|
|
| |
arrays rows
|
| |
|
|
| |
since zy reports traps on stdout, in suite.py and bench.sh
|
| |
|
|
| |
(checked against a python reference), not 0
|
| |
|
|
| |
the row with the stderr tail, in suite.py and bench.sh; selftest cases for exit 1, exit 2 and a wrong checksum. arrays rows scaled to ~3 ms a repetition (matmul 40x40, gather 98304 words); the baseline's arrays rows are stale until a re-save
|
| | |
|
| |
|
|
| |
bench-check fails when a row's check count changes; selftest cases
|
| |
|
|
| |
its check
|
| |
|
|
| |
statements and a local, at a return and at the end of the scope
|
| |
|
|
| |
not just an expression or a block
|
| | |
|
| |
|
|
| |
words, same behaviour)
|
| |
|
|
| |
of heap, bad pointer, use after free); compile errors stay 1; spec 8.1.3; exitstatus.sh checks exit 2
|
| |
|
|
| |
capture_scan in the body scanner
|
| |
|
|
| |
compiled only in that mode; the genome keeps the call sites and a hook
|
| |
|
|
| |
embed and include programs compile; list the programs whose compile error is expected
|
| |
|
|
| |
diagnosis; icon test with an o3 caller across find_replace
|
| | |
|
| |
|
|
| |
direct o3 calls
|
| |
|
|
| |
--explain-checks v1 (non-o3 code)
|
zinc
