| 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 |
|
| 52fcce36 |
compiler: Increase retained IL arena capacity |
Alexis Sellier |
|
| 958fd2e0 |
compiler: Support direct cell borrows |
Alexis Sellier |
|
| 2a67faea |
test: Cover lexical region lowering |
Alexis Sellier |
|
| 9a8d09d2 |
compiler: Add lexical regions |
Alexis Sellier |
|
| 0d7c8248 |
rv64: Add atomic instruction support |
Alexis Sellier |
|
| 0432def4 |
rv64: Return bounded code-generation failures |
Alexis Sellier |
|
| e237f812 |
rv64: Generate shared package code |
Alexis Sellier |
|
| d73b8223 |
rv64: Support explicit native image placement |
Alexis Sellier |
|
| d1be47b5 |
compiler: Emit separate binary RIL packages |
Alexis Sellier |
|
| eba4a943 |
il: Add binary RIL codecs |
Alexis Sellier |
|
| 56a00753 |
Support checked local references and disjoint field borrows |
Alexis Sellier |
|
| db5ee0c4 |
Support never-returning function signatures |
Alexis Sellier |
|
| ca4687c0 |
Fix assignment to qualified statics |
Alexis Sellier |
|
| c5ab32c8 |
Fix optional-to-union equality |
Alexis Sellier |
|
| a32f7985 |
Fix time output in `seed/update` |
Alexis Sellier |
|
| 24bcf96e |
vim: Fix `ras.vim` syntax |
Alexis Sellier |
|
| 27ce65c6 |
Enforce move semantics for safe mutable pointers |
Alexis Sellier |
|
| 3b15770b |
Create new seed from `cbc895e` |
Alexis Sellier |
|
| cbc895eb |
Lower record destructuring patterns |
Alexis Sellier |
|