Commits

History for

Commits on Aug 8, 2016

Use LLVM-based functions to print errno
andreamattavelli
committedAug 8, 2016

Commits on Jul 8, 2016

Support gzip-based compression of raw_outstreams
MartinNowack
committedJul 8, 2016

Commits on Jun 24, 2016

Merge pull request klee#394 from andreamattavelli/refactoring_runindir
ccadar
authoredJun 24, 2016

Commits on May 24, 2016

Fixed bug klee#375 in Kleaver's parser
andreamattavelli
committedMay 24, 2016
Added string for -run-in directory errors
andreamattavelli
committedMay 24, 2016

Commits on May 20, 2016

Allow relocation of installed klee tree
ShayDamir
committedMay 20, 2016

Commits on Apr 11, 2016

Small refactoring to improve the consistency of info file handling
andreamattavelli
committedApr 11, 2016

Commits on Apr 8, 2016

Rename KLEE command line options from
Dan Liew
committedApr 8, 2016
Remove dead function declaration
Dan Liew
committedApr 8, 2016

Commits on Feb 29, 2016

Merge pull request klee#344 from MartinNowack/feat_malloc
MartinNowack
committedFeb 29, 2016

Commits on Feb 27, 2016

Merge pull request klee#345 from mdimjasevic/master
MartinNowack
committedFeb 27, 2016
Add support for tcmalloc
MartinNowack
committedFeb 27, 2016

Commits on Feb 25, 2016

Added support to load libraries from command line
omeranson
committedFeb 25, 2016

Commits on Feb 24, 2016

Added missing copyright headers per klee/issue klee#301
mdimjasevic
committedFeb 24, 2016

Commits on Feb 14, 2016

Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl
Dan Liew
committedFeb 14, 2016

Commits on Feb 10, 2016

Add some of the basic plumbing required to support a Z3 solver in KLEE.
Dan Liew
committedFeb 10, 2016

Commits on Feb 9, 2016

Fixed two spelling errors.
mdimjasevic
committedFeb 9, 2016

Commits on Jan 14, 2016

Remove unnecessary MetaSMT includes from kleaver's main.cpp.
Dan Liew
committedJan 14, 2016
Refactor the MetaSMT makefile commands into its own file which can
Dan Liew
committedJan 14, 2016
Fix linking with stp via MetaSMT when not building with direct STP
Dan Liew
committedJan 14, 2016
Make it possible to build KLEE without using STP and only MetaSMT.
Dan Liew
committedJan 14, 2016

Commits on Jan 12, 2016

Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing
Dan Liew
committedJan 12, 2016

Commits on Dec 17, 2015

Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support directory

MartinNowack
authored and
Dan Liew
committedDec 17, 2015

Commits on Aug 14, 2015

tools/klee: pass the entry function name as argument
ret2libc
committedAug 14, 2015
tools/klee/main: remove whitespaces
ret2libc
committedAug 14, 2015

Commits on Jun 3, 2015

Added an option --readable-posix-inputs which is used to turn on/off the CEX preferences added in the POSIX model. Removed option --prefer-cex which controlled all CEX preferences.
ccadar
committedJun 3, 2015

Commits on Apr 25, 2015

Rename macro
Dan Liew
committedApr 25, 2015
Do not install gen-random-bout.
Dan Liew
committedApr 25, 2015
Give KLEE release version information in the output of klee and kleaver
Dan Liew
committedApr 25, 2015
Remove dead STP logging code.
Dan Liew
committedApr 25, 2015

Commits on Apr 3, 2015

Upstream STP now depends on an external build of minisat. Attempt to
Dan Liew
committedApr 3, 2015

Commits on Apr 2, 2015

Silenced some compilation warnings.
ccadar
committedApr 2, 2015

Commits on Apr 1, 2015

[tools] Added fortified version wrapper for fprintf

MartinNowack
authored and
ccadar
committedApr 1, 2015

Commits on Feb 13, 2015

refactor integer overflow detection, add signed int

Luca Dariz
authored and
ccadar
committedFeb 13, 2015
Detect overflow of unsigned add, sub and mul operations

Luca Dariz
authored and
ccadar
committedFeb 13, 2015