drwxr-xr-x 18424 saferewrite-20240515/src/encode_761x4591/avx 8 files + 0 links
-rw-r--r-- 91 Makefile -rw-r--r-- 81 api.h -rw-r--r-- 10 architectures -rw-r--r-- 0 crypto_encode.h -rw-r--r-- 6270 encode.c -rwxr-xr-x 7956 encodegen.py -rw-r--r-- 2008 goal-constbranch -rw-r--r-- 2008 goal-constindex