index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test
/
Expr
/
Parser
Age
Commit message (
Expand
)
Author
2021-04-18
tests: Invoke tools through their corresponding macros
Lukas Zaoral
2016-11-23
Renamed .pc to .kquery (kleaver query)
Eric Rizzi
2014-01-20
Remove the last remnants (I think) of DejaGNU. Goodbye!
Dan Liew
2014-01-20
Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.
Dan Liew
2014-01-20
Fixed Expr/Parser/MultiByteReads.pc test.
Dan Liew
2014-01-20
Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probably
Dan Liew
2009-07-15
Fixed two test cases.
Cristian Cadar
2009-07-10
Updated the Not operation for constants. Added extra test case for this.
Cristian Cadar
2009-06-16
Add basic constant folding / simplification for Eq.
Daniel Dunbar
2009-06-16
Add (very) basic constant folding for And,Or,Xor.
Daniel Dunbar
2009-06-16
Add (very) basic constant folding for Mul.
Daniel Dunbar
2009-06-16
Start SimplifyingExprBuilder
Daniel Dunbar
2009-06-15
Support partial folding for Sub in new constant folding builder.
Daniel Dunbar
2009-06-15
Support partial folding for Add in new constant folding builder.
Daniel Dunbar
2009-06-14
Start test case for ConstantFoldingExprBuilder
Daniel Dunbar
2009-06-07
Implement array declarations.
Daniel Dunbar
2009-06-07
Update test case.
Daniel Dunbar
2009-06-07
Eliminate anonymous versions.
Daniel Dunbar
2009-06-05
Support the extended query command syntax.
Daniel Dunbar
2009-06-05
Turn an assert into a parse failure.
Daniel Dunbar
2009-06-04
Moved MultiByteReads.pc in test/Expr/Parser
Cristian Cadar
2009-06-04
Fixed a bug in Kleaver's parser: APInt does not allow "truncation" to
Cristian Cadar
2009-05-21
Missed a couple tests
Daniel Dunbar