Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Create abstract checker to use Property Simulation. Clean up code. | Elliott Baron | 2009-12-14 | 1 | -0/+10 |
* | Properly handle binary expressions, improved debugging output, handle propert... | Elliott Baron | 2009-12-11 | 1 | -2/+4 |
* | Refactored conditional parsing to an ASTVisitor. | Elliott Baron | 2009-11-17 | 1 | -0/+100 |