| master |
dee95968 |
Preserve backing capacity in slice ranges |
Alexis Sellier |
|
| agent/cell-permissions |
413073d6 |
module: (WIP) Associate updates with authority |
Alexis Sellier |
|
| cloudhead/master-next |
71910687 |
rv64: Initialize reserved buffers with empty slices |
Alexis Sellier |
|
| agent/master-fixes |
2416812e |
rv64: Return bounded code generation errors |
Alexis Sellier |
|
| agent/opaque-records |
f6905c51 |
compiler: Initialize decoded operands through exact storage |
Alexis Sellier |
|
| agent/safe-ast |
8841bacd |
compiler: Check optional and slice construction |
Alexis Sellier |
|
| agent/lexical-regions-kernel-t2 |
046eddc2 |
kernel: Integrate lexical regions |
Alexis Sellier |
|
| agent/kernel-t2 |
b15c0ef2 |
kernel: Allow dropping capabilities for dead domains |
Alexis Sellier |
|
| kernel |
6e822795 |
kernel: admit and compile trusted RIL at runtime |
Alexis Sellier |
|
| cloudhead/memory-safety |
01c735ad |
lang: enforce unsafe memory access |
Alexis Sellier |
|
| cloudhead/generic-core-types |
364e2346 |
refactor(lang): unify core type representation |
Alexis Sellier |
|
| radiance-generics |
27d18a54 |
lang: Document explicit generics |
Alexis Sellier |
|
| ai/ril-safety |
b3d179a0 |
resolver: document opaque pointer cast safety gap |
Alexis Sellier |
|