about summary refs log tree commit diff homepage
path: root/lib/Expr/Parser.cpp
AgeCommit message (Expand)Author
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-22 02:35:51 +0000