summaryrefslogtreecommitdiff
path: root/Test/og/wsq.bpl
Commit message (Collapse)AuthorAge
* renamed og to civlGravatar qadeer2015-04-22
|
* changed aux attribute to ghostGravatar qadeer2015-04-18
|
* updated the example to include atomic specifications (sent by Suha)Gravatar qadeer2015-03-29
|
* fix from Serdar and SuhaGravatar qadeer2015-02-24
|
* added lit stuff at the top of the file and the golden outputGravatar qadeer2015-01-28
|
* Work stealing queue (PLDI '12 Vechev et al.)Gravatar Unknown2015-01-28