| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| disjunct-exp | Attempt to parse disjunctions into execution states. Most likely does not work. | Elliott Baron | 14 years | |
| master | Update codan plugins to CDT 7.0. | Elliott Baron | 14 years | |
 |
index : codan.git | |
| Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
| summaryrefslogtreecommitdiffstats |