 Nathalie Furmento
|
9054490002
happy 2021
|
лет назад: 4 |
|
Nathalie Furmento
|
6a16f8370f
update copyright holders
|
лет назад: 5 |
|
Nathalie Furmento
|
fd8f48d684
tools: fix copyrights
|
лет назад: 7 |
|
Nathalie Furmento
|
aae4029d83
INRIA is now called Inria
|
лет назад: 8 |
|
Nathalie Furmento
|
e3b44209ed
update copyright
|
лет назад: 10 |
 Cyril Roelandt
|
a2c0ae2977
tools/dev/experimantal: fix the org mode of the Coccinelle scripts so that the HTML export is pretty.
|
лет назад: 13 |
|
Cyril Roelandt
|
ab1f11fd5e
Coccinelle: add a script that checks for mutex that are locked and unlocked in a function, but not unlocked when treating error cases.
|
лет назад: 13 |
