aiger: fixes for ports that have start_offset != 0 
						
					 
				 
				2020-05-02 10:00:32 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							kernel: big fat patch to use more ID::*, otherwise ID(*) 
						
					 
				 
				2020-04-02 09:51:32 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							kernel: big fat patch to use more ID::*, otherwise ID(*) 
						
					 
				 
				2020-04-02 09:51:32 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Reorder cases to avoid fall-through warning 
						
					 
				 
				2020-05-07 13:39:34 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Improve net priorities in EDIF back-end 
						
					 
				 
				2020-04-21 12:35:25 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Add YS_FALLTHROUGH macro to mark case fall-through 
						
					 
				 
				2020-05-07 13:39:34 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							ilang, ast: Store parameter order and default value information. 
						
					 
				 
				2020-04-21 19:09:00 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Clean up pseudo-private member usage in backends/intersynth/intersynth.cc. 
						
					 
				 
				2020-04-01 06:32:09 +00:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							write_json: dump default parameter values 
						
					 
				 
				2020-04-21 19:09:00 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Add aiger and protobuf backends binary support 
						
					 
				 
				2019-09-28 09:51:48 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							kernel: big fat patch to use more ID::*, otherwise ID(*) 
						
					 
				 
				2020-04-02 09:51:32 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Merge pull request  #1830  from boqwxp/qbfsat 
						
					 
				 
				2020-04-15 17:33:50 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							kernel: big fat patch to use more ID::*, otherwise ID(*) 
						
					 
				 
				2020-04-02 09:51:32 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							kernel: use more ID::* 
						
					 
				 
				2020-04-02 07:14:08 -07:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							Add "whitebox" attribute, add "read_verilog -wb" 
						
					 
				 
				2019-04-18 17:45:47 +02:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							write_verilog: fix precondition check. 
						
					 
				 
				2020-04-14 12:12:50 +00:00