drwxr-xr-x 2924 saferewrite-20240622/src/decode_256x2/avx 5 files + 1 link
-rw-r--r--   79 api.h
-rw-r--r--   10 architectures
-rw-r--r--    0 crypto_decode.h
-rw-r--r--  887 decode.c
lrwxrwxrwx    0 goal-constbranch -> goal-constindex
-rw-r--r-- 1948 goal-constindex