drwxr-xr-x 4962 saferewrite-20210915/src/encode_761xfreeze3/avx 6 files
-rw-r--r--   80 api.h
-rw-r--r--   10 architectures
-rw-r--r--    0 crypto_encode.h
-rw-r--r--  736 encode.c
-rw-r--r-- 2068 goal-constbranch
-rw-r--r-- 2068 goal-constindex