drwxr-xr-x 30251 saferewrite-20210903/src/decode_761x1531/avx 8 files
-rw-r--r-- 106 Makefile -rw-r--r-- 81 api.h -rw-r--r-- 10 architectures -rw-r--r-- 36 crypto_decode.h -rw-r--r-- 13176 decode.c -rwxr-xr-x 12826 decodegen.py -rw-r--r-- 2008 goal-constbranch -rw-r--r-- 2008 goal-constindex