|  Nathalie Furmento | bd02436abc
							
							tools/dev/valgrind: update suppression rules | vor 6 Jahren | 
				
					
						|  Nathalie Furmento | f7abbfa6fc
							
							update copyright | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | fd8f48d684
							
							tools: fix copyrights | vor 7 Jahren | 
				
					
						|  Nathalie Furmento | dd90842d78
							
							revert last commit, no longer ignore errors when running valgrind XML | vor 8 Jahren | 
				
					
						|  Nathalie Furmento | 44df857953
							
							tools/dev/valgrind: never fail when running valgrind with xml output | vor 8 Jahren | 
				
					
						|  Nathalie Furmento | 6d3efc4aeb
							
							tools/dev/valgrind: add hwloc system suppression file when available | vor 8 Jahren | 
				
					
						|  Nathalie Furmento | 9272defd8b
							
							tools/dev/valgrind/valgrind.sh: when running non-xml valgrind, return 42 on failure (this feature had been lost in a previous commit) | vor 8 Jahren | 
				
					
						|  Nathalie Furmento | 72405e6854
							
							tools/dev/valgrind/valgrind_xml.sh: collect all xml files in the same directory | vor 8 Jahren | 
				
					
						|  Nathalie Furmento | e8c53d2e5b
							
							tools: add script to run valgrind with a xml output | vor 8 Jahren | 
				
					
						|  Nathalie Furmento | 4b7f8373b8
							
							tools: re-organize directories | vor 8 Jahren |