| .. |
|
check_register.sh
|
d6a2a33cc5
tools/dev/check_register.sh: new tool to check which data handles are not unregistered
|
13 年 前 |
|
functions_undocumented.sh
|
34762fc0b4
tools/dev/functions_undocumented.sh: tool to check if some public functions are not documented
|
13 年 前 |
|
rename.sed
|
fe64185af5
tools: rename sub-directory developers to dev
|
13 年 前 |
|
rename.sh
|
fe64185af5
tools: rename sub-directory developers to dev
|
13 年 前 |
|
starpu_funcs.cocci
|
30a31a49e8
- small example of implementing functions_undocumented.sh using Coccinelle's spatch, may serve as a basis for more elaborated static checks...
|
13 年 前 |
|
starpu_funcs.sh
|
30a31a49e8
- small example of implementing functions_undocumented.sh using Coccinelle's spatch, may serve as a basis for more elaborated static checks...
|
13 年 前 |
Olivier Aumage
30a31a49e8
- small example of implementing functions_undocumented.sh using Coccinelle's spatch, may serve as a basis for more elaborated static checks...