about summary refs log tree commit diff homepage
path: root/lib/Core/Context.cpp
AgeCommit message (Expand)Author
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2011-07-29Sign extend, rather than zero extend, narrow gep indicesPeter Collingbourne
2010-06-24Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o...Peter Collingbourne
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 01:24:32 +0000