about summary refs log tree commit diff homepage
path: root/lib/Expr/Expr.cpp
AgeCommit message (Expand)Author
2023-07-08Combine all `ConstantExpr::toMemory` cases into one.Daniel Schemmel
2023-07-08Using std::memcpy prevents alignment problems and removes an unnecessary spec...Daniel Schemmel
2023-04-01remove include/klee/Support/IntEvaluation.hDaniel Schemmel
2022-07-24Support arguments of width 128, 256 and 512 bits for external callsPavel
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2021-12-20llvm13: llvm::APInt::toString has been moved to StringExtras.hLukas Zaoral
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2019-03-19Fix representation of ReadExpr of equivalent arraysMartin Nowack
2019-03-13Added --const-array-opt to building&printing expression categoryCristian Cadar
2019-03-13Documented options in ExprPPrinter.cpp and placed them into a new option cate...Cristian Cadar
2018-10-26llvm5: integerPartWidth is from llvm::APFloatBaseJiri Slaby
2018-10-23Move unrelated function from ReadExpr classMartin Nowack
2018-10-23Added support for KLEE value-based array optimizationAndrea Mattavelli
2018-06-29Make ConstantExpr hashing function faster and modify affected testTimotej Kapus
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-02-14ReadExpr::create() was missing an opportunity to constant fold when handling ...Dan Liew
2016-11-28Clean up `Expr::compare()` interface byDan Liew
2016-02-22Remove stray STP function declaration.Dan Liew
2016-02-22Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.Dan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-02-27Improved some comments and fixed some formatting issues in the Array factory ...Cristian Cadar
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-08-28Fix constness warnings issued by gcc 4.7Martin Nowack
2013-07-11Bug fix by Jonathan Neuschäfer: "Without this patchCristian Cadar
2012-11-05Fixed a bug in Array::computeHash()Cristian Cadar
2012-10-24Patch by Dan Liew: " Modified ConstantExpr::toString() to take anCristian Cadar
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
2012-04-07Catch up with hashing changes.Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-06-09Patch from Martin Nowack for LLVM 2.9Cristian Cadar
2011-05-18Maintain an equivalence set during comparison operationsPeter Collingbourne
2011-05-18Support for arbitrary sized types in ConstantExpr::fromMemoryPeter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-05-02Fix some const cast warnings.Daniel Dunbar
2010-04-05Add long double support, patch by David Ramos.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-08-01Add Expr::dumpDaniel Dunbar
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
2009-07-10Updated the Not operation for constants. Added extra test case for this.Cristian Cadar
2009-07-10Added support for bitwise not. Replacing "false == " with Not inCristian Cadar
2009-07-10Replaced createNot() by createIsZero() and "Not" macro by "Nz". Cristian Cadar
2009-06-27Start move to using APFloat (support long double).Daniel Dunbar
2009-06-25Kill off last getConstantValue uses.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-02 23:06:22 +0000