Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added generation of invariants to restrict source location to sensible values. | 2012-08-28 | |
* | Some more code cleanup related to removal of the "divided" option. | 2012-08-13 | |
* | Inter-thread race checking implementation done. | 2012-06-14 | |
* | Progress on inter-group race checking | 2012-06-14 | |
* | GPUVerify: refactor candidate invariant generators and analyses to use regions | 2012-06-07 | |
* | Significantly changed the way race checking is performed. Made eager race ch... | 2012-04-24 | |
* | Started adding another invariant generation analysis. | 2012-03-26 | |
* | Race checking assertions are now added as invariants and pre/post conditions ... | 2012-03-05 | |
* | Generating useful, and guarateed by construction, postconditions and loop inv... | 2011-11-21 | |
* | Additions to GPU Verify for paper submission. | 2011-11-08 |