| drwxr-xr-x | cli/ | a68ad347f4 initial commit | 14 days ago | |
| drwxr-xr-x | examples/ | a68ad347f4 initial commit | 14 days ago | |
| drwxr-xr-x | media/ | a68ad347f4 initial commit | 14 days ago | |
| drwxr-xr-x | src/ | a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity | 14 days ago | |
| drwxr-xr-x | tests/ | a3a9eb2664 feat(encoding): prove canonical decoding and instruction injectivity | 14 days ago | |
| -rw-r--r-- | .gitignore | 22 bytes | a68ad347f4 initial commit | 14 days ago |
| lrwxrwxrwx | Encoding.thy | 16 bytes | a68ad347f4 initial commit | 14 days ago |
| lrwxrwxrwx | Machine.thy | 15 bytes | a68ad347f4 initial commit | 14 days ago |
| -rw-r--r-- | Makefile | 611 bytes | a68ad347f4 initial commit | 14 days ago |
| -rw-r--r-- | README.md | 1.0 KiB | a68ad347f4 initial commit | 14 days ago |
| lrwxrwxrwx | Relax.thy | 13 bytes | a68ad347f4 initial commit | 14 days ago |
| -rw-r--r-- | ROOT | 219 bytes | a68ad347f4 initial commit | 14 days ago |
| -rwxr-xr-x | span | 234 bytes | a68ad347f4 initial commit | 14 days ago |