about summary refs log tree commit diff homepage
path: root/lib/Expr/ExprBuilder.cpp
AgeCommit message (Expand)Author
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2009-07-10Added support for bitwise not. Replacing "false == " with Not inCristian Cadar
2009-06-26More large integer support.Daniel Dunbar
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-14Rename FoldingExprBuilder -> SimplifyingExprBuilderDaniel Dunbar
2009-06-14Use ExprBuilder for constructing expressions in the Parser.Daniel Dunbar
2009-06-14Add ExprBuilder base class, and start of implementations.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 11:29:28 +0000