| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove truth assignments at merge points, based on dominance in CFG. | Elliott Baron | 2009-11-09 | 1 | -13/+17 |
| * | Moved property simulation code to PropertySimulator class. Improved resolving... | Elliott Baron | 2009-11-08 | 1 | -7/+1 |
| * | Implemented Quine-McCluskey algorithm to join execution states. Property simu... | Elliott Baron | 2009-11-01 | 1 | -42/+58 |
| * | PSA working for simple variable assignments and conditionals. PropSim impleme... | Elliott Baron | 2009-10-25 | 1 | -14/+75 |
| * | Transition for branching complete; execution state made of CNF clauses of var... | Elliott Baron | 2009-10-12 | 1 | -11/+35 |
| * | Initial implementation of intra-procedural property simulation. | Elliott Baron | 2009-10-05 | 1 | -0/+61 |
 |
index : codan.git | |
| Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
| summaryrefslogtreecommitdiffstats |