| edab4b3c |
compiler: Finalize RV64 programs in checked code |
Alexis Sellier |
|
| 25a7fab8 |
compiler: Compute fixed type layouts in checked code |
Alexis Sellier |
|
| ef74a568 |
compiler: Initialize union equality destinations |
Alexis Sellier |
|
| 9a2a5d6d |
compiler: Grow initialized scalar match destinations |
Alexis Sellier |
|
| 84ff2d4f |
compiler: Construct logical targets in checked code |
Alexis Sellier |
|
| 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 |
|