| aiger | s/NEW_ID/NEWER_ID/g | 2025-09-16 17:50:56 +02:00 | 
		
			
			
			
			
				| aiger2 | Remove .c_str() calls from log()/log_error() | 2025-09-11 20:59:37 +00:00 | 
		
			
			
			
			
				| ast | s/NEW_ID/NEWER_ID/g | 2025-09-16 17:50:56 +02:00 | 
		
			
			
			
			
				| blif | s/NEW_ID/NEWER_ID/g | 2025-09-16 17:50:56 +02:00 | 
		
			
			
			
			
				| json | s/NEW_ID/NEWER_ID/g | 2025-09-16 17:50:56 +02:00 | 
		
			
			
			
			
				| liberty | s/NEW_ID/NEWER_ID/g | 2025-09-16 17:50:56 +02:00 | 
		
			
			
			
			
				| rpc | Remove .c_str() calls from log()/log_error() | 2025-09-11 20:59:37 +00:00 | 
		
			
			
			
			
				| verific | s/NEW_ID/NEWER_ID/g | 2025-09-16 17:50:56 +02:00 |