Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed GPUVerify solution. | 2012-10-01 | |
* | Fix to abstract interpretation to match Boogie. | 2012-10-01 | |
* | Added detailed trace functionality. | 2012-09-24 | |
* | Added creation of source variable pre- and post- conditions. | 2012-09-16 | |
* | Barriers now handled uniformly via bugle_barrier. | 2012-08-30 | |
* | Added generation of invariants to restrict source location to sensible values. | 2012-08-28 | |
* | Added group information to race error reporting. | 2012-08-22 | |
* | Added functionality for race error reporting. | 2012-08-20 | |
* | Added GPUVerifyBoogieDriver project. | 2012-08-14 |