drwxr-xr-x 10847 saferewrite-20240515/src/encode_761x4591/portable 7 files + 0 links
-rw-r--r-- 91 Makefile -rw-r--r-- 81 api.h -rw-r--r-- 0 crypto_encode.h -rw-r--r-- 2435 encode.c -rwxr-xr-x 2994 encodegen.py -rw-r--r-- 2623 goal-constbranch -rw-r--r-- 2623 goal-constindex