Age | Commit message (Expand) | Author |
---|---|---|
2008-11-16 | Re-enable array-struct test. | Zhongxing Xu |
2008-11-13 | - Revert r59229 and r59232: AllocRegion should be immutable. | Ted Kremenek |
2008-11-13 | Add test for unsigned array index. | Zhongxing Xu |
2008-11-13 | Add test for incomplete struct pointer. | Zhongxing Xu |
2008-11-13 | Add a test case for alloca(). | Zhongxing Xu |
2008-11-07 | Append the test runs with '&&'. | Argyrios Kyrtzidis |
2008-11-02 | Add function side-effect test cast. | Zhongxing Xu |
2008-10-31 | Add test code for array initialization. | Zhongxing Xu |
2008-10-27 | Add test for SCA region store. | Zhongxing Xu |
2008-10-25 | Add StringLiteral test code. | Zhongxing Xu |
2008-10-24 | Add random array and struct test code for SCA. | Zhongxing Xu |
2008-10-17 | Add test case for array and struct variable lvalue evaluation. | Zhongxing Xu |