| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Implemented Quine-McCluskey algorithm to join execution states. Property simu... | Elliott Baron | 2009-11-01 | 1 | -0/+21 |
 |
index : codan.git | |
| Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
| summaryrefslogtreecommitdiffstats |