~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-04-14	Fix mistake in StatsTracker. It should be reporting process ID but	Dan Liew
2014-04-14	Replace sys::Process::GetCurrentUserId() with getuid() because it	Dan Liew
2014-04-14	Tidy up code by using LLVM's V2 path API only and removing uses	Dan Liew
2014-04-14	Use SmallString and llvm::sys::path/fs API of LLVM 3.4 because	Martin Nowack
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-09-21	Merge pull request #17 from MartinNowack/LLVM33	Cristian Cadar
2013-08-29	Revert "Use new PathV2 interface for LLVM 2.9 and higher"	Martin Nowack
2013-08-29	Use new PathV2 interface for LLVM 2.9 and higher	Martin Nowack
2013-08-28	Silence warning of deprecated PathV1 usage	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2012-10-18	Nice patch by Hristina Palikareva that removes the dependency on STP	Cristian Cadar
2012-02-12	Update for LLVM changes - there is no more "unwind" instruction.	Peter Collingbourne
2011-11-29	Updates for LLVM 3.1.	Peter Collingbourne
2011-09-02	Applied patch from David Ramos that fixes a bug in minDistToUncovered	Cristian Cadar
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2011-04-23	Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...	Cristian Cadar
2011-03-30	Fixed bug in WeightedRandomSearcher (CoveringNew). Patch by David	Cristian Cadar
2010-08-05	Have getDirectCallTarget use CallSite	Peter Collingbourne
2010-08-05	Use CallSite in StatsTracker::computeReachableUncovered	Peter Collingbourne
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-07-25	(llvm up) Update for llvm::Value getName() change.	Daniel Dunbar
2009-05-27	Unbreak istats	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar