drwxr-xr-x 10847 saferewrite-20210915/src/encode_761x4591/portable 7 files
-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