| .. | 
		
		
			
			
			
			
				| aiger | Merge pull request #5109 from YosysHQ/emil/aiger-map-fix-outputs | 2025-06-02 15:07:19 +02:00 | 
		
			
			
			
			
				| aiger2 | abc_new: Fix PI confusion in whitebox model export | 2024-12-10 14:27:29 +01:00 | 
		
			
			
			
			
				| blif | driver: allow --no-version still write things like Generated by Yosys | 2025-05-07 11:34:23 +02:00 | 
		
			
			
			
			
				| btor | Merge pull request #4711 from georgerennie/george/btor_buf | 2025-09-01 13:38:25 +02:00 | 
		
			
			
			
			
				| cxxrtl | cxxrtl: Add debug items for state with private names | 2025-05-26 16:58:13 +02:00 | 
		
			
			
			
			
				| edif | driver: allow --no-version still write things like Generated by Yosys | 2025-05-07 11:34:23 +02:00 | 
		
			
			
			
			
				| firrtl | Remove some c_str()calls where they're no longer needed as parameters tostringf(). | 2025-08-18 14:20:31 +01:00 | 
		
			
			
			
			
				| functional | Reapply "Add groups to command reference" | 2025-08-06 13:52:12 +12:00 | 
		
			
			
			
			
				| intersynth | Remove some c_str()calls where they're no longer needed as parameters tostringf(). | 2025-08-18 14:20:31 +01:00 | 
		
			
			
			
			
				| jny | driver: allow --no-version still write things like Generated by Yosys | 2025-05-07 11:34:23 +02:00 | 
		
			
			
			
			
				| json | driver: allow --no-version still write things like Generated by Yosys | 2025-05-07 11:34:23 +02:00 | 
		
			
			
			
			
				| rtlil | driver: allow --no-version still write things like Generated by Yosys | 2025-05-07 11:34:23 +02:00 | 
		
			
			
			
			
				| simplec | Remove some c_str()calls where they're no longer needed as parameters tostringf(). | 2025-08-18 14:20:31 +01:00 | 
		
			
			
			
			
				| smt2 | Merge pull request #4475 from georgerennie/skip_cover | 2025-09-01 13:53:04 +02:00 | 
		
			
			
			
			
				| smv | driver: allow --no-version still write things like Generated by Yosys | 2025-05-07 11:34:23 +02:00 | 
		
			
			
			
			
				| spice | Remove some c_str()calls where they're no longer needed as parameters tostringf(). | 2025-08-18 14:20:31 +01:00 | 
		
			
			
			
			
				| table | Fixing old e-mail addresses and deadnames | 2021-06-08 00:39:36 +02:00 | 
		
			
			
			
			
				| verilog | update verilog_backend according to Github comments | 2025-08-08 16:17:37 +08:00 |