Hash Subject Author Age
95deb3c6 compiler: Make shared-code linking helpers safe Alexis Sellier
4af3a3b7 compiler: Preserve exclusive loans for conditional cell borrows Alexis Sellier
0c149827 compiler: Borrow lexical variable metadata safely Alexis Sellier
cbcd09d4 compiler: Retain safe module identities in the resolver Alexis Sellier
3e51617a compiler: Borrow binary decoder symbol tables safely Alexis Sellier
ed2fbb6c compiler: Check conditional call arguments for aliasing Alexis Sellier
f848c85f compiler: Retain conditional explicit argument loans Alexis Sellier
e2a0b14e compiler: Retain a checked parser arena borrow Alexis Sellier
929c447c compiler: Borrow parser string pools without copying snapshots Alexis Sellier
411cc85d compiler: Borrow assembler string storage by lexical region Alexis Sellier
eee99ebe compiler: Emit and patch assembly through safe helpers Alexis Sellier
e4ef0fa5 compiler: Scan assembly through checked string pool borrows Alexis Sellier
38affd56 compiler: Initialize lowering cursor and function state Alexis Sellier
b7b60331 compiler: Select instructions through checked operand borrows Alexis Sellier
997083ce compiler: Check safety requirements through safe resolver helpers Alexis Sellier
318bd58c compiler: Emit data integers through checked byte slices Alexis Sellier
648ff424 compiler: Format RV64 instructions with checked local buffers Alexis Sellier
59c7667a compiler: Print through checked output borrows Alexis Sellier
df6afe11 compiler: Decode scalar RIL fields through regional input borrows Alexis Sellier
c46d379a seed: Bootstrap compiler safety and lexical ownership fixes Alexis Sellier
f6689102 compiler: Merge ownership across short-circuit paths Alexis Sellier
bcc4a622 compiler: Retain explicit argument borrows through call evaluation Alexis Sellier
2c67cf47 compiler: Scan tokens through checked string pool borrows Alexis Sellier
6d74348f compiler: Borrow package name collection tables by region Alexis Sellier
44316af2 compiler: Borrow binary writer storage by lexical region Alexis Sellier
d98e577a compiler: Use checked borrows and initialized helper storage Alexis Sellier
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