| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | expression_helper: add exprcond simpl | serpilliere | 2012-06-21 | 1 | -1/+6 | |
| | | ||||||
| * | expression: move test case in example; WARNING: - operator is now unary; ↵ | serpilliere | 2012-06-13 | 1 | -0/+107 | |
| | | | | | +*\&... are n-aire | |||||
| * | expression: replace reload_expr with replace_expr using visitor | serpilliere | 2012-06-12 | 1 | -3/+3 | |
| | | ||||||
| * | remove useless ExprSliceTo | serpilliere | 2012-05-08 | 2 | -6/+11 | |
| | | | | | | | exprsliceto is only used in exprcompose, so it can be removed from IL representation, and exprcompose will deal start/stop fields WARNING: as IL is modified, it may break a lot of scripts | |||||
| * | example: add a code analyser | serpilliere | 2012-02-27 | 2 | -0/+123 | |
| | | | | | | find condition to satisfy to explore the complete exec graph of a function (a *very* simple/weak fuzzgrind clone) | |||||
| * | example: add symbolic execution and simplification | serpilliere | 2012-02-27 | 2 | -0/+38 | |
| | | ||||||
| * | example: add expression manipulation demo | serpilliere | 2012-02-27 | 6 | -0/+264 | |