| 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-- | 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 | 341 bytes | 7cb596d931 feat(x86): prove emitted instruction execution and return-frame consumption | 13 days ago |
| -rw-r--r-- | Frontend.thy | 20.8 KiB | 7cb596d931 feat(x86): prove emitted instruction execution and return-frame consumption | 13 days ago |
| -rw-r--r-- | X86.thy | 16.6 KiB | 7cb596d931 feat(x86): prove emitted instruction execution and return-frame consumption | 13 days ago |