Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e158ea2097
								
							
						 | 
						
							
							
								
								Add log_debug() framework
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-22 17:25:52 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3e89cf68bd
								
							
						 | 
						
							
							
								
								Add author name
							
							
							
							
							
						 | 
						
							2019-03-19 08:52:06 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								843e7fc8a7
								
							
						 | 
						
							
							
								
								Fix for using POSIX basename
							
							
							
							
							
						 | 
						
							2019-02-19 09:02:37 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8e1dbfac3a
								
							
						 | 
						
							
							
								
								Missing OSX headers?
							
							
							
							
							
						 | 
						
							2019-02-17 20:59:53 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9268a271fb
								
							
						 | 
						
							
							
								
								read_aiger to ignore line after ands for ascii, not binary
							
							
							
							
							
						 | 
						
							2019-02-17 12:07:14 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6faad18874
								
							
						 | 
						
							
							
								
								Merge branch 'read_aiger' of github.com:eddiehung/yosys into read_aiger
							
							
							
							
							
						 | 
						
							2019-02-12 09:21:46 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a2ae393811
								
							
						 | 
						
							
							
								
								Use module->add{Not,And}Gate() functions
							
							
							
							
							
						 | 
						
							2019-02-12 09:21:15 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								04c580fde7
								
							
						 | 
						
							
							
								
								Do not break for constraints
							
							
							
							
							
						 | 
						
							2019-02-11 13:28:00 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								727ba52504
								
							
						 | 
						
							
							
								
								No increment line_count for binary ANDs
							
							
							
							
							
						 | 
						
							2019-02-11 13:24:21 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bb4164481d
								
							
						 | 
						
							
							
								
								Do not ignore newline after AND in binary AIG
							
							
							
							
							
						 | 
						
							2019-02-11 11:51:44 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8886fa5506
								
							
						 | 
						
							
							
								
								addDff -> addDffGate as per @daveshah1
							
							
							
							
							
						 | 
						
							2019-02-08 13:17:53 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								afc3c4b613
								
							
						 | 
						
							
							
								
								Fix tabulation
							
							
							
							
							
						 | 
						
							2019-02-08 13:17:02 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								aa66d8f12f
								
							
						 | 
						
							
							
								
								-module_name arg to go before -clk_name
							
							
							
							
							
						 | 
						
							2019-02-08 12:49:55 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fb8ad440a3
								
							
						 | 
						
							
							
								
								Allow module name to be determined by argument too
							
							
							
							
							
						 | 
						
							2019-02-08 12:40:43 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f1befe1b44
								
							
						 | 
						
							
							
								
								Refactor into AigerReader class
							
							
							
							
							
						 | 
						
							2019-02-08 12:04:26 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2a8cc36578
								
							
						 | 
						
							
							
								
								Parse binary AIG files
							
							
							
							
							
						 | 
						
							2019-02-08 11:45:16 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								09d758f0a3
								
							
						 | 
						
							
							
								
								Refactor to parse_aiger_header()
							
							
							
							
							
						 | 
						
							2019-02-08 10:54:31 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								36c56bf412
								
							
						 | 
						
							
							
								
								Add comment
							
							
							
							
							
						 | 
						
							2019-02-08 08:37:44 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5e24251a61
								
							
						 | 
						
							
							
								
								Handle reset logic in latches
							
							
							
							
							
						 | 
						
							2019-02-08 08:37:18 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								652e414392
								
							
						 | 
						
							
							
								
								Change literal vars from int to unsigned
							
							
							
							
							
						 | 
						
							2019-02-08 08:09:30 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fafa972238
								
							
						 | 
						
							
							
								
								Create clk outside of latch loop
							
							
							
							
							
						 | 
						
							2019-02-08 08:08:49 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								02f603ac1a
								
							
						 | 
						
							
							
								
								Handle latch symbols too
							
							
							
							
							
						 | 
						
							2019-02-08 08:05:27 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5a593ff41c
								
							
						 | 
						
							
							
								
								Remove return after log_error
							
							
							
							
							
						 | 
						
							2019-02-08 08:04:48 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6dbeda1807
								
							
						 | 
						
							
							
								
								Add support for symbol tables
							
							
							
							
							
						 | 
						
							2019-02-08 08:03:40 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								791f93181d
								
							
						 | 
						
							
							
								
								Stub for binary AIGER
							
							
							
							
							
						 | 
						
							2019-02-08 07:31:04 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								40db2f2eb6
								
							
						 | 
						
							
							
								
								Refactor
							
							
							
							
							
						 | 
						
							2019-02-06 14:58:47 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								cc0b723484
								
							
						 | 
						
							
							
								
								WIP
							
							
							
							
							
						 | 
						
							2019-02-06 12:19:48 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |