summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
disjunct-expAttempt to parse disjunctions into execution states. Most likely does not work.Elliott Baron9 years
masterUpdate codan plugins to CDT 7.0.Elliott Baron8 years