Commits

Commits on May 10, 2014

Do not track .o file

awshi2
authored and
awshi2
committedMay 10, 2014
Added new test that demonstrates non-flakiness

awshi2
authored and
awshi2
committedMay 10, 2014

Commits on May 5, 2014

Simple tests for exploring test orderings

awshi2
authored and
awshi2
committedMay 5, 2014

Commits on Apr 11, 2014

Test for sets, non-deterministic ordering, using our new klee_permutate
august782
committedApr 11, 2014
Added klee_permutate to allow permutation of an array constraints
august782
committedApr 11, 2014

Commits on Apr 9, 2014

sleep example
lamyaa
committedApr 9, 2014

Commits on Apr 7, 2014

Hacks to klee to simulate possible failing open
august782
committedApr 7, 2014
Test that assumes file is always created
august782
committedApr 7, 2014

Commits on Apr 4, 2014

Initial ignore file to ignore klee-* directories and .o files
august782
committedApr 4, 2014
Test file for random order of values

August Shi
authored and
August Shi
committedApr 4, 2014

Commits on Apr 3, 2014

Merge pull request klee#106 from pcc/smtlib-printer
delcypher
committedApr 3, 2014
Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.
pcc
committedApr 3, 2014

Commits on Mar 9, 2014

Use clang-format to reformat SMT-LIB printer in LLVM style.
pcc
committedMar 9, 2014

Commits on Feb 24, 2014

Commits on Feb 14, 2014

Merge pull request klee#64 from delcypher/overshift-fix
delcypher
committedFeb 14, 2014
Explicitly get the width of the "shift" expression rather than assuming
Dan Liew
committedFeb 14, 2014
Remove STPBuilder::getShiftBits() which is no longer used.
Dan Liew
committedFeb 14, 2014
Added C test case that checks that concrete and symbolic overshift
Dan Liew
committedFeb 14, 2014
Fixed overshift of arithmetic right shift by constant so that it
Dan Liew
committedFeb 14, 2014
Fixed overshift of arithmetic right shift by symbolic so that it overshifts
Dan Liew
committedFeb 14, 2014
Added C test case that checks that concrete and symbolic overshift
Dan Liew
committedFeb 14, 2014
Fixed overshift of logical right shift by constant so that it
Dan Liew
committedFeb 14, 2014
Fixed overshift of logical right shift by symbolic so that it overshifts
Dan Liew
committedFeb 14, 2014
Added C test case that checks that concrete and symbolic overshift
Dan Liew
committedFeb 14, 2014
Fixed overshifting an expression by a constant so that we overshift to
Dan Liew
committedFeb 14, 2014
Added a test case for testing overshift behaviour of Shl and fixed
Dan Liew
committedFeb 14, 2014
Translate shl overshifts into 0

Paul Marinescu
authored and
Dan Liew
committedFeb 14, 2014
Merge pull request klee#99 from delcypher/feature_support_stp_with_boost
delcypher
committedFeb 14, 2014
Merge pull request klee#70 from MartinNowack/feature_reading_archive
delcypher
committedFeb 14, 2014
When running with -debug-only=klee_linker do not report the number
Dan Liew
committedFeb 14, 2014
Refactor cleaning up memory in linkBCA() so that if linking fails
Dan Liew
committedFeb 14, 2014
Refactor variable name s/RemovedSymbols/SymbolsToRemove/
Dan Liew
committedFeb 14, 2014
Correct and tidy up comments.
Dan Liew
committedFeb 14, 2014