| 413073d6 |
module: (WIP) Associate updates with authority |
Alexis Sellier |
|
| d1a3f60b |
bitset: Keep safe tests outside unsafe |
Alexis Sellier |
|
| 719e243e |
asm: Make parser functions safe |
Alexis Sellier |
|
| 2d2cb3d6 |
refactor(lower): own control-flow edge arguments |
Alexis Sellier |
|
| 84158aa3 |
feat(resolver): add permission-associated cells |
Alexis Sellier |
|
| 80a2b616 |
resolver: resolve nominal call result views |
Alexis Sellier |
|
| aa5d2a53 |
resolver: require unguarded match catch-all last |
Alexis Sellier |
|
| 14b282d4 |
graph: support checked construction abandonment |
Alexis Sellier |
|
| 1fe3802c |
rv64: separate IL and allocation lifetimes |
Alexis Sellier |
|
| 68871bf5 |
resolver: validate placeholder expression values |
Alexis Sellier |
|
| 05ad7df3 |
compiler: Preserve shared regions in pattern bindings |
Alexis Sellier |
|
| c8d0ba89 |
compiler: Construct published instructions from checked operands |
Alexis Sellier |
|
| 25d7de6e |
compiler: Select instructions from owned regional IL |
Alexis Sellier |
|
| c69442cd |
compiler: Own published debug-location tables |
Alexis Sellier |
|
| b6aefd8a |
compiler: Select instructions with published parameter tables |
Alexis Sellier |
|
| a359ca0d |
compiler: Publish checked register-allocation inputs |
Alexis Sellier |
|
| e4713575 |
std: Add checked graph publication and owned liveness topology |
Alexis Sellier |
|
| 55199dd6 |
compiler: Check recursive cells and conditional ownership |
Alexis Sellier |
|
| c8d7b890 |
compiler: Add module-private opaque records |
Alexis Sellier |
|
| f6905c51 |
compiler: Initialize decoded operands through exact storage |
Alexis Sellier |
|
| 4d3903cd |
compiler: Check scoped call argument construction |
Alexis Sellier |
|
| 6bebd6db |
compiler: Check session initialization emission |
Alexis Sellier |
|
| 694546bb |
compiler: Check call result emission |
Alexis Sellier |
|
| 90c7b202 |
compiler: Check trait object storage emission |
Alexis Sellier |
|
| 8841bacd |
compiler: Check optional and slice construction |
Alexis Sellier |
|
| 22ef7605 |
compiler: Check aggregate value emission |
Alexis Sellier |
|
| 63b266a5 |
compiler: Check aggregate return classification |
Alexis Sellier |
|
| 7a69753c |
compiler: Check nominal and match classification |
Alexis Sellier |
|
| 732b4a2c |
compiler: Check numeric conversion emission |
Alexis Sellier |
|
| f77a58b2 |
compiler: Own substituted nominal member tables |
Alexis Sellier |
|
| c0a02bfa |
compiler: Own union variant construction |
Alexis Sellier |
|
| 93dfa95d |
compiler: Check owned record field construction |
Alexis Sellier |
|
| 5cea34bf |
compiler: Check result and union layout traversal |
Alexis Sellier |
|
| 0fa50c34 |
compiler: Check recursive type layout traversal |
Alexis Sellier |
|
| 548a8aa3 |
compiler: Check type classification and payload binding |
Alexis Sellier |
|
| 07646b5d |
compiler: Check scalar arithmetic lowering |
Alexis Sellier |
|
| 39a13d89 |
compiler: Check branch and loop emission |
Alexis Sellier |
|
| f9a33a93 |
compiler: Check scalar IL emission helpers |
Alexis Sellier |
|
| ad670606 |
compiler: Use scoped allocator for checked function construction |
Alexis Sellier |
|
| 3122b8f7 |
compiler: Check SSA merge construction |
Alexis Sellier |
|
| df26efaa |
compiler: Check recursive SSA resolution |
Alexis Sellier |
|
| 50f94c5d |
compiler: Check SSA edge patch selection |
Alexis Sellier |
|
| 5a3af878 |
compiler: Check SSA cache rewrite traversal |
Alexis Sellier |
|
| 86f24335 |
compiler: Check owned switch case decoding |
Alexis Sellier |
|
| 76b7420c |
compiler: Check owned package header decoding |
Alexis Sellier |
|
| 97e4033f |
compiler: Check decoder block table filling |
Alexis Sellier |
|
| 62f24fee |
compiler: Check owned data decoder validation |
Alexis Sellier |
|
| a3152d79 |
compiler: Check owned decoder operand construction |
Alexis Sellier |
|
| d96dc590 |
compiler: Check owned decoder parameter construction |
Alexis Sellier |
|
| 9c0b2546 |
compiler: Check owned decoder byte filling |
Alexis Sellier |
|