drwxr-xr-x 392157 saferewrite-20240622/src 716 files + 652 links
drwxr-xr-x 148 apibug_inpu 2 files + 0 links
drwxr-xr-x 41 apibug_inputt 1 file + 1 link
drwxr-xr-x 40 apibug_outpu 1 file + 1 link
drwxr-xr-x 41 apibug_outputt 1 file + 1 link
drwxr-xr-x 10811 cmp_64xint16 14 files + 0 links
drwxr-xr-x 9807 core_scale3sntrup761 17 files + 4 links
drwxr-xr-x 6516 decode_256x2 10 files + 3 links
drwxr-xr-x 7030 decode_761x3 8 files + 4 links
drwxr-xr-x 5821 decode_761xint16 8 files + 3 links
drwxr-xr-x 5762 decode_761xint32 7 files + 4 links
drwxr-xr-x 4664 divmod14 10 files + 4 links
drwxr-xr-x 1930 divsigned 4 files + 0 links
drwxr-xr-x 7134 encode_256x2 8 files + 5 links
drwxr-xr-x 35243 encode_761x1531 17 files + 7 links
drwxr-xr-x 13000 encode_761x1531round 10 files + 9 links
drwxr-xr-x 8143 encode_761x3 8 files + 5 links
drwxr-xr-x 21051 encode_761x4591 14 files + 10 links
drwxr-xr-x 7254 encode_761xfreeze3 9 files + 4 links
drwxr-xr-x 5693 encode_761xint16 7 files + 4 links
drwxr-xr-x 427 flip 4 files + 0 links
drwxr-xr-x 302 int16_bitmod_mask 3 files + 2 links
drwxr-xr-x 258 int16_bottombit_mask 3 files + 2 links
drwxr-xr-x 340 int16_bottomzeros_num 3 files + 2 links
drwxr-xr-x 300 int16_equal_mask 3 files + 5 links
drwxr-xr-x 292 int16_leq_mask 3 files + 5 links
drwxr-xr-x 321 int16_load 3 files + 5 links
drwxr-xr-x 16833 int16_max 6 files + 2 links
drwxr-xr-x 270 int16_min 3 files + 5 links
drwxr-xr-x 391 int16_negative_mask 4 files + 4 links
drwxr-xr-x 386 int16_nonzero_mask 4 files + 4 links
drwxr-xr-x 696 int16_ones_num 3 files + 2 links
drwxr-xr-x 391 int16_positive_mask 4 files + 4 links
drwxr-xr-x 271 int16_shlmod 3 files + 5 links
drwxr-xr-x 271 int16_shrmod 3 files + 2 links
drwxr-xr-x 307 int16_smaller_mask 3 files + 5 links
drwxr-xr-x 277 int16_sort2 3 files + 5 links
drwxr-xr-x 310 int16_store 3 files + 5 links
drwxr-xr-x 308 int16_unequal_mask 3 files + 5 links
drwxr-xr-x 368 int16_zero_mask 4 files + 4 links
drwxr-xr-x 302 int32_bitmod_mask 3 files + 2 links
drwxr-xr-x 258 int32_bottombit_mask 3 files + 2 links
drwxr-xr-x 340 int32_bottomzeros_num 3 files + 2 links
drwxr-xr-x 434 int32_equal_mask 4 files + 6 links
drwxr-xr-x 292 int32_leq_mask 3 files + 5 links
drwxr-xr-x 321 int32_load 3 files + 5 links
drwxr-xr-x 20259 int32_max 9 files + 2 links
drwxr-xr-x 556 int32_min 5 files + 6 links
drwxr-xr-x 598 int32_negative_mask 6 files + 5 links
drwxr-xr-x 1082 int32_nonzero_mask 8 files + 5 links
drwxr-xr-x 696 int32_ones_num 3 files + 2 links
drwxr-xr-x 1244 int32_positive_mask 9 files + 5 links
drwxr-xr-x 271 int32_shlmod 3 files + 5 links
drwxr-xr-x 271 int32_shrmod 3 files + 2 links
drwxr-xr-x 679 int32_smaller_mask 5 files + 6 links
drwxr-xr-x 7220 int32_sort2 18 files + 6 links
drwxr-xr-x 310 int32_store 3 files + 5 links
drwxr-xr-x 446 int32_unequal_mask 4 files + 6 links
drwxr-xr-x 483 int32_zero_mask 5 files + 5 links
drwxr-xr-x 302 int64_bitmod_mask 3 files + 2 links
drwxr-xr-x 258 int64_bottombit_mask 3 files + 2 links
drwxr-xr-x 340 int64_bottomzeros_num 3 files + 2 links
drwxr-xr-x 300 int64_equal_mask 3 files + 5 links
drwxr-xr-x 292 int64_leq_mask 3 files + 5 links
drwxr-xr-x 321 int64_load 3 files + 5 links
drwxr-xr-x 17852 int64_max 6 files + 2 links
drwxr-xr-x 270 int64_min 3 files + 5 links
drwxr-xr-x 391 int64_negative_mask 4 files + 4 links
drwxr-xr-x 386 int64_nonzero_mask 4 files + 4 links
drwxr-xr-x 696 int64_ones_num 3 files + 2 links
drwxr-xr-x 391 int64_positive_mask 4 files + 4 links
drwxr-xr-x 271 int64_shlmod 3 files + 5 links
drwxr-xr-x 271 int64_shrmod 3 files + 2 links
drwxr-xr-x 307 int64_smaller_mask 3 files + 5 links
drwxr-xr-x 277 int64_sort2 3 files + 5 links
drwxr-xr-x 310 int64_store 3 files + 5 links
drwxr-xr-x 308 int64_unequal_mask 3 files + 5 links
drwxr-xr-x 368 int64_zero_mask 4 files + 4 links
drwxr-xr-x 287 int8_bitmod_mask 3 files + 2 links
drwxr-xr-x 247 int8_bottombit_mask 3 files + 2 links
drwxr-xr-x 331 int8_bottomzeros_num 3 files + 2 links
drwxr-xr-x 286 int8_equal_mask 3 files + 5 links
drwxr-xr-x 278 int8_leq_mask 3 files + 5 links
drwxr-xr-x 267 int8_load 3 files + 5 links
drwxr-xr-x 16339 int8_max 6 files + 2 links
drwxr-xr-x 256 int8_min 3 files + 5 links
drwxr-xr-x 375 int8_negative_mask 4 files + 4 links
drwxr-xr-x 370 int8_nonzero_mask 4 files + 4 links
drwxr-xr-x 687 int8_ones_num 3 files + 2 links
drwxr-xr-x 375 int8_positive_mask 4 files + 4 links
drwxr-xr-x 256 int8_shlmod 3 files + 5 links
drwxr-xr-x 256 int8_shrmod 3 files + 2 links
drwxr-xr-x 293 int8_smaller_mask 3 files + 5 links
drwxr-xr-x 267 int8_sort2 3 files + 5 links
drwxr-xr-x 269 int8_store 3 files + 5 links
drwxr-xr-x 294 int8_unequal_mask 3 files + 5 links
drwxr-xr-x 352 int8_zero_mask 4 files + 4 links
drwxr-xr-x 17736 sha256_200bytes 14 files + 7 links
drwxr-xr-x 2700 sha3512_72 4 files + 0 links
drwxr-xr-x 20722 sha512_300bytes 13 files + 8 links
drwxr-xr-x 316 uint16_bitmod_mask 3 files + 2 links
drwxr-xr-x 269 uint16_bottombit_mask 3 files + 2 links
drwxr-xr-x 348 uint16_bottomzeros_num 3 files + 2 links
drwxr-xr-x 314 uint16_equal_mask 3 files + 5 links
drwxr-xr-x 306 uint16_leq_mask 3 files + 5 links
drwxr-xr-x 330 uint16_load 3 files + 5 links
drwxr-xr-x 17245 uint16_max 6 files + 2 links
drwxr-xr-x 284 uint16_min 3 files + 5 links
drwxr-xr-x 402 uint16_nonzero_mask 4 files + 4 links
drwxr-xr-x 704 uint16_ones_num 3 files + 2 links
drwxr-xr-x 285 uint16_shlmod 3 files + 5 links
drwxr-xr-x 285 uint16_shrmod 3 files + 2 links
drwxr-xr-x 321 uint16_smaller_mask 3 files + 5 links
drwxr-xr-x 287 uint16_sort2 3 files + 5 links
drwxr-xr-x 318 uint16_store 3 files + 5 links
drwxr-xr-x 322 uint16_unequal_mask 3 files + 5 links
drwxr-xr-x 384 uint16_zero_mask 4 files + 4 links
drwxr-xr-x 316 uint32_bitmod_mask 3 files + 2 links
drwxr-xr-x 269 uint32_bottombit_mask 3 files + 2 links
drwxr-xr-x 348 uint32_bottomzeros_num 3 files + 2 links
drwxr-xr-x 453 uint32_equal_mask 4 files + 6 links
drwxr-xr-x 306 uint32_leq_mask 3 files + 5 links
drwxr-xr-x 330 uint32_load 3 files + 5 links
drwxr-xr-x 20666 uint32_max 8 files + 2 links
drwxr-xr-x 406 uint32_min 4 files + 6 links
drwxr-xr-x 527 uint32_nonzero_mask 5 files + 5 links
drwxr-xr-x 704 uint32_ones_num 3 files + 2 links
drwxr-xr-x 285 uint32_shlmod 3 files + 5 links
drwxr-xr-x 285 uint32_shrmod 3 files + 2 links
drwxr-xr-x 464 uint32_smaller_mask 4 files + 6 links
drwxr-xr-x 392 uint32_sort2 4 files + 6 links
drwxr-xr-x 318 uint32_store 3 files + 5 links
drwxr-xr-x 465 uint32_unequal_mask 4 files + 6 links
drwxr-xr-x 503 uint32_zero_mask 5 files + 5 links
drwxr-xr-x 316 uint64_bitmod_mask 3 files + 2 links
drwxr-xr-x 269 uint64_bottombit_mask 3 files + 2 links
drwxr-xr-x 348 uint64_bottomzeros_num 3 files + 2 links
drwxr-xr-x 314 uint64_equal_mask 3 files + 5 links
drwxr-xr-x 306 uint64_leq_mask 3 files + 5 links
drwxr-xr-x 330 uint64_load 3 files + 5 links
drwxr-xr-x 18308 uint64_max 6 files + 2 links
drwxr-xr-x 284 uint64_min 3 files + 5 links
drwxr-xr-x 402 uint64_nonzero_mask 4 files + 4 links
drwxr-xr-x 704 uint64_ones_num 3 files + 2 links
drwxr-xr-x 285 uint64_shlmod 3 files + 5 links
drwxr-xr-x 285 uint64_shrmod 3 files + 2 links
drwxr-xr-x 321 uint64_smaller_mask 3 files + 5 links
drwxr-xr-x 287 uint64_sort2 3 files + 5 links
drwxr-xr-x 318 uint64_store 3 files + 5 links
drwxr-xr-x 322 uint64_unequal_mask 3 files + 5 links
drwxr-xr-x 384 uint64_zero_mask 4 files + 4 links
drwxr-xr-x 301 uint8_bitmod_mask 3 files + 2 links
drwxr-xr-x 258 uint8_bottombit_mask 3 files + 2 links
drwxr-xr-x 339 uint8_bottomzeros_num 3 files + 2 links
drwxr-xr-x 300 uint8_equal_mask 3 files + 5 links
drwxr-xr-x 292 uint8_leq_mask 3 files + 5 links
drwxr-xr-x 275 uint8_load 3 files + 5 links
drwxr-xr-x 16760 uint8_max 6 files + 2 links
drwxr-xr-x 270 uint8_min 3 files + 5 links
drwxr-xr-x 386 uint8_nonzero_mask 4 files + 4 links
drwxr-xr-x 695 uint8_ones_num 3 files + 2 links
drwxr-xr-x 270 uint8_shlmod 3 files + 5 links
drwxr-xr-x 270 uint8_shrmod 3 files + 2 links
drwxr-xr-x 307 uint8_smaller_mask 3 files + 5 links
drwxr-xr-x 277 uint8_sort2 3 files + 5 links
drwxr-xr-x 277 uint8_store 3 files + 5 links
drwxr-xr-x 308 uint8_unequal_mask 3 files + 5 links
drwxr-xr-x 368 uint8_zero_mask 4 files + 4 links