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 |
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 | |