| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Depgraph: add step to symbolic execution | Fabrice Desclaux | 2015-03-12 | 1 | -2/+2 | |
| * | Depgraph: rename variables | Fabrice Desclaux | 2015-03-12 | 1 | -3/+3 | |
| * | Depgraph: exprs in affected_lines must appear only once. | Fabrice Desclaux | 2015-03-12 | 1 | -2/+2 | |
| * | Depgraph: Clean each `depnodes` to purge and improve search in `done` | Ajax | 2015-03-06 | 1 | -0/+3 | |
| * | Depgraph: Modify the inter block `done` data structure to improve membership ... | Ajax | 2015-03-06 | 1 | -3/+4 | |
| * | Depgraph: In `filter_used_nodes`, `used_nodes` can be used as a done set | Ajax | 2015-03-06 | 1 | -0/+3 | |
| * | DepGraph: Normalize output by including heads from graph | Camille Mougey | 2015-02-24 | 1 | -2/+7 | |
| * | Depgraph: results should be copy of `done` elements | Camille Mougey | 2015-02-24 | 1 | -1/+1 | |
| * | Analysis: Introduce DependencyGraph, computing dependencies of elements | Camille Mougey | 2015-02-20 | 1 | -0/+608 | |