drwxr-xr-x 509845 saferewrite-20240807/src 974 files + 855 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 12429 inc128big 7 files + 0 links
drwxr-xr-x 293 int16_bitmod_01 3 files + 2 links
drwxr-xr-x 302 int16_bitmod_mask 3 files + 2 links
drwxr-xr-x 251 int16_bottombit_01 3 files + 2 links
drwxr-xr-x 260 int16_bottombit_mask 3 files + 2 links
drwxr-xr-x 340 int16_bottomzeros_num 3 files + 2 links
drwxr-xr-x 291 int16_equal_01 3 files + 2 links
drwxr-xr-x 300 int16_equal_mask 3 files + 5 links
drwxr-xr-x 283 int16_leq_01 3 files + 2 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 26380 int16_max 6 files + 2 links
drwxr-xr-x 270 int16_min 3 files + 5 links
drwxr-xr-x 264 int16_negative_01 3 files + 2 links
drwxr-xr-x 273 int16_negative_mask 3 files + 5 links
drwxr-xr-x 261 int16_nonzero_01 3 files + 2 links
drwxr-xr-x 270 int16_nonzero_mask 3 files + 5 links
drwxr-xr-x 696 int16_ones_num 3 files + 2 links
drwxr-xr-x 264 int16_positive_01 3 files + 2 links
drwxr-xr-x 273 int16_positive_mask 3 files + 5 links
drwxr-xr-x 271 int16_shlmod 3 files + 5 links
drwxr-xr-x 271 int16_shrmod 3 files + 2 links
drwxr-xr-x 298 int16_smaller_01 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 251 int16_topbit_01 3 files + 2 links
drwxr-xr-x 260 int16_topbit_mask 3 files + 2 links
drwxr-xr-x 299 int16_unequal_01 3 files + 2 links
drwxr-xr-x 308 int16_unequal_mask 3 files + 5 links
drwxr-xr-x 249 int16_zero_01 3 files + 2 links
drwxr-xr-x 258 int16_zero_mask 3 files + 5 links
drwxr-xr-x 293 int32_bitmod_01 3 files + 2 links
drwxr-xr-x 302 int32_bitmod_mask 3 files + 2 links
drwxr-xr-x 251 int32_bottombit_01 3 files + 2 links
drwxr-xr-x 260 int32_bottombit_mask 3 files + 2 links
drwxr-xr-x 340 int32_bottomzeros_num 3 files + 2 links
drwxr-xr-x 294 int32_equal_01 3 files + 2 links
drwxr-xr-x 434 int32_equal_mask 4 files + 6 links
drwxr-xr-x 283 int32_leq_01 3 files + 2 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 29670 int32_max 9 files + 2 links
drwxr-xr-x 556 int32_min 5 files + 6 links
drwxr-xr-x 267 int32_negative_01 3 files + 2 links
drwxr-xr-x 480 int32_negative_mask 5 files + 6 links
drwxr-xr-x 264 int32_nonzero_01 3 files + 2 links
drwxr-xr-x 966 int32_nonzero_mask 7 files + 6 links
drwxr-xr-x 696 int32_ones_num 3 files + 2 links
drwxr-xr-x 267 int32_positive_01 3 files + 2 links
drwxr-xr-x 1126 int32_positive_mask 8 files + 6 links
drwxr-xr-x 271 int32_shlmod 3 files + 5 links
drwxr-xr-x 271 int32_shrmod 3 files + 2 links
drwxr-xr-x 301 int32_smaller_01 3 files + 2 links
drwxr-xr-x 679 int32_smaller_mask 5 files + 6 links
drwxr-xr-x 7380 int32_sort2 18 files + 6 links
drwxr-xr-x 310 int32_store 3 files + 5 links
drwxr-xr-x 251 int32_topbit_01 3 files + 2 links
drwxr-xr-x 260 int32_topbit_mask 3 files + 2 links
drwxr-xr-x 302 int32_unequal_01 3 files + 2 links
drwxr-xr-x 446 int32_unequal_mask 4 files + 6 links
drwxr-xr-x 252 int32_zero_01 3 files + 2 links
drwxr-xr-x 373 int32_zero_mask 4 files + 6 links
drwxr-xr-x 293 int64_bitmod_01 3 files + 2 links
drwxr-xr-x 302 int64_bitmod_mask 3 files + 2 links
drwxr-xr-x 251 int64_bottombit_01 3 files + 2 links
drwxr-xr-x 260 int64_bottombit_mask 3 files + 2 links
drwxr-xr-x 340 int64_bottomzeros_num 3 files + 2 links
drwxr-xr-x 291 int64_equal_01 3 files + 2 links
drwxr-xr-x 300 int64_equal_mask 3 files + 5 links
drwxr-xr-x 283 int64_leq_01 3 files + 2 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 27238 int64_max 6 files + 2 links
drwxr-xr-x 270 int64_min 3 files + 5 links
drwxr-xr-x 264 int64_negative_01 3 files + 2 links
drwxr-xr-x 273 int64_negative_mask 3 files + 5 links
drwxr-xr-x 261 int64_nonzero_01 3 files + 2 links
drwxr-xr-x 270 int64_nonzero_mask 3 files + 5 links
drwxr-xr-x 696 int64_ones_num 3 files + 2 links
drwxr-xr-x 264 int64_positive_01 3 files + 2 links
drwxr-xr-x 273 int64_positive_mask 3 files + 5 links
drwxr-xr-x 271 int64_shlmod 3 files + 5 links
drwxr-xr-x 271 int64_shrmod 3 files + 2 links
drwxr-xr-x 298 int64_smaller_01 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 251 int64_topbit_01 3 files + 2 links
drwxr-xr-x 260 int64_topbit_mask 3 files + 2 links
drwxr-xr-x 299 int64_unequal_01 3 files + 2 links
drwxr-xr-x 308 int64_unequal_mask 3 files + 5 links
drwxr-xr-x 249 int64_zero_01 3 files + 2 links
drwxr-xr-x 258 int64_zero_mask 3 files + 5 links
drwxr-xr-x 278 int8_bitmod_01 3 files + 2 links
drwxr-xr-x 287 int8_bitmod_mask 3 files + 2 links
drwxr-xr-x 240 int8_bottombit_01 3 files + 2 links
drwxr-xr-x 249 int8_bottombit_mask 3 files + 2 links
drwxr-xr-x 331 int8_bottomzeros_num 3 files + 2 links
drwxr-xr-x 277 int8_equal_01 3 files + 2 links
drwxr-xr-x 286 int8_equal_mask 3 files + 5 links
drwxr-xr-x 269 int8_leq_01 3 files + 2 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 27235 int8_max 5 files + 3 links
drwxr-xr-x 256 int8_min 3 files + 5 links
drwxr-xr-x 253 int8_negative_01 3 files + 2 links
drwxr-xr-x 262 int8_negative_mask 3 files + 5 links
drwxr-xr-x 250 int8_nonzero_01 3 files + 2 links
drwxr-xr-x 259 int8_nonzero_mask 3 files + 5 links
drwxr-xr-x 687 int8_ones_num 3 files + 2 links
drwxr-xr-x 253 int8_positive_01 3 files + 2 links
drwxr-xr-x 262 int8_positive_mask 3 files + 5 links
drwxr-xr-x 256 int8_shlmod 3 files + 5 links
drwxr-xr-x 256 int8_shrmod 3 files + 2 links
drwxr-xr-x 284 int8_smaller_01 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 239 int8_topbit_01 3 files + 2 links
drwxr-xr-x 248 int8_topbit_mask 3 files + 2 links
drwxr-xr-x 285 int8_unequal_01 3 files + 2 links
drwxr-xr-x 294 int8_unequal_mask 3 files + 5 links
drwxr-xr-x 238 int8_zero_01 3 files + 2 links
drwxr-xr-x 247 int8_zero_mask 3 files + 5 links
drwxr-xr-x 15607 sha256_200bytes 14 files + 7 links
drwxr-xr-x 2700 sha3512_72 4 files + 0 links
drwxr-xr-x 18593 sha512_300bytes 13 files + 8 links
drwxr-xr-x 307 uint16_bitmod_01 3 files + 2 links
drwxr-xr-x 316 uint16_bitmod_mask 3 files + 2 links
drwxr-xr-x 262 uint16_bottombit_01 3 files + 2 links
drwxr-xr-x 271 uint16_bottombit_mask 3 files + 2 links
drwxr-xr-x 348 uint16_bottomzeros_num 3 files + 2 links
drwxr-xr-x 305 uint16_equal_01 3 files + 2 links
drwxr-xr-x 314 uint16_equal_mask 3 files + 5 links
drwxr-xr-x 297 uint16_leq_01 3 files + 2 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 25731 uint16_max 6 files + 2 links
drwxr-xr-x 284 uint16_min 3 files + 5 links
drwxr-xr-x 272 uint16_nonzero_01 3 files + 2 links
drwxr-xr-x 281 uint16_nonzero_mask 3 files + 5 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 312 uint16_smaller_01 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 262 uint16_topbit_01 3 files + 2 links
drwxr-xr-x 271 uint16_topbit_mask 3 files + 2 links
drwxr-xr-x 313 uint16_unequal_01 3 files + 2 links
drwxr-xr-x 322 uint16_unequal_mask 3 files + 5 links
drwxr-xr-x 260 uint16_zero_01 3 files + 2 links
drwxr-xr-x 269 uint16_zero_mask 3 files + 5 links
drwxr-xr-x 307 uint32_bitmod_01 3 files + 2 links
drwxr-xr-x 316 uint32_bitmod_mask 3 files + 2 links
drwxr-xr-x 262 uint32_bottombit_01 3 files + 2 links
drwxr-xr-x 271 uint32_bottombit_mask 3 files + 2 links
drwxr-xr-x 348 uint32_bottomzeros_num 3 files + 2 links
drwxr-xr-x 308 uint32_equal_01 3 files + 2 links
drwxr-xr-x 453 uint32_equal_mask 4 files + 6 links
drwxr-xr-x 297 uint32_leq_01 3 files + 2 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 29016 uint32_max 8 files + 2 links
drwxr-xr-x 406 uint32_min 4 files + 6 links
drwxr-xr-x 275 uint32_nonzero_01 3 files + 2 links
drwxr-xr-x 406 uint32_nonzero_mask 4 files + 6 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 315 uint32_smaller_01 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 262 uint32_topbit_01 3 files + 2 links
drwxr-xr-x 271 uint32_topbit_mask 3 files + 2 links
drwxr-xr-x 316 uint32_unequal_01 3 files + 2 links
drwxr-xr-x 465 uint32_unequal_mask 4 files + 6 links
drwxr-xr-x 263 uint32_zero_01 3 files + 2 links
drwxr-xr-x 388 uint32_zero_mask 4 files + 6 links
drwxr-xr-x 307 uint64_bitmod_01 3 files + 2 links
drwxr-xr-x 316 uint64_bitmod_mask 3 files + 2 links
drwxr-xr-x 262 uint64_bottombit_01 3 files + 2 links
drwxr-xr-x 271 uint64_bottombit_mask 3 files + 2 links
drwxr-xr-x 348 uint64_bottomzeros_num 3 files + 2 links
drwxr-xr-x 305 uint64_equal_01 3 files + 2 links
drwxr-xr-x 314 uint64_equal_mask 3 files + 5 links
drwxr-xr-x 297 uint64_leq_01 3 files + 2 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 26635 uint64_max 6 files + 2 links
drwxr-xr-x 284 uint64_min 3 files + 5 links
drwxr-xr-x 272 uint64_nonzero_01 3 files + 2 links
drwxr-xr-x 281 uint64_nonzero_mask 3 files + 5 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 312 uint64_smaller_01 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 262 uint64_topbit_01 3 files + 2 links
drwxr-xr-x 271 uint64_topbit_mask 3 files + 2 links
drwxr-xr-x 313 uint64_unequal_01 3 files + 2 links
drwxr-xr-x 322 uint64_unequal_mask 3 files + 5 links
drwxr-xr-x 260 uint64_zero_01 3 files + 2 links
drwxr-xr-x 269 uint64_zero_mask 3 files + 5 links
drwxr-xr-x 484 uint8_7bit_nonzero_mask_int16 4 files + 2 links
drwxr-xr-x 292 uint8_bitmod_01 3 files + 2 links
drwxr-xr-x 301 uint8_bitmod_mask 3 files + 2 links
drwxr-xr-x 251 uint8_bottombit_01 3 files + 2 links
drwxr-xr-x 260 uint8_bottombit_mask 3 files + 2 links
drwxr-xr-x 339 uint8_bottomzeros_num 3 files + 2 links
drwxr-xr-x 291 uint8_equal_01 3 files + 2 links
drwxr-xr-x 300 uint8_equal_mask 3 files + 5 links
drwxr-xr-x 283 uint8_leq_01 3 files + 2 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 26573 uint8_max 6 files + 2 links
drwxr-xr-x 270 uint8_min 3 files + 5 links
drwxr-xr-x 261 uint8_nonzero_01 3 files + 2 links
drwxr-xr-x 270 uint8_nonzero_mask 3 files + 5 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 298 uint8_smaller_01 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 250 uint8_topbit_01 3 files + 2 links
drwxr-xr-x 259 uint8_topbit_mask 3 files + 2 links
drwxr-xr-x 299 uint8_unequal_01 3 files + 2 links
drwxr-xr-x 308 uint8_unequal_mask 3 files + 5 links
drwxr-xr-x 249 uint8_zero_01 3 files + 2 links
drwxr-xr-x 258 uint8_zero_mask 3 files + 5 links
drwxr-xr-x 13145 verify_8 8 files + 0 links