Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Documented API classes/interfaces. | Elliott Baron | 2009-12-15 | 1 | -2/+22 |
* | Transition for branching complete; execution state made of CNF clauses of var... | Elliott Baron | 2009-10-12 | 1 | -3/+25 |
* | Initial implementation of intra-procedural property simulation. | Elliott Baron | 2009-10-05 | 1 | -0/+19 |