Arcady Goldmints-Orlov 
		f47028995c 
		
	 
	
	
	Use std::call_once in spv::Parameterize() ... 
			There was a race condition in this function as it used a static variable
to attempt to ensure global initialization was only done once, which was
not thread-safe. Instead, use std::call_once, which was added to C++11
for this exact case.
Fixes  #342  
		
	 
		2023-07-13 18:14:29 -04:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2022-09-09 10:13:02 -06:00 
		 
	
		
			
			
			
			
			
			2018-09-12 10:34:54 +02:00 
		 
	
		
			
			
			
			
			
			2023-05-25 14:34:34 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2019-02-21 11:05:21 -05:00 
		 
	
		
			
			
			
			
			
			2023-07-13 18:14:29 -04:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2018-03-02 12:36:02 -07:00 
		 
	
		
			
			
			
			
			
			2022-12-05 14:15:47 +02:00 
		 
	
		
			
			
			
			
			
			2023-05-08 19:49:25 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-05 09:12:37 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-09 13:19:08 -07:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2023-07-11 13:26:22 -04:00 
		 
	
		
			
			
			
			
			
			2023-05-23 14:07:48 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-10 09:55:02 -06:00 
		 
	
		
			
			
			
			
			
			2019-10-29 15:33:54 -04:00 
		 
	
		
			
			
			
			
			
			2020-03-21 03:20:25 -04:00 
		 
	
		
			
			
			
			
			
			2019-08-20 23:21:56 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2023-06-21 16:43:18 -04:00 
		 
	
		
			
			
			
			
			
			2023-05-22 12:04:40 -06:00 
		 
	
		
			
			
			
			
			
			2023-06-27 13:49:14 -04:00 
		 
	
		
			
			
			
			
			
			2022-12-05 14:15:47 +02:00 
		 
	
		
			
			
			
			
			
			2023-05-10 09:55:02 -06:00 
		 
	
		
			
			
			
			
			
			2023-05-10 09:55:02 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-09 15:51:35 -05:00 
		 
	
		
			
			
			
			
			
			2022-11-28 15:09:41 -07:00