Commits

History for

Commits on Nov 21, 2019

make the type consistent with teh format specifier
DonggeLiu
committedNov 21, 2019

Commits on Nov 19, 2019

add __VERIFIER_nondet_pointer()
DonggeLiu
committedNov 19, 2019

Commits on Nov 12, 2019

Angr/Z3 do not handle inexplicit type cast well and run into errors in symbolic execution. This will fix that error.
DonggeLiu
committedNov 12, 2019

Commits on Nov 5, 2019

replace c function __VERIFIER_assume with the instrumented assembly
DonggeLiu
committedNov 5, 2019

Commits on Oct 30, 2019

making the implementation of assume consistent with other fuzzers in sv-comp
DonggeLiu
committedOct 30, 2019

Commits on Oct 3, 2019

unsigned long should be printed with lu
DonggeLiu
committedOct 3, 2019

Commits on Sep 30, 2019

hmpf.
Gidon Ernst
committedSep 30, 2019

Commits on Sep 27, 2019

unsigned longs
Gidon Ernst
committedSep 27, 2019
add nondet_uint (responsible for some failing tests)
Gidon Ernst
committedSep 27, 2019

Commits on Aug 21, 2019

some small changes to Legion + SV
Gidon Ernst
committedAug 21, 2019

Commits on Aug 6, 2019

reorganize a little
Gidon Ernst
committedAug 6, 2019

Loading