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 |