| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Implemented Quine-McCluskey algorithm to join execution states. Property simu... | Elliott Baron | 2009-11-01 | 8 | -52/+492 |
| * | Fixed handling of nested if statements. | Elliott Baron | 2009-10-31 | 2 | -17/+38 |
| * | PSA working for simple variable assignments and conditionals. PropSim impleme... | Elliott Baron | 2009-10-25 | 5 | -48/+300 |
| * | Transition for branching complete; execution state made of CNF clauses of var... | Elliott Baron | 2009-10-12 | 7 | -194/+270 |
| * | Initial implementation of intra-procedural property simulation. | Elliott Baron | 2009-10-05 | 14 | -569/+1141 |
| * | Created .extension plugin with my modifications. Initial use of CFG, pulled i... | Elliott Baron | 2009-09-21 | 79 | -13/+2651 |
| * | Support multiple open/close calls; ensure open called before close. | Elliott Baron | 2009-08-31 | 1 | -25/+43 |
| * | Initial commit: New file. | Elliott Baron | 2009-08-25 | 222 | -0/+5463 |
 |
index : codan.git | |
| Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
| summaryrefslogtreecommitdiffstats |