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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Reduce comparisons of size_t and int 
						
					 
				 
				2024-11-29 12:53:29 +13:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							hashlib: hash_eat -> hash_into 
						
					 
				 
				2024-12-18 15:09:25 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							celledges: use capped shift width 
						
					 
				 
				2025-04-26 18:34:21 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fixing old e-mail addresses and deadnames 
						
					 
				 
				2021-06-08 00:39:36 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Update codebase for macc_v2 
						
					 
				 
				2025-01-24 12:38:03 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							macc: Rename 'ports' to 'terms' throughout codebase 
						
					 
				 
				2025-03-18 13:25:10 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							macc_v2: Add C port 
						
					 
				 
				2025-01-24 12:38:03 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cost: Add $mem_v2, $macc_v2 estimates 
						
					 
				 
				2025-03-18 13:51:09 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter 
						
					 
				 
				2024-07-29 10:26:02 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							driver: allow --no-version still write things like Generated by Yosys 
						
					 
				 
				2025-05-07 11:34:23 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Merge pull request  #4567  from kivikakk/cxxrtl-escape-trailing 
						
					 
				 
				2025-03-14 16:52:07 +13:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							fmt,cxxrtl: add option to group digits in numbers. 
						
					 
				 
				2024-04-02 12:13:22 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Merge pull request  #4620  from RCoeurjoly/fix-vcd-parsing-ghdl-var-spacing 
						
					 
				 
				2024-11-06 16:29:07 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Start restoring memory state from VCD/FST 
						
					 
				 
				2022-05-04 10:41:04 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							functional, glift: use fold overload of IdString::in instead of pool literals 
						
					 
				 
				2024-11-06 12:48:32 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gzip: reject uncompressing directories 
						
					 
				 
				2025-05-09 22:33:30 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							gzip: back to pointers 
						
					 
				 
				2025-03-19 13:43:44 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Add <optional> to haslib.h which uses std::optional 
						
					 
				 
				2025-05-06 09:57:03 -07:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							io: don't accept a directory when file expected 
						
					 
				 
				2025-05-09 22:33:30 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							io: don't accept a directory when file expected 
						
					 
				 
				2025-05-09 22:33:30 +02: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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Change the implementation of log_debug in kernel/log.h from a macro function to a normal function. 
						
					 
				 
				2025-04-29 22:43:10 +08:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							macc: Rename 'ports' to 'terms' throughout codebase 
						
					 
				 
				2025-03-18 13:25:10 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							kernel/mem: Fix Cygwin compat 
						
					 
				 
				2024-12-03 13:15:33 +13:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							driver: allow --no-version still write things like Generated by Yosys 
						
					 
				 
				2025-05-07 11:34:23 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Fix Crashes with GCC 15  #5088 
						
					 
				 
				2025-05-10 09:59:13 +12:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							cutpoint: Add $scopeinfo cell 
						
					 
				 
				2025-04-11 04:12:34 +12:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil.h: Extra comment on helper enums 
						
					 
				 
				2025-04-08 11:59:42 +12:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Merge pull request  #5025  from povik/fix-macc_v2-satgen 
						
					 
				 
				2025-04-22 08:55:28 +12: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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							fix bugs in handling last id in hdlname to scopename conversion 
						
					 
				 
				2025-01-16 12:57:08 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Reinstate  #4768 
						
					 
				 
				2025-04-08 11:58:05 +12:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +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  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							io: refactor string and file work into new unit 
						
					 
				 
				2025-03-19 13:43:42 +01:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							io: don't accept a directory when file expected 
						
					 
				 
				2025-05-09 22:33:30 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							driver: allow --no-version still write things like Generated by Yosys 
						
					 
				 
				2025-05-07 11:34:23 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							io: don't accept a directory when file expected 
						
					 
				 
				2025-05-09 22:33:30 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							rtlil: represent Const strings as std::string 
						
					 
				 
				2024-10-14 06:28:12 +02:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							mark all hash_into methods nodiscard 
						
					 
				 
				2025-01-14 12:39:15 +01:00