Dennis Kobert
|
b58d2ab470
|
Record the settled level and generic-name decisions
|
2026-09-06 16:58:15 +00:00 |
|
Dennis Kobert
|
2e1d9c04f7
|
Update the soundness section to the landed enforcement
|
2026-09-06 16:57:31 +00:00 |
|
Dennis Kobert
|
5d967a6a17
|
Adopt the input and source vocabulary
|
2026-09-06 16:57:14 +00:00 |
|
Dennis Kobert
|
c93395bb8f
|
Add the arena, promotion, memo, and owned crossing reference
|
2026-09-06 16:56:20 +00:00 |
|
Dennis Kobert
|
d0dae48575
|
Rewrite the runtime representation to the landed frame model
|
2026-09-06 16:55:50 +00:00 |
|
Dennis Kobert
|
658f37874c
|
Align rfc with implementation
|
2026-08-29 23:00:50 +02:00 |
|
Dennis Kobert
|
c01fb080bf
|
Update rfc
|
2026-08-28 11:22:13 +02:00 |
|
Dennis Kobert
|
d1779e8feb
|
Update rfc with new tuple syntax for inputs
|
2026-08-06 16:58:04 +02:00 |
|
Dennis Kobert
|
fa762379e3
|
Align RFC summary, soundness, and rationale with the stack model
|
2026-08-05 23:02:38 +02:00 |
|
Dennis Kobert
|
18225d0c12
|
Move evaluation to use a stack
|
2026-08-05 21:04:10 +02:00 |
|
Dennis Kobert
|
f01429ff0b
|
Fix the record buffer liveness rule and the index accessor
|
2026-08-04 23:56:16 +02:00 |
|
Dennis Kobert
|
32068fc8f5
|
Remove concept of sampled nodes
|
2026-08-04 23:39:14 +02:00 |
|
Dennis Kobert
|
00e40b4f53
|
Add RFC for the attribute system
|
2026-08-04 20:47:35 +02:00 |
|