summaryrefslogtreecommitdiff
path: root/klee/lib/Module/LowerSwitch.cpp
AgeCommit message (Expand)Author
2012-04-07Fix compilation with LLVM trunk.Peter Collingbourne
2012-03-08Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:Stepan Dyatkovskiy
2012-02-01Second compatability fix for SwitchInst refactoring (added compatability with...Stepan Dyatkovskiy
2012-02-01Compatability fix for SwitchInst refactoring.Stepan Dyatkovskiy
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2010-03-14Update for 2.7.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-07-12Update for LLVM API changes.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar