summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
disjunct-expAttempt to parse disjunctions into execution states. Most likely does not work.Elliott Baron8 years
masterUpdate codan plugins to CDT 7.0.Elliott Baron7 years
 
 
AgeCommit messageAuthorFilesLines
2010-06-26Update codan plugins to CDT 7.0.HEADmasterElliott Baron337-1692/+12443
2010-01-17Fix Javadoc comment.Elliott Baron1-1/+1
2009-12-16Update codan plugins to HEAD.Elliott Baron77-59/+516
2009-12-15Documented API classes/interfaces.Elliott Baron2-2/+36
2009-12-14Create abstract checker to use Property Simulation. Clean up code.Elliott Baron6-61/+132
2009-12-11Properly handle binary expressions, improved debugging output, handle propert...Elliott Baron2-30/+45
2009-11-17Refactored conditional parsing to an ASTVisitor.Elliott Baron2-72/+102
2009-11-17Handle NULL in variable assignments and conditionals.Elliott Baron4-36/+63
2009-11-16Fixed infinite loop bug for loop structures.Elliott Baron3-15/+77
2009-11-09Remove truth assignments at merge points, based on dominance in CFG.Elliott Baron5-20/+75
[...]
 
Clone
git://fedorapeople.org/home/fedora/ebaron/public_git/codan.git
ssh://fedorapeople.org/home/fedora/ebaron/public_git/codan.git
https://fedorapeople.org/cgit/ebaron/public_git/codan.git