summaryrefslogtreecommitdiffstats
path: root/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/VariableAssignmentVisitor.java
Commit message (Expand)AuthorAgeFilesLines
* PSA working for simple variable assignments and conditionals. PropSim impleme...Elliott Baron2009-10-251-4/+44
* Transition for branching complete; execution state made of CNF clauses of var...Elliott Baron2009-10-121-0/+56