| 87ca5d9f |
compiler: Check symbol visibility from resolved module identities |
Alexis Sellier |
|
| 05c6985b |
compiler: Require successful resolution before ownership checks |
Alexis Sellier |
|
| e8927bdf |
compiler: Calculate optional aggregate layouts from resolved payloads |
Alexis Sellier |
|
| 9f38500b |
compiler: Calculate array layouts from resolved element layouts |
Alexis Sellier |
|
| 560d04a3 |
compiler: Calculate optional payload offsets from resolved layouts |
Alexis Sellier |
|
| 415fdcf8 |
compiler: Detect terminators through checked instruction slices |
Alexis Sellier |
|
| 06628001 |
compiler: Read block descriptors through checked slices |
Alexis Sellier |
|
| cb284e73 |
compiler: Write RV64 images through checked byte slices |
Alexis Sellier |
|
| f28b0751 |
compiler: Scan stack reservations through checked instruction slices |
Alexis Sellier |
|
| 80edc705 |
compiler: Serialize debug entries through checked slices |
Alexis Sellier |
|
| db636eec |
compiler: Use checked catalog dependency slices |
Alexis Sellier |
|
| f58cc10a |
compiler: Validate constant slice bounds in safe code |
Alexis Sellier |
|
| 287a66c8 |
compiler: Resolve region indexes from checked declarations |
Alexis Sellier |
|
| deaafa1d |
compiler: Inspect local reference sources through checked borrows |
Alexis Sellier |
|
| 6168daf0 |
compiler: Check module paths in safe helpers |
Alexis Sellier |
|
| 6895879f |
compiler: Retain immutable standalone method metadata |
Alexis Sellier |
|
| 84c0637c |
compiler: Look up trait methods through checked slices |
Alexis Sellier |
|
| 2a299560 |
compiler: Require unsafe permission for raw slice iteration |
Alexis Sellier |
|
| a9b98450 |
compiler: Validate type metadata through safe helpers |
Alexis Sellier |
|
| b72fe736 |
compiler: Inspect reference shapes and allocator fields safely |
Alexis Sellier |
|
| 0ed82ea3 |
compiler: Check identifier ownership through resolved symbol identities |
Alexis Sellier |
|
| cfe03900 |
compiler: Check ownership transitions with immutable binding metadata |
Alexis Sellier |
|
| 9c9a3c12 |
compiler: Track region loan expiry with checked source identities |
Alexis Sellier |
|
| 186b07ed |
compiler: Use stable symbol identities for safe lookups |
Alexis Sellier |
|
| 95deb3c6 |
compiler: Make shared-code linking helpers safe |
Alexis Sellier |
|
| 4af3a3b7 |
compiler: Preserve exclusive loans for conditional cell borrows |
Alexis Sellier |
|
| 0c149827 |
compiler: Borrow lexical variable metadata safely |
Alexis Sellier |
|
| cbcd09d4 |
compiler: Retain safe module identities in the resolver |
Alexis Sellier |
|
| 3e51617a |
compiler: Borrow binary decoder symbol tables safely |
Alexis Sellier |
|
| ed2fbb6c |
compiler: Check conditional call arguments for aliasing |
Alexis Sellier |
|
| f848c85f |
compiler: Retain conditional explicit argument loans |
Alexis Sellier |
|
| e2a0b14e |
compiler: Retain a checked parser arena borrow |
Alexis Sellier |
|
| 929c447c |
compiler: Borrow parser string pools without copying snapshots |
Alexis Sellier |
|
| 411cc85d |
compiler: Borrow assembler string storage by lexical region |
Alexis Sellier |
|
| eee99ebe |
compiler: Emit and patch assembly through safe helpers |
Alexis Sellier |
|
| e4ef0fa5 |
compiler: Scan assembly through checked string pool borrows |
Alexis Sellier |
|
| 38affd56 |
compiler: Initialize lowering cursor and function state |
Alexis Sellier |
|
| b7b60331 |
compiler: Select instructions through checked operand borrows |
Alexis Sellier |
|
| 997083ce |
compiler: Check safety requirements through safe resolver helpers |
Alexis Sellier |
|
| 318bd58c |
compiler: Emit data integers through checked byte slices |
Alexis Sellier |
|
| 648ff424 |
compiler: Format RV64 instructions with checked local buffers |
Alexis Sellier |
|
| 59c7667a |
compiler: Print through checked output borrows |
Alexis Sellier |
|
| df6afe11 |
compiler: Decode scalar RIL fields through regional input borrows |
Alexis Sellier |
|
| c46d379a |
seed: Bootstrap compiler safety and lexical ownership fixes |
Alexis Sellier |
|
| f6689102 |
compiler: Merge ownership across short-circuit paths |
Alexis Sellier |
|
| bcc4a622 |
compiler: Retain explicit argument borrows through call evaluation |
Alexis Sellier |
|
| 2c67cf47 |
compiler: Scan tokens through checked string pool borrows |
Alexis Sellier |
|
| 6d74348f |
compiler: Borrow package name collection tables by region |
Alexis Sellier |
|
| 44316af2 |
compiler: Borrow binary writer storage by lexical region |
Alexis Sellier |
|
| d98e577a |
compiler: Use checked borrows and initialized helper storage |
Alexis Sellier |
|