| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | add initial cocci instrumentation demo | Luis R. Rodriguez | 8 years | |
| Age | Commit message | 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 |
| Clone | ||||
| git://git.kernel.org/pub/scm/linux/kernel/git/mcgrof/cocci-tact.git | ||||
| https://git.kernel.org/pub/scm/linux/kernel/git/mcgrof/cocci-tact.git | ||||
| https://kernel.googlesource.com/pub/scm/linux/kernel/git/mcgrof/cocci-tact.git | ||||
 |
index : kernel/git/mcgrof/cocci-tact.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Luis R. Rodriguez |
| aboutsummaryrefslogtreecommitdiffstats |