Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Barriers now handled uniformly via bugle_barrier. | Unknown | 2012-08-30 |
* | Added generation of invariants to restrict source location to sensible values. | Egor Kyshtymov | 2012-08-28 |
* | Added group information to race error reporting. | Egor Kyshtymov | 2012-08-22 |
* | Added functionality for race error reporting. | Egor Kyshtymov | 2012-08-20 |
* | Added GPUVerifyBoogieDriver project. | Unknown | 2012-08-14 |