Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fc5fda595d
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-04-16 13:15:53 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								afcb86c3d1
								
							
						 | 
						
							
							
								
								abc9 to call "setundef -zero" behaving as for abc
							
							
							
							
							
						 | 
						
							2019-04-16 13:10:13 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								98c297fabf
								
							
						 | 
						
							
							
								
								ABC to read_box before reading netlist
							
							
							
							
							
						 | 
						
							2019-04-16 12:44:10 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b89bb74452
								
							
						 | 
						
							
							
								
								For 'stat' do not count modules with abc_box_id
							
							
							
							
							
						 | 
						
							2019-04-16 11:19:54 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a2b106135b
								
							
						 | 
						
							
							
								
								Do not call abc on modules with abc_box_id attr
							
							
							
							
							
						 | 
						
							2019-04-16 11:19:42 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								538592067e
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-04-15 22:04:20 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0391499e46
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-15 21:56:45 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								b3378745fd
								
							
						 | 
						
							
							
								
								Revert "Recognise default entry in case even if all cases covered (fix for #931)"
							
							
							
							
							
						 | 
						
							2019-04-15 17:52:45 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9bfcd80063
								
							
						 | 
						
							
							
								
								Handle __dummy_o__ and __const[01]__ in read_aiger not abc
							
							
							
							
							
						 | 
						
							2019-04-12 18:21:16 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								482a60825b
								
							
						 | 
						
							
							
								
								abc to ignore __dummy_o__ and __const[01]__ when re-integrating
							
							
							
							
							
						 | 
						
							2019-04-12 18:16:50 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								88d43a519b
								
							
						 | 
						
							
							
								
								Use -map instead of -symbols for aiger
							
							
							
							
							
						 | 
						
							2019-04-12 16:29:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								941365b4bb
								
							
						 | 
						
							
							
								
								Comment out
							
							
							
							
							
						 | 
						
							2019-04-12 12:29:04 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								04e466d5e4
								
							
						 | 
						
							
							
								
								Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
							
							
							
							
							
						 | 
						
							2019-04-12 12:28:37 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f77da46a87
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-12 12:21:48 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								53513c52df
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux
							
							
							
							
							
						 | 
						
							2019-04-11 16:21:01 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f587950bde
								
							
						 | 
						
							
							
								
								More unused
							
							
							
							
							
						 | 
						
							2019-04-11 16:20:43 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								35181a7866
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux
							
							
							
							
							
						 | 
						
							2019-04-11 16:18:45 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b15b410b41
								
							
						 | 
						
							
							
								
								Remove unused
							
							
							
							
							
						 | 
						
							2019-04-11 16:18:01 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b1f1db2fcf
								
							
						 | 
						
							
							
								
								Fixes
							
							
							
							
							
						 | 
						
							2019-04-11 16:17:09 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e8c26f2839
								
							
						 | 
						
							
							
								
								WIP
							
							
							
							
							
						 | 
						
							2019-04-11 15:52:04 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								09e7eb7aed
								
							
						 | 
						
							
							
								
								Spelling fixes
							
							
							
							
							
						 | 
						
							2019-04-11 15:09:13 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								adc6efb584
								
							
						 | 
						
							
							
								
								Recognise default entry in case even if all cases covered (#931)
							
							
							
							
							
						 | 
						
							2019-04-11 12:34:51 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d536379c62
								
							
						 | 
						
							
							
								
								Add "-lut <file>" support to abc9
							
							
							
							
							
						 | 
						
							2019-04-09 14:31:31 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7e304c362b
								
							
						 | 
						
							
							
								
								Add "-box" option to abc9
							
							
							
							
							
						 | 
						
							2019-04-09 10:58:06 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bd523abef5
								
							
						 | 
						
							
							
								
								Add 'setundef -zero' call prior to aigmap in abc9
							
							
							
							
							
						 | 
						
							2019-04-09 10:32:58 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3b6f85b0a6
								
							
						 | 
						
							
							
								
								Comment out
							
							
							
							
							
						 | 
						
							2019-04-09 10:09:43 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3fc474aa73
								
							
						 | 
						
							
							
								
								Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
							
							
							
							
							
						 | 
						
							2019-04-09 10:06:44 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								0deaccbaae
								
							
						 | 
						
							
							
								
								Fix a few typos
							
							
							
							
							
						 | 
						
							2019-04-08 16:46:33 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								12c34136ba
								
							
						 | 
						
							
							
								
								More space fixing
							
							
							
							
							
						 | 
						
							2019-04-08 16:40:17 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bca3cf6843
								
							
						 | 
						
							
							
								
								Merge branch 'master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-08 16:31:59 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								2bf3ca6443
								
							
						 | 
						
							
							
								
								memory_bram: Fix multiport make_transp
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2019-04-07 16:56:31 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								75ca06526a
								
							
						 | 
						
							
							
								
								Added missing argument checking to "mutate" command
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-04 18:10:10 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Sylvain Munaut
								
							 
						 | 
						
							
							
							
							
								
							
							
								39380c45ba
								
							
						 | 
						
							
							
								
								proc_mux: Fix crash when trying to optimize non-existant mux to shiftx
							
							
							
							
							
							
							
							last_mux_cell can be NULL ...
Signed-off-by: Sylvain Munaut <tnt@246tNt.com> 
							
						 | 
						
							2019-04-03 14:50:12 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								6acbc016f4
								
							
						 | 
						
							
							
								
								memory_bram: Consider read enable for address expansion register
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2019-04-02 19:47:50 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								aaa2690a56
								
							
						 | 
						
							
							
								
								Merge pull request #895 from YosysHQ/pmux2shiftx
							
							
							
							
							
							
							
							RFC: Add a pmux-to-shiftx optimisation to proc_mux 
							
						 | 
						
							2019-04-02 00:16:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								32bd0f22ec
								
							
						 | 
						
							
							
								
								Merge pull request #901 from trcwm/libertyfixes
							
							
							
							
							
							
							
							Libertyfixes: accept superfluous ; at end of group. 
							
						 | 
						
							2019-03-28 09:32:05 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								662429cc49
								
							
						 | 
						
							
							
								
								Merge pull request #903 from YosysHQ/bram_reset_transp
							
							
							
							
							
							
							
							memory_bram: Reset make_transp when growing read ports 
							
						 | 
						
							2019-03-28 09:30:48 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								60594ad40c
								
							
						 | 
						
							
							
								
								memory_bram: Reset make_transp when growing read ports
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2019-03-27 17:19:14 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Niels Moseley
								
							 
						 | 
						
							
							
							
							
								
							
							
								263ab60b43
								
							
						 | 
						
							
							
								
								Liberty file parser now accepts superfluous ;
							
							
							
							
							
						 | 
						
							2019-03-27 15:17:58 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Niels Moseley
								
							 
						 | 
						
							
							
							
							
								
							
							
								487cb45b87
								
							
						 | 
						
							
							
								
								Liberty file parser now accepts superfluous ;
							
							
							
							
							
						 | 
						
							2019-03-27 15:15:53 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								2c7fe42ad1
								
							
						 | 
						
							
							
								
								Add "rename -output"
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-03-27 13:47:42 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								d351b7cb99
								
							
						 | 
						
							
							
								
								Improve "rename" help message
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-03-27 13:33:26 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								38b3fbd3f0
								
							
						 | 
						
							
							
								
								Add "cutpoint -undef"
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-03-26 16:01:14 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								d0b9b1bece
								
							
						 | 
						
							
							
								
								Add "hdlname" attribute
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-03-26 14:52:48 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								ddc1a4488e
								
							
						 | 
						
							
							
								
								Add "cutpoint" pass
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-03-25 19:49:00 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b7a3d35c6b
								
							
						 | 
						
							
							
								
								Create one $shiftx per bit in width
							
							
							
							
							
						 | 
						
							2019-03-25 11:16:56 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								9ec50ca7b9
								
							
						 | 
						
							
							
								
								Merge pull request #896 from YosysHQ/transp_fixes
							
							
							
							
							
							
							
							memory_bram: Fix multiclock make_transp 
							
						 | 
						
							2019-03-25 14:55:16 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Niels Moseley
								
							 
						 | 
						
							
							
							
							
								
							
							
								1f7f54e68e
								
							
						 | 
						
							
							
								
								spaces -> tabs
							
							
							
							
							
						 | 
						
							2019-03-25 14:12:04 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Niels Moseley
								
							 
						 | 
						
							
							
							
							
								
							
							
								9d9cc8a314
								
							
						 | 
						
							
							
								
								EOL is now accepted as ';' replacement on lines that look like: feature_xyz(option)
							
							
							
							
							
						 | 
						
							2019-03-25 12:15:10 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Niels Moseley
								
							 
						 | 
						
							
							
							
							
								
							
							
								3b3b77291a
								
							
						 | 
						
							
							
								
								Updated the liberty parser to accept [A:B] ranges (AST has not been updated). Liberty parser now also accepts key : value pair lines that do not end in ';'.
							
							
							
							
							
						 | 
						
							2019-03-24 22:54:18 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |