| -rw-r--r-- | Compiler.thy | 10.3 KiB | 3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner | 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 | 2.0 KiB | 3e3f52cd4b perf(optimiser): eliminate absorbing arithmetic and bitwise expressions | 2 months ago |
| -rw-r--r-- | Export.thy | 291 bytes | 3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |
| -rw-r--r-- | Frontend.thy | 7.7 KiB | 3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |
| -rw-r--r-- | Model.thy | 5.2 KiB | 3e3f52cd4b perf(optimiser): eliminate absorbing arithmetic and bitwise expressions | 2 months ago |
| -rw-r--r-- | Native.thy | 6.2 KiB | 3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |