drwxr-xr-x 19291 saferewrite-20210915/src/encode_761x1531round/avx 8 files
-rw-r--r--   111 Makefile
-rw-r--r--    81 api.h
-rw-r--r--    10 architectures
-rw-r--r--     0 crypto_encode.h
-rw-r--r--  6917 encode.c
-rwxr-xr-x  7956 encodegen.py
-rw-r--r--  2108 goal-constbranch
-rw-r--r--  2108 goal-constindex