drwxr-xr-x 16376 saferewrite-20210904/src/decode_761x1531/portable 7 files
-rw-r--r-- 106 Makefile -rw-r--r-- 81 api.h -rw-r--r-- 36 crypto_decode.h -rw-r--r-- 5434 decode.c -rwxr-xr-x 5473 decodegen.py -rw-r--r-- 2623 goal-constbranch -rw-r--r-- 2623 goal-constindex