| drwxr-xr-x | core/ | edf26390ae feat(allocator): retain intermediates in registers and spill nested values | 13 days ago | |
| -rw-r--r-- | Allocation.thy | 6.1 KiB | edf26390ae feat(allocator): retain intermediates in registers and spill nested values | 13 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 | 332 bytes | edf26390ae feat(allocator): retain intermediates in registers and spill nested values | 13 days ago |
| -rw-r--r-- | Frontend.thy | 17.7 KiB | edf26390ae feat(allocator): retain intermediates in registers and spill nested values | 13 days ago |