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