about summary refs log tree commit diff homepage
path: root/lib/Core/StatsTracker.cpp
AgeCommit message (Expand)Author
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-29Revert "Use new PathV2 interface for LLVM 2.9 and higher"Martin Nowack
2013-08-29Use new PathV2 interface for LLVM 2.9 and higherMartin Nowack
2013-08-28Silence warning of deprecated PathV1 usageMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
2012-02-12Update for LLVM changes - there is no more "unwind" instruction.Peter Collingbourne
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2011-09-02Applied patch from David Ramos that fixes a bug in minDistToUncoveredCristian Cadar
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2011-03-30Fixed bug in WeightedRandomSearcher (CoveringNew). Patch by DavidCristian Cadar
2010-08-05Have getDirectCallTarget use CallSitePeter Collingbourne
2010-08-05Use CallSite in StatsTracker::computeReachableUncoveredPeter Collingbourne
2010-03-14Update for 2.7.Daniel Dunbar
2009-07-25(llvm up) Update for llvm::Value getName() change.Daniel Dunbar
2009-05-27Unbreak istatsDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-12 10:24:13 +0000