| drwxr-xr-x | core/ | edf26390ae — feat(allocator): retain intermediates in registers and spill nested values | 12 days ago | |
| -rw-r--r-- | Allocation.thy | 6.1 KiB | edf26390ae — feat(allocator): retain intermediates in registers and spill nested values | 12 days ago |
| -rw-r--r-- | Bounds.thy | 5.3 KiB | 76b7f307a1 — feat(live): validate and swap compiled shaders between guest frames | 12 days ago |
| -rw-r--r-- | Branches.thy | 8.3 KiB | b58768f9b4 — feat(branches): compile conditionals to validated forward jumps | 12 days ago |
| -rw-r--r-- | Delivery.thy | 1.8 KiB | 76b7f307a1 — feat(live): validate and swap compiled shaders between guest frames | 12 days ago |
| -rw-r--r-- | Examples.thy | 3.7 KiB | e43395488e — perf(encoding): select compact stack displacement encodings | 1 months ago |
| -rw-r--r-- | Export.thy | 359 bytes | 76b7f307a1 — feat(live): validate and swap compiled shaders between guest frames | 12 days ago |
| -rw-r--r-- | Frontend.thy | 20.8 KiB | 7cb596d931 — feat(x86): prove emitted instruction execution and return-frame consumption | 12 days ago |
| -rw-r--r-- | X86.thy | 16.6 KiB | 76b7f307a1 — feat(live): validate and swap compiled shaders between guest frames | 12 days ago |