codan.git/org.eclipse.cdt.codan.extension/.project, branch disjunct-exp Framework based on Property Simulation for Eclipse CDT static code analysis. Created .extension plugin with my modifications. Initial use of CFG, pulled in from PTP. Fixed a bug in CFG printing in PTP plugin. 2009-09-21T19:09:03+00:00 Elliott Baron ebaron@fedoraproject.org 2009-09-21T19:09:03+00:00 e35f5131df28786841f5e09d9982b912bd3469d0 * org.eclipse.cdt.codan.checkers: Moved changes to codan.extension. * org.eclipse.cdt.codan.extension: New plugin. * org.eclipse.ptp.pldt.mpi.analysis.cdt: Small bugfix to block printing. 
* org.eclipse.cdt.codan.checkers: Moved changes to codan.extension.
* org.eclipse.cdt.codan.extension: New plugin.
* org.eclipse.ptp.pldt.mpi.analysis.cdt: Small bugfix to block printing.