BranchCommit messageAuthorAge
disjunct-expAttempt to parse disjunctions into execution states. Most likely does not work.Elliott Baron12 years
masterUpdate codan plugins to CDT 7.0.Elliott Baron11 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