| -rw-r--r-- | cli.py | 7.2 KiB | de502ca765 perf(cli): compile binary output and assembly report once | 13 days ago |
| -rw-r--r-- | Examples.thy | 2.2 KiB | a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity | 13 days ago |
| -rw-r--r-- | cli.py | 7.2 KiB | de502ca765 perf(cli): compile binary output and assembly report once | 13 days ago |
| -rw-r--r-- | Examples.thy | 2.2 KiB | a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity | 13 days ago |