drwxr-xr-x 19291 saferewrite-20240515/src/encode_761x1531round/avx 8 files + 0 links
-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