drwxr-xr-x 2896 saferewrite-20241004/src/decode_761x3/ref 3 files + 2 links
lrwxrwxrwx    0 api.h -> ../avx/api.h
-rw-r--r--    0 crypto_decode.h
-rw-r--r--  416 decode.c
lrwxrwxrwx    0 goal-constbranch -> goal-constindex
-rw-r--r-- 2480 goal-constindex