| 71910687 |
rv64: Initialize reserved buffers with empty slices |
Alexis Sellier |
|
| 01d930e3 |
rv64: Return bounded code generation errors |
Alexis Sellier |
|
| e9c98886 |
test: Bound synthesized resolver test entry points |
Alexis Sellier |
|
| cdfa8552 |
compiler: Return register allocation capacity failures |
Alexis Sellier |
|
| 873a9fac |
compiler: Reject overflowing arena allocations |
Alexis Sellier |
|
| b4d4c376 |
test: Cover coerced binding storage layouts |
Alexis Sellier |
|
| f7523bce |
compiler: Initialize optional constant data with resolved layouts |
Alexis Sellier |
|
| b02adb25 |
compiler: Retain and check conditional call argument loans |
Alexis Sellier |
|
| b2c3593c |
compiler: Merge ownership across short-circuit paths |
Alexis Sellier |
|
| 4f712f07 |
compiler: Require unsafe permission for raw slice iteration |
Alexis Sellier |
|
| b06316b7 |
compiler: Require successful resolution before ownership checks |
Alexis Sellier |
|
| dc71074b |
Small style additions |
Alexis Sellier |
|
| dee95968 |
Preserve backing capacity in slice ranges |
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 |
|