about summary refs log tree commit diff homepage
path: root/lib/Expr/Parser.cpp
AgeCommit message (Expand)Author
2023-03-30Prevent fallthrough warningDaniel Schemmel
2020-07-01Separate constraint set and constraint managerMartin Nowack
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2018-06-29Fix the final -Wimplicit-fallthrough warningDaniel Schemmel
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
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-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
2011-10-17Fix some -Wunused-variable warnings.Daniel Dunbar
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
2009-09-05Applied patch submitted by Pongsin Poosankam that fixes a bug in theCristian Cadar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-07-11Removed the Nz macro.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-26More large integer support.Daniel Dunbar
2009-06-14The expansion for Read{MSB,LSB} needs to continue to use the folding methods,Daniel Dunbar
2009-06-14Use ExprBuilder for constructing expressions in the Parser.Daniel Dunbar
2009-06-14Add ConstantExpr::{getLimitedValue,getZExtValue}.Daniel Dunbar
2009-06-09More constant Array support.Daniel Dunbar
2009-06-09Remove Array::object.Daniel Dunbar
2009-06-09Remove Array::id.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-06-09Add Array::name field, initialized but not used for anything yet.Daniel Dunbar
2009-06-09Kill off UpdateList::isRooted flag.Daniel Dunbar
2009-06-08Fix a mistake in previous commit to turn asserts -> parse errors.Daniel Dunbar
2009-06-07Diagnose some more syntax errors instead of crashing.Daniel Dunbar
2009-06-07Implement array declarations.Daniel Dunbar
2009-06-07Make sure to make up a valid VersionResult on failures.Daniel Dunbar
2009-06-07Eliminate anonymous versions.Daniel Dunbar
2009-06-06Document the KQuery language.Daniel Dunbar
2009-06-05Support the extended query command syntax.Daniel Dunbar
2009-06-05Turn an assert into a parse failure.Daniel Dunbar
2009-06-05llvm::Casting support for Kleaver AST nodes.Daniel Dunbar
2009-06-04Start removing uses of Expr::isConstant.Daniel Dunbar
2009-06-04Change ConstantExpr::{alloc,create} to return a ref<ConstantExpr>Daniel Dunbar
2009-06-04Fixed a bug in Kleaver's parser: APInt does not allow "truncation" toCristian Cadar
2009-06-04Added a couple of tests for ReadLSB/MSB. Changed kleaver to write to stdout.Cristian Cadar
2009-06-04Move isConstant from ref<> to Expr::Daniel Dunbar
2009-06-03Kill off specialized ref<> forwarding methods, in the interest of making it aDaniel Dunbar
2009-06-02Use ConstantExpr::alloc instead of ref<Expr> directlyDaniel Dunbar
2009-05-28Small changes to silence some gcc warnings.Cristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 03:18:06 +0000