| 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 |
 |
index : kernel/git/mcgrof/cocci-tact.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Luis R. Rodriguez |
| aboutsummaryrefslogtreecommitdiffstats |