about summary refs log tree commit diff homepage
path: root/lib/Expr
AgeCommit message (Expand)Author
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-03-23Add `AssignmentValidatingSolver`. It's purpose is to check any computedDan Liew
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-11-18[CMake] Remove use of tabs in `CMakeLists.txt` files.Dan Liew
2016-11-18[CMake] Re-express LLVM and KLEE library dependencies asDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-09-29Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)Dan Liew
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-03-22ExprPPrinter: Print out arrays deterministicallyMartin Nowack
2016-02-23When calling ``Assignment::dump()`` if there are no bindings emitDan Liew
2016-02-23Move ``Assignment::dump()`` into its own implementation file soDan 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 a leak detected by ASan in the KQuery parser where on destruction ofDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-12-17Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.Dan Liew
2015-04-15Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshiftDan Liew
2015-04-09Added a new option, --rewrite-equalities, which makes it possible to disable ...Cristian Cadar
2015-02-27Improved some comments and fixed some formatting issues in the Array factory ...Cristian Cadar
2015-02-27Merge branch 'ArrayFactory' of https://github.com/holycrap872/klee into holyc...Cristian Cadar
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2015-02-19Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function ratherDan Liew
2014-12-13Add a few line breaks to make the code more readable inDan Liew
2014-12-13Clean up some ExprSMTLIBPrinter code by using llvm_unreachableDan Liew
2014-12-13Clean up a few comments in ExprSMTLIBPrinterDan Liew
2014-12-12Print nested let-abbreviations in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-02Fix typoDan Liew
2014-12-02Add a comment explaining why the query expr is being negated.Dan Liew
2014-12-02The printing of constraints and the QueryExpr have been merged into aDan Liew
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-05-29Fix headerMartin Nowack
2014-05-29Avoid non-explicit use of functions from std namespace in KLEEMartin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-05-11Fix the logic in ExprSMTLIBPrinter::getSortPeter Collingbourne
2014-04-24Asserting that update lists have non-NULL roots within ReadExpr objects (updateHristina Palikareva
2014-04-16Removing a few more hard-coded values for domains and ranges of Array objectsHristina Palikareva
2014-04-04Add the ability to control whether the pretty printer uses line breaksPeter Collingbourne
2014-04-02Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...Peter Collingbourne
2014-03-09Use clang-format to reformat SMT-LIB printer in LLVM style.Peter Collingbourne
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-28Fix constness warnings issued by gcc 4.7Martin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-07-11Bug fix by Jonathan Neuschäfer: "Without this patchCristian Cadar
2013-05-08Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQ...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-19 01:46:13 +0000