Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								091bf4a18b
								
							
						 | 
						
							
							
								
								Remove sequential extension
							
							
							
							
							
						 | 
						
							2019-08-20 18:16:37 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								be9e4f1b67
								
							
						 | 
						
							
							
								
								Use abc_{map,unmap,model}.v
							
							
							
							
							
						 | 
						
							2019-08-20 12:39:11 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3f4886e7a3
								
							
						 | 
						
							
							
								
								Fix typo
							
							
							
							
							
						 | 
						
							2019-08-19 10:42:00 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2f4e0a5388
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-08-19 10:07:27 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9bfe924e17
								
							
						 | 
						
							
							
								
								Set abc_flop and use it in toposort
							
							
							
							
							
						 | 
						
							2019-08-19 09:40:01 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								24c934f1af
								
							
						 | 
						
							
							
								
								Merge branch 'eddie/abc9_refactor' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-08-16 16:51:22 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6b156beda1
								
							
						 | 
						
							
							
								
								Remove unused variable
							
							
							
							
							
						 | 
						
							2019-08-16 13:35:39 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								0c5db07cd6
								
							
						 | 
						
							
							
								
								Fix various NDEBUG compiler warnings, closes #1255
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-08-13 13:29:03 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								f54bf1631f
								
							
						 | 
						
							
							
								
								Merge pull request #1258 from YosysHQ/eddie/cleanup
							
							
							
							
							
							
							
							Cleanup a few barnacles across codebase 
							
						 | 
						
							2019-08-10 09:52:14 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								446dcb3ed3
								
							
						 | 
						
							
							
								
								Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro
							
							
							
							
							
						 | 
						
							2019-08-09 09:17:35 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								03ec8d6551
								
							
						 | 
						
							
							
								
								Run "clean" on mapped_mod in its own design
							
							
							
							
							
						 | 
						
							2019-08-07 09:54:27 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a6bc9265fb
								
							
						 | 
						
							
							
								
								RTLIL::S{0,1} -> State::S{0,1}
							
							
							
							
							
						 | 
						
							2019-08-06 16:23:37 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Miodrag Milanovic
								
							 
						 | 
						
							
							
							
							
								
							
							
								28b7053a01
								
							
						 | 
						
							
							
								
								Fix formatting for msys2 mingw build using GetSize
							
							
							
							
							
						 | 
						
							2019-08-01 17:27:34 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									William D. Jones
								
							 
						 | 
						
							
							
							
							
								
							
							
								da5d64d71e
								
							
						 | 
						
							
							
								
								Fix missing semicolon in Windows-specific code in aigerparse.cc.
							
							
							
							
							
							
							
							Signed-off-by: William D. Jones <thor0505@comcast.net> 
							
						 | 
						
							2019-07-14 13:52:27 -04:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a314565ad4
								
							
						 | 
						
							
							
								
								Short out async box
							
							
							
							
							
						 | 
						
							2019-07-11 10:52:45 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bd198aa803
								
							
						 | 
						
							
							
								
								Missing debug message
							
							
							
							
							
						 | 
						
							2019-07-11 10:07:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f8f0ffe786
								
							
						 | 
						
							
							
								
								Small opt
							
							
							
							
							
						 | 
						
							2019-07-10 18:56:50 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								4a995c5d80
								
							
						 | 
						
							
							
								
								Change how to specify flops to ABC again
							
							
							
							
							
						 | 
						
							2019-07-10 17:54:56 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a092c48f03
								
							
						 | 
						
							
							
								
								Use split_tokens()
							
							
							
							
							
						 | 
						
							2019-07-10 17:34:51 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a31e17182d
								
							
						 | 
						
							
							
								
								Refactor and cope with new abc_flop format
							
							
							
							
							
						 | 
						
							2019-07-01 11:50:34 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ac5f3d500d
								
							
						 | 
						
							
							
								
								Fix spacing
							
							
							
							
							
						 | 
						
							2019-07-01 11:10:44 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								699d8e3939
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-07-01 10:44:42 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b3f162e94e
								
							
						 | 
						
							
							
								
								Replace log_assert() with meaningful log_error()
							
							
							
							
							
						 | 
						
							2019-06-28 12:54:44 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9398921af1
								
							
						 | 
						
							
							
								
								Refactor for one "abc_carry" attribute on module
							
							
							
							
							
						 | 
						
							2019-06-27 16:07:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								469f98b6bd
								
							
						 | 
						
							
							
								
								Remove unneeded include
							
							
							
							
							
						 | 
						
							2019-06-27 11:20:40 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f2ead4334a
								
							
						 | 
						
							
							
								
								Reduce log_debug spam in parse_xaiger()
							
							
							
							
							
						 | 
						
							2019-06-21 17:33:49 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b75863ca3f
								
							
						 | 
						
							
							
								
								Workaround issues exposed by gcc-4.8
							
							
							
							
							
						 | 
						
							2019-06-21 14:31:09 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9faeba7a66
								
							
						 | 
						
							
							
								
								Fix broken abc9.v test due to inout being 1'bx
							
							
							
							
							
						 | 
						
							2019-06-20 19:41:27 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								014606affe
								
							
						 | 
						
							
							
								
								Fix issue with part of PI being 1'bx
							
							
							
							
							
						 | 
						
							2019-06-20 17:38:16 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0c59bc0b75
								
							
						 | 
						
							
							
								
								Cleanup
							
							
							
							
							
						 | 
						
							2019-06-16 10:42:00 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fb90d8c18c
								
							
						 | 
						
							
							
								
								Cleanup
							
							
							
							
							
						 | 
						
							2019-06-16 09:34:26 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3d1185b835
								
							
						 | 
						
							
							
								
								Read init from outputs
							
							
							
							
							
						 | 
						
							2019-06-15 22:41:42 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c04921c3a8
								
							
						 | 
						
							
							
								
								Fix debug message
							
							
							
							
							
						 | 
						
							2019-06-15 18:13:44 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b706ae82de
								
							
						 | 
						
							
							
								
								Fix log_debug messages
							
							
							
							
							
						 | 
						
							2019-06-15 12:42:18 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7a3c403ba0
								
							
						 | 
						
							
							
								
								Missing close bracket
							
							
							
							
							
						 | 
						
							2019-06-15 09:10:01 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2ef2aa997c
								
							
						 | 
						
							
							
								
								read_aiger to not require clk_name for latches, plus debug
							
							
							
							
							
						 | 
						
							2019-06-15 09:07:53 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7876b5b8be
								
							
						 | 
						
							
							
								
								Cover __APPLE__ too for little to big endian
							
							
							
							
							
						 | 
						
							2019-06-14 12:40:51 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a48b5bfaa5
								
							
						 | 
						
							
							
								
								Further cleanup based on @daveshah1
							
							
							
							
							
						 | 
						
							2019-06-14 12:25:06 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								97d2656375
								
							
						 | 
						
							
							
								
								Resolve comments from @daveshah1
							
							
							
							
							
						 | 
						
							2019-06-14 12:00:02 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a3be25ab0d
								
							
						 | 
						
							
							
								
								Cleanup
							
							
							
							
							
						 | 
						
							2019-06-14 10:27:30 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d005568f2e
								
							
						 | 
						
							
							
								
								Add TODO to parse_xaiger
							
							
							
							
							
						 | 
						
							2019-06-14 10:11:13 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bc22e2e3ee
								
							
						 | 
						
							
							
								
								Optimise some more
							
							
							
							
							
						 | 
						
							2019-06-13 17:02:58 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d09d4e0706
								
							
						 | 
						
							
							
								
								Move ConstEvalAig to aigerparse.cc
							
							
							
							
							
						 | 
						
							2019-06-13 16:28:11 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d39a5a77a9
								
							
						 | 
						
							
							
								
								Add ConstEvalAig specialised for AIGs
							
							
							
							
							
						 | 
						
							2019-06-13 13:13:48 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								342fc0a600
								
							
						 | 
						
							
							
								
								parse_xaiger to cope with inouts
							
							
							
							
							
						 | 
						
							2019-06-12 15:45:46 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b21d29598a
								
							
						 | 
						
							
							
								
								Consistency
							
							
							
							
							
						 | 
						
							2019-06-12 09:40:51 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f7a9769c14
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-06-12 08:50:39 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2b350401c4
								
							
						 | 
						
							
							
								
								Fix spacing from spaces to tabs
							
							
							
							
							
						 | 
						
							2019-06-07 15:44:57 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6934f4bdd5
								
							
						 | 
						
							
							
								
								Fix spacing (entire file is wrong anyway, will fix later)
							
							
							
							
							
						 | 
						
							2019-06-07 11:30:36 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d00ae1d6a8
								
							
						 | 
						
							
							
								
								Remove unnecessary std::getline() for ASCII
							
							
							
							
							
						 | 
						
							2019-06-07 11:28:25 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |