|  Nathalie Furmento | 6a16f8370f
							
							update copyright holders | %!s(int64=5) %!d(string=hai) anos | 
				
					
						|  Nathalie Furmento | fd8f48d684
							
							tools: fix copyrights | %!s(int64=7) %!d(string=hai) anos | 
				
					
						|  Nathalie Furmento | aae4029d83
							
							INRIA is now called Inria | %!s(int64=8) %!d(string=hai) anos | 
				
					
						|  Nathalie Furmento | e3b44209ed
							
							update copyright | %!s(int64=10) %!d(string=hai) anos | 
				
					
						|  Cyril Roelandt | 916d1219f8
							
							Coccinelle:tools/dev/experimental/function_call_termination_condition: do not specify the type of the "max" variable any more. | %!s(int64=13) %!d(string=hai) anos | 
				
					
						|  Cyril Roelandt | d53cb2a135
							
							Coccinelle: tools/dev/experimental/function_call_termination_condition : fix a typo in the name of an identifier. | %!s(int64=13) %!d(string=hai) anos | 
				
					
						|  Cyril Roelandt | a2c0ae2977
							
							tools/dev/experimantal: fix the org mode of the Coccinelle scripts so that the HTML export is pretty. | %!s(int64=13) %!d(string=hai) anos | 
				
					
						|  Cyril Roelandt | 795aab35ea
							
							function_call_termination_condition.cocci: add a patch mode. | %!s(int64=13) %!d(string=hai) anos | 
				
					
						|  Cyril Roelandt | c17dab5ce4
							
							Coccinelle : add a script that finds function calls that are part of the termination condition of a for loop. | %!s(int64=13) %!d(string=hai) anos |