| -rw-r--r-- | Checker.thy | 2.3 KiB | 31d281ada8 feat(checker): validate native stack and register effects | 23 days ago |
| -rw-r--r-- | Compiler.thy | 11.4 KiB | 72b2edbe20 feat(compiler): prove exact peak stack demand | 2 months ago |
| -rw-r--r-- | Encoding.thy | 9.5 KiB | 5ccdadce3e feat(cli): disassemble emitted native instruction blocks | 26 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 | 323 bytes | 31d281ada8 feat(checker): validate native stack and register effects | 23 days ago |
| -rw-r--r-- | Frontend.thy | 17.1 KiB | 31d281ada8 feat(checker): validate native stack and register effects | 23 days ago |
| -rw-r--r-- | Model.thy | 5.2 KiB | a08d052613 perf(optimiser): collapse conditionals with identical branches | 2 months ago |
| -rw-r--r-- | Native.thy | 7.6 KiB | cd894bac28 perf(native): eliminate adjacent stack transfers with verified moves | 1 months ago |