about summary refs log tree commit diff homepage
path: root/test/Expr
AgeCommit message (Expand)Author
2019-03-19Add Read consistency test case, spellingTimotej Kapus
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2014-12-12Print nested let-abbreviations in ExprSMTLIBPrinterRaimondas Sasnauskas
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-04-02Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...Peter Collingbourne
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2014-01-20Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.Dan Liew
2014-01-20Fixed Expr/Parser/MultiByteReads.pc test.Dan Liew
2014-01-20Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probablyDan Liew
2012-10-24Patch by Dan Liew: "Added primitive test that checks kleaver's newCristian Cadar
2009-07-15Fixed two test cases. Cristian Cadar
2009-07-10Added xfail test: (query [false] true) should return INVALID.Cristian Cadar
2009-07-10Updated the Not operation for constants. Added extra test case for this.Cristian Cadar
2009-07-10Small test for non-boolean Not.Cristian Cadar
2009-06-16Add basic constant folding / simplification for Eq.Daniel Dunbar
2009-06-16Add (very) basic constant folding for And,Or,Xor.Daniel Dunbar
2009-06-16Add (very) basic constant folding for Mul.Daniel Dunbar
2009-06-16Start SimplifyingExprBuilderDaniel Dunbar
2009-06-15Support partial folding for Sub in new constant folding builder.Daniel Dunbar
2009-06-15Support partial folding for Add in new constant folding builder.Daniel Dunbar
2009-06-14Start test case for ConstantFoldingExprBuilderDaniel Dunbar
2009-06-09More constant Array support.Daniel Dunbar
2009-06-07Implement array declarations.Daniel Dunbar
2009-06-07Update test case.Daniel Dunbar
2009-06-07Eliminate anonymous versions.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-05Add evaluation support to kleaver (now the default).Daniel Dunbar
2009-06-04Moved MultiByteReads.pc in test/Expr/ParserCristian Cadar
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-05-21Missed a couple testsDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 19:14:02 +0000