Commit message (Expand) | Author | Age | |
---|---|---|---|
* | updated the example to include atomic specifications (sent by Suha) | qadeer | 2015-03-29 |
* | fix from Serdar and Suha | qadeer | 2015-02-24 |
* | added lit stuff at the top of the file and the golden output | qadeer | 2015-01-28 |
* | Work stealing queue (PLDI '12 Vechev et al.) | Unknown | 2015-01-28 |