Generate an RTLIL representation of bind constructs 
						
					 
				 
				2021-08-13 17:11:35 -06:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Generate an RTLIL representation of bind constructs 
						
					 
				 
				2021-08-13 17:11:35 -06:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add coarse-grain $buf buffer cell type 
						
					 
				 
				2024-09-17 10:46:20 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Adjust buf-normalized mode 
						
					 
				 
				2024-09-17 10:46:20 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							celltypes.h: Add extra properties 
						
					 
				 
				2024-10-15 07:23:45 +13:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h 
						
					 
				 
				2024-08-21 11:04:08 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Improvements in "bufnorm" pass 
						
					 
				 
				2024-09-17 10:46:20 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter 
						
					 
				 
				2024-07-29 10:26:02 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter 
						
					 
				 
				2024-07-29 10:26:02 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							driver: switch to cxxopts, replace -B 
						
					 
				 
				2024-10-09 15:21:34 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							drivertools: fix C++20 "incomplete type" error by moving constructors below other definitions 
						
					 
				 
				2024-08-22 10:40:56 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							ff: improve comments 
						
					 
				 
				2024-09-05 11:17:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add new helper class for merging FFs into cells, use for memory_dff. 
						
					 
				 
				2021-05-23 14:46:59 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Address warnings 
						
					 
				 
				2024-08-16 04:30:31 +12:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							fmt,cxxrtl: add option to group digits in numbers. 
						
					 
				 
				2024-04-02 12:13:22 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixes for some of clang scan-build detected issues 
						
					 
				 
				2023-01-17 12:58:08 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Start restoring memory state from VCD/FST 
						
					 
				 
				2022-05-04 10:41:04 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent 
						
					 
				 
				2024-08-28 12:39:41 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							functional: fix std::move usage in Factory::constant 
						
					 
				 
				2024-10-14 06:28:14 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Explictly #include <variant> for std::variant usage. 
						
					 
				 
				2024-10-07 21:57:30 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Support for BTOR witness to Yosys witness conversion 
						
					 
				 
				2023-01-11 18:07:16 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Support for BTOR witness to Yosys witness conversion 
						
					 
				 
				2023-01-11 18:07:16 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							log: Never silence log_cmd_error 
						
					 
				 
				2024-09-24 17:47:46 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							kernel/log: Add log_str helper for custom log_* functions/overloads 
						
					 
				 
				2024-08-21 10:58:39 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							remove template declaration that stops function from being used 
						
					 
				 
				2023-01-11 16:09:05 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add coarse-grain $buf buffer cell type 
						
					 
				 
				2024-09-17 10:46:20 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Refactor common parts of SAT-using optimizations into a helper. 
						
					 
				 
				2021-08-09 16:54:35 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cellref: Add json dump 
						
					 
				 
				2024-10-15 07:25:27 +13:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							kernel: Avoid including files outside include guards 
						
					 
				 
				2024-04-02 16:53:56 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sat: Add -set-def-formal option to force defined $any* outputs 
						
					 
				 
				2022-11-28 14:50:52 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add scopeinfo index/lookup utils 
						
					 
				 
				2024-02-06 18:01:26 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add scopeinfo index/lookup utils 
						
					 
				 
				2024-02-06 18:01:26 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them 
						
					 
				 
				2024-08-21 11:03:27 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them 
						
					 
				 
				2024-08-21 11:03:27 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sigmap: comments 
						
					 
				 
				2024-07-18 16:02:11 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sta: very crude static timing analysis pass 
						
					 
				 
				2021-11-25 17:20:27 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							functional backend: topological sort starts with the output and next states nodes, other nodes get deleted 
						
					 
				 
				2024-08-21 11:03:29 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h 
						
					 
				 
				2024-08-21 11:04:08 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							wheels: fix missing yosys-abc/share directory 
						
					 
				 
				2024-10-09 13:09:14 +03:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							kernel: Avoid including files outside include guards 
						
					 
				 
				2024-04-02 16:53:56 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							sim/formalff: Clock handling for yw cosim 
						
					 
				 
				2023-01-11 18:07:16 +01:00