drwxr-xr-x 30251 saferewrite-20210904/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