Index of /current_tree/toy_decompiler/files/tests
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
AND_by_shifts.s 2025-10-16 18:28 164
![[ ]](/icons/unknown.gif)
AND_by_shifts.s.smt 2025-10-16 18:28 263
AND_by_shifts2.s 2025-10-16 18:28 68
AND_by_shifts2.s.smt 2025-10-16 18:28 263
AND_by_shifts3.s 2025-10-16 18:28 68
AND_by_shifts3.s.smt 2025-10-16 18:28 263
De_Morgan1.s 2025-10-16 18:28 59
De_Morgan1.s.smt 2025-10-16 18:28 230
De_Morgan2.s 2025-10-16 18:28 59
De_Morgan2.s.smt 2025-10-16 18:28 230
XOR1.s 2025-10-16 18:28 78
XOR1.s.smt 2025-10-16 18:28 216
XOR1_v2.s 2025-10-16 18:28 119
XOR1_v2.s.smt 2025-10-16 18:28 216
add.s 2025-10-16 18:28 23
add.s.smt 2025-10-16 18:28 207
add1.s 2025-10-16 18:28 34
add1.s.smt 2025-10-16 18:28 221
add2.s 2025-10-16 18:28 68
add2.s.smt 2025-10-16 18:28 299
add_by_not_neg.s 2025-10-16 18:28 238
add_by_not_neg.s.smt 2025-10-16 18:28 240
add_by_sub.s 2025-10-16 18:28 202
add_by_sub.s.smt 2025-10-16 18:28 215
align2grain.s 2025-10-16 18:28 215
align2grain.s.smt 2025-10-16 18:28 357
div_by_mult10_unsigned.s 2025-10-16 18:28 97
div_by_mult10_unsigned.s.smt 2025-10-16 18:28 292
div_by_mult1234_unsigned.s 2025-10-16 18:28 98
div_by_mult1234_unsigned.s.smt 2025-10-16 18:28 292
fahr_to_celsius.s 2025-10-16 18:28 117
fahr_to_celsius.s.smt 2025-10-16 18:28 345
fahr_to_celsius_obf1.s 2025-10-16 18:28 236
fahr_to_celsius_obf1.s.smt 2025-10-16 18:28 345
fahr_to_celsius_obf2.s 2025-10-16 18:28 395
fahr_to_celsius_obf2.s.smt 2025-10-16 18:28 629
mul.s 2025-10-16 18:28 35
mul.s.smt 2025-10-16 18:28 207
mul19.s 2025-10-16 18:28 260
mul19.s.smt 2025-10-16 18:28 288
mul19_2.s 2025-10-16 18:28 308
mul19_2.s.smt 2025-10-16 18:28 315
mul19_3.s 2025-10-16 18:28 340
mul19_3.s.smt 2025-10-16 18:28 288
mul19_comm_test.s 2025-10-16 18:28 328
mul19_comm_test.s.smt 2025-10-16 18:28 288
mul2.s 2025-10-16 18:28 36
mul2.s.smt 2025-10-16 18:28 235
mul21.s 2025-10-16 18:28 352
mul21.s.smt 2025-10-16 18:28 315
mul31_GCC.s 2025-10-16 18:28 79
mul31_GCC.s.smt 2025-10-16 18:28 248
mul_add.s 2025-10-16 18:28 41
mul_add.s.smt 2025-10-16 18:28 233
mul_add2.s 2025-10-16 18:28 70
mul_add2.s.smt 2025-10-16 18:28 341
mul_add3.s 2025-10-16 18:28 71
mul_add3.s.smt 2025-10-16 18:28 315
neg.s 2025-10-16 18:28 47
neg.s.smt 2025-10-16 18:28 223
neg2.s 2025-10-16 18:28 46
neg2.s.smt 2025-10-16 18:28 223
neg3.s 2025-10-16 18:28 29
neg3.s.smt 2025-10-16 18:28 197
neg4.s 2025-10-16 18:28 44
neg4.s.smt 2025-10-16 18:28 224
neg4_v2.s 2025-10-16 18:28 103
neg4_v2.s.smt 2025-10-16 18:28 224
remainder.s 2025-10-16 18:28 62
remainder.s.smt 2025-10-16 18:28 237
shift.s 2025-10-16 18:28 35
shift.s.smt 2025-10-16 18:28 207
sub_by_not_neg.s 2025-10-16 18:28 194
sub_by_not_neg.s.smt 2025-10-16 18:28 240
t10_obf.s 2025-10-16 18:28 116
t10_obf.s.smt 2025-10-16 18:28 261
t11_obf.s 2025-10-16 18:28 83
t11_obf.s.smt 2025-10-16 18:28 219
t5_obf.s 2025-10-16 18:28 378
t5_obf.s.smt 2025-10-16 18:28 285
t6_obf.s 2025-10-16 18:28 255
t6_obf.s.smt 2025-10-16 18:28 236
t7_obf.s 2025-10-16 18:28 151
t7_obf.s.smt 2025-10-16 18:28 262
t8_obf.s 2025-10-16 18:28 173
t8_obf.s.smt 2025-10-16 18:28 270
t9_obf.s 2025-10-16 18:28 130
t9_obf.s.smt 2025-10-16 18:28 289
z3_test.sh 2020-07-05 19:43 1.2K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443