| -rw-r--r-- | Compiler.thy | 11.4 KiB | 72b2edbe20 feat(compiler): prove exact peak stack demand | 2 months ago |
| -rw-r--r-- | Encoding.thy | 5.4 KiB | 3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |
| -rw-r--r-- | Examples.thy | 3.2 KiB | 33c6eac26d fix(frontend): distinguish syntax failures from resource limits | 1 months ago |
| -rw-r--r-- | Export.thy | 302 bytes | 75a5217580 feat(frontend): parameterise checked compiler resource limits | 1 months ago |
| -rw-r--r-- | Frontend.thy | 15.0 KiB | 75a5217580 feat(frontend): parameterise checked compiler resource limits | 1 months 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 | 6.2 KiB | 3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |