drwxr-xr-x 348107 saferewrite-20211125/src 367 files
drwxr-xr-x    148 apibug_inpu 2 files
drwxr-xr-x    149 apibug_inputt 2 files
drwxr-xr-x    148 apibug_outpu 2 files
drwxr-xr-x    149 apibug_outputt 2 files
drwxr-xr-x  10580 cmp_64xint16 13 files
drwxr-xr-x  14730 core_scale3sntrup761 21 files
drwxr-xr-x  11023 decode_256x2 13 files
drwxr-xr-x  11548 decode_761x3 12 files
drwxr-xr-x  11109 decode_761xint16 11 files
drwxr-xr-x  11207 decode_761xint32 11 files
drwxr-xr-x   5669 divmod14 14 files
drwxr-xr-x   1930 divsigned 4 files
drwxr-xr-x  11730 encode_256x2 13 files
drwxr-xr-x  42710 encode_761x1531 24 files
drwxr-xr-x  27061 encode_761x1531round 19 files
drwxr-xr-x  12741 encode_761x3 13 files
drwxr-xr-x  39719 encode_761x4591 24 files
drwxr-xr-x  12048 encode_761xfreeze3 13 files
drwxr-xr-x  11062 encode_761xint16 11 files
drwxr-xr-x    427 flip 4 files
drwxr-xr-x   3301 int32_equal_mask 4 files
drwxr-xr-x   3437 int32_max 5 files
drwxr-xr-x   3437 int32_min 5 files
drwxr-xr-x   3358 int32_negative_mask 5 files
drwxr-xr-x   3846 int32_nonzero_mask 7 files
drwxr-xr-x   4004 int32_positive_mask 8 files
drwxr-xr-x   3542 int32_smaller_mask 5 files
drwxr-xr-x  10123 int32_sort2 18 files
drwxr-xr-x   3309 int32_unequal_mask 4 files
drwxr-xr-x   3259 int32_zero_mask 4 files
drwxr-xr-x  19844 sha256_200bytes 21 files
drwxr-xr-x  23127 sha512_300bytes 21 files
drwxr-xr-x   3473 uint32_equal_mask 4 files
drwxr-xr-x   3440 uint32_max 4 files
drwxr-xr-x   3440 uint32_min 4 files
drwxr-xr-x   3440 uint32_nonzero_mask 4 files
drwxr-xr-x   3480 uint32_smaller_mask 4 files
drwxr-xr-x   3450 uint32_sort2 4 files
drwxr-xr-x   3481 uint32_unequal_mask 4 files
drwxr-xr-x   3428 uint32_zero_mask 4 files