 Nathalie Furmento
|
9054490002
happy 2021
|
před 4 roky |
|
Nathalie Furmento
|
6a16f8370f
update copyright holders
|
před 5 roky |
|
Nathalie Furmento
|
fd8f48d684
tools: fix copyrights
|
před 7 roky |
|
Nathalie Furmento
|
aae4029d83
INRIA is now called Inria
|
před 7 roky |
|
Nathalie Furmento
|
e3b44209ed
update copyright
|
před 10 roky |
 Cyril Roelandt
|
916d1219f8
Coccinelle:tools/dev/experimental/function_call_termination_condition: do not specify the type of the "max" variable any more.
|
před 13 roky |
|
Cyril Roelandt
|
d53cb2a135
Coccinelle: tools/dev/experimental/function_call_termination_condition : fix a typo in the name of an identifier.
|
před 13 roky |
|
Cyril Roelandt
|
a2c0ae2977
tools/dev/experimantal: fix the org mode of the Coccinelle scripts so that the HTML export is pretty.
|
před 13 roky |
|
Cyril Roelandt
|
795aab35ea
function_call_termination_condition.cocci: add a patch mode.
|
před 13 roky |
|
Cyril Roelandt
|
c17dab5ce4
Coccinelle : add a script that finds function calls that are part of the termination condition of a for loop.
|
před 13 roky |
