Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-05-06 | add initial cocci instrumentation demoHEADmaster | Luis R. Rodriguez | 3 | -0/+224 |
2016-05-06 | add pthread_mutex_protects_3() -- semantic helper | Luis R. Rodriguez | 1 | -0/+6 |
2016-05-06 | try to fix eating | Luis R. Rodriguez | 1 | -0/+2 |
2016-05-06 | change rules | Luis R. Rodriguez | 1 | -8/+39 |
2016-05-06 | remove mutex locks | Luis R. Rodriguez | 1 | -2/+0 |
2016-05-06 | add initial demo pthread party | Luis R. Rodriguez | 6 | -0/+424 |