Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Implemented Houdini-based pointer analysis. Made inter-group race checking ↵ | 2012-07-20 | |
| | | | | default. | ||
* | Refactoring, and work on race checking contracts | 2011-11-09 | |
| | |||
* | Additions to GPU Verify for paper submission. | 2011-11-08 | |
| | |||
* | Added missing files | 2011-09-29 | |