| 71575880 |
compiler: Initialize catch lowering metadata |
Alexis Sellier |
|
| ce06be75 |
compiler: Select switch cases in checked code |
Alexis Sellier |
|
| 003268b3 |
compiler: Select jumps in checked code |
Alexis Sellier |
|
| d266f79a |
compiler: Select conditional branches in checked code |
Alexis Sellier |
|
| b166fdc9 |
compiler: Select RV64 calls in checked code |
Alexis Sellier |
|
| d3ace8fb |
compiler: Select inline RV64 instructions in checked code |
Alexis Sellier |
|
| 81619cc0 |
compiler: Classify match catch-all arms in checked code |
Alexis Sellier |
|
| 859cfb8c |
compiler: Write binary package files in checked code |
Alexis Sellier |
|
| b74f809e |
compiler: Parse command-line inputs in checked code |
Alexis Sellier |
|
| 1582c496 |
compiler: Process binary global data in checked code |
Alexis Sellier |
|
| 8a293756 |
compiler: Encode inline instruction operands in checked code |
Alexis Sellier |
|
| 1f3e014e |
compiler: Decode inline instruction operands in checked code |
Alexis Sellier |
|
| 2f90db37 |
compiler: Size register tables with checked extents |
Alexis Sellier |
|
| b213f338 |
compiler: Check and initialize test discovery storage |
Alexis Sellier |
|
| da9699b9 |
test: Partition std suite into bounded native images |
Alexis Sellier |
|
| 9637272a |
compiler: Check loop context transitions and control statements |
Alexis Sellier |
|
| 0bf6dec3 |
compiler: Initialize call argument loan scratch state |
Alexis Sellier |
|
| 44c1050d |
compiler: Initialize loan and loop checker scratch state |
Alexis Sellier |
|
| ecf232b6 |
compiler: Initialize ownership checker binding slots |
Alexis Sellier |
|
| 50908ae8 |
compiler: Construct for-loop metadata in checked code |
Alexis Sellier |
|
| 37360ae7 |
compiler: Construct slice range metadata in checked code |
Alexis Sellier |
|
| b7d3a956 |
compiler: Index exact nominal region applications |
Alexis Sellier |
|
| 5db493fa |
compiler: Index interned types by active fields |
Alexis Sellier |
|
| 1de5c499 |
compiler: Skip completed nominal application suffixes |
Alexis Sellier |
|
| 68c2ad57 |
compiler: Publish fully initialized immutable AST nodes |
Alexis Sellier |
|
| 6f1f12f2 |
compiler: Borrow assembler arena for the parse region |
Alexis Sellier |
|
| 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 |
|