| 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 |
|
| f5aa0434 |
Allow implicit raw-pointer borrows in unsafe contexts |
Alexis Sellier |
|
| 7397ed17 |
Require unsafe context for raw pointer patterns |
Alexis Sellier |
|
| 682efa21 |
Check pointer target mutability for writes |
Alexis Sellier |
|
| 65221249 |
Reject incompatible pointer coercions |
Alexis Sellier |
|
| 5ef2ba40 |
Require unsafe context for undefined values |
Alexis Sellier |
|
| 3c86541c |
Bootstrap the compiler with unsafe static support |
Alexis Sellier |
|
| e4588734 |
Require unsafe context to access unsafe statics |
Alexis Sellier |
|
| 7674c012 |
Require unsafe context for slice pointer access |
Alexis Sellier |
|
| d9d9db3e |
Bootstrap the compiler with scoped unsafe blocks |
Alexis Sellier |
|
| 333d76bb |
Mark debug serialization unsafe for self-hosting |
Alexis Sellier |
|
| e5805fe5 |
Support scoped unsafe statement blocks |
Alexis Sellier |
|
| a1fd8da6 |
Require unsafe functions to mutate slice headers |
Alexis Sellier |
|
| d3cc6c5f |
Require unsafe functions for explicit slice construction |
Alexis Sellier |
|
| ceaf9422 |
Require unsafe functions for storage reinterpretation casts |
Alexis Sellier |
|
| 5807f724 |
Require unsafe functions for pointer arithmetic |
Alexis Sellier |
|
| a9d3b2cf |
Restrict safe pointers to permanent storage |
Alexis Sellier |
|
| 55e5d92e |
vim: Add `w64` to RIL syntax |
Alexis Sellier |
|
| 9a9ad076 |
rv64: Skip zero chunks in wide immediates |
Alexis Sellier |
|
| 587e7cb3 |
resolver: Borrow ownership branch inputs |
Alexis Sellier |
|
| 6436757e |
resolver: Share executable body checking |
Alexis Sellier |
|
| a7f15291 |
lower: Share constant slice data insertion |
Alexis Sellier |
|
| 625eabb9 |
regalloc: Count excess callee registers once |
Alexis Sellier |
|
| e0c7ad6c |
il: Print numbers without arena allocations |
Alexis Sellier |
|
| d3a86b21 |
resolver: Initialize active ownership state |
Alexis Sellier |
|
| 76d18fbc |
lookup: Borrow keyword and dictionary entries |
Alexis Sellier |
|
| a7dcdcfb |
module: Consolidate directory prefix scanning |
Alexis Sellier |
|
| 45c563a2 |
lower: Avoid redundant constant array layouts |
Alexis Sellier |
|
| ecdf6a84 |
lower: Reuse pending block parameter state |
Alexis Sellier |
|
| 95ea08b1 |
regalloc: Index last operand uses per block |
Alexis Sellier |
|
| 7c9a7f91 |
rv64: Preserve FP only for dynamic frames |
Alexis Sellier |
|
| 2c74c0a9 |
regalloc: Grow liveness sets monotonically |
Alexis Sellier |
|