diff options
| author | Elliott Baron <ebaron@fedoraproject.org> | 2009-11-01 00:02:17 -0400 |
|---|---|---|
| committer | Elliott Baron <ebaron@fedoraproject.org> | 2009-11-01 00:02:17 -0400 |
| commit | 25eebecd10f8bfa9810e73f4efdc5b0be4a305a2 (patch) | |
| tree | aefdf9c9a5a1d9b878d647a2265c2bbfccb00d03 /org.eclipse.ptp.pldt.mpi.analysis.cdt | |
| parent | f4fd87f6b05de1a67c5d2d09f1813ddce6de4879 (diff) | |
| download | codan-25eebecd10f8bfa9810e73f4efdc5b0be4a305a2.tar.gz codan-25eebecd10f8bfa9810e73f4efdc5b0be4a305a2.tar.xz codan-25eebecd10f8bfa9810e73f4efdc5b0be4a305a2.zip | |
Implemented Quine-McCluskey algorithm to join execution states. Property simulation working!
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESTruthTable.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ExecutionState.java: Join execution states.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ITruthTable.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/Minterm.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/QuineMcCluskeySimplifier.java: New file.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/SymbolicState.java: Implement equals and hashCode.
* org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/checkers/CloseOpenedFilesChecker.java: Use PropSim.
Diffstat (limited to 'org.eclipse.ptp.pldt.mpi.analysis.cdt')
0 files changed, 0 insertions, 0 deletions