| drwxr-xr-x | core/ | edf26390ae feat(allocator): retain intermediates in registers and spill nested values | 14 days ago | |
| -rw-r--r-- | Allocation.thy | 6.1 KiB | edf26390ae feat(allocator): retain intermediates in registers and spill nested values | 14 days ago |
| -rw-r--r-- | Branches.thy | 8.3 KiB | b58768f9b4 feat(branches): compile conditionals to validated forward jumps | 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 | 14 days ago |
| -rw-r--r-- | Frontend.thy | 19.0 KiB | b58768f9b4 feat(branches): compile conditionals to validated forward jumps | 13 days ago |