Marcelina Kościelnicka
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								34d2fbd2f9
								
							
						 | 
						
							
							
								
								Add opt_lut_ins pass. (#1673)
							
							
							
							
							
						 | 
						
							2020-02-03 14:57:17 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rodrigo Alejandro Melo
								
							 
						 | 
						
							
							
							
							
								
							
							
								313a425bd5
								
							
						 | 
						
							
							
								
								Merge branch 'master' of https://github.com/YosysHQ/yosys
							
							
							
							
							
							
							
							Solved a conflict into the CHANGELOG
Signed-off-by: Rodrigo Alejandro Melo <rmelo@inti.gob.ar> 
							
						 | 
						
							2020-02-03 10:56:41 -03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								ebe1d7d5ab
								
							
						 | 
						
							
							
								
								sv: More tests for wildcard port connections
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2020-02-02 16:12:33 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								7e741714df
								
							
						 | 
						
							
							
								
								hierarchy: Correct handling of wildcard port connections with default values
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2020-02-02 16:12:33 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								a210675d71
								
							
						 | 
						
							
							
								
								sv: Add tests for wildcard port connections
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2020-02-02 16:12:33 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rodrigo Alejandro Melo
								
							 
						 | 
						
							
							
							
							
								
							
							
								8217f579b7
								
							
						 | 
						
							
							
								
								Removed 'synth' into tests/memfile/run-test.sh
							
							
							
							
							
							
							
							Signed-off-by: Rodrigo Alejandro Melo <rodrigomelo9@gmail.com> 
							
						 | 
						
							2020-02-02 12:34:27 -03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rodrigo Alejandro Melo
								
							 
						 | 
						
							
							
							
							
								
							
							
								9b49f1bc46
								
							
						 | 
						
							
							
								
								Added content1.dat into tests/memfile
							
							
							
							
							
							
							
							Modified run-test.sh to use it.
Signed-off-by: Rodrigo Alejandro Melo <rodrigomelo9@gmail.com> 
							
						 | 
						
							2020-02-02 12:18:34 -03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								9f5613100b
								
							
						 | 
						
							
							
								
								Merge pull request #1647 from YosysHQ/dave/sprintf
							
							
							
							
							
							
							
							ast: Add support for $sformatf system function 
							
						 | 
						
							2020-02-02 14:53:46 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rodrigo Alejandro Melo
								
							 
						 | 
						
							
							
							
							
								
							
							
								eaaba6e091
								
							
						 | 
						
							
							
								
								Added tests/memfile to 'make test' with an extra testcase
							
							
							
							
							
							
							
							Signed-off-by: Rodrigo Alejandro Melo <rodrigomelo9@gmail.com> 
							
						 | 
						
							2020-02-01 22:44:06 -03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rodrigo Alejandro Melo
								
							 
						 | 
						
							
							
							
							
								
							
							
								43396fae2c
								
							
						 | 
						
							
							
								
								Added a test for the Memory Content File inclusion using $readmemb
							
							
							
							
							
							
							
							Signed-off-by: Rodrigo Alejandro Melo <rodrigomelo9@gmail.com> 
							
						 | 
						
							2020-02-01 17:41:10 -03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								136842b1ef
								
							
						 | 
						
							
							
								
								Merge branch 'master' into eddie/submod_po
							
							
							
							
							
						 | 
						
							2020-02-01 02:14:19 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Miodrag Milanović
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								71d148bcaa
								
							
						 | 
						
							
							
								
								Merge pull request #1559 from YosysHQ/efinix_test_fix
							
							
							
							
							
							
							
							Fix for non-deterministic test 
							
						 | 
						
							2020-01-29 11:18:06 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d004953772
								
							
						 | 
						
							
							
								
								Add "help -all" and "help -celltypes" sanity test
							
							
							
							
							
						 | 
						
							2020-01-28 18:11:34 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a855f23f22
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into eddie/opt_merge_init
							
							
							
							
							
						 | 
						
							2020-01-28 12:46:18 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								7939727d14
								
							
						 | 
						
							
							
								
								Merge pull request #1660 from YosysHQ/eddie/abc9_unpermute_luts
							
							
							
							
							
							
							
							Unpermute LUT ordering for ice40/ecp5/xilinx 
							
						 | 
						
							2020-01-28 11:55:51 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Miodrag Milanovic
								
							 
						 | 
						
							
							
							
							
								
							
							
								94191a93dd
								
							
						 | 
						
							
							
								
								Updated test to use assert-max
							
							
							
							
							
						 | 
						
							2020-01-28 18:26:10 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Claire Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								4ddaa70fd6
								
							
						 | 
						
							
							
								
								Merge pull request #1567 from YosysHQ/eddie/sat_init_warning
							
							
							
							
							
							
							
							sat: suppress 'Warning: ignoring initial value on non-register: ...' when init[i] = 1'bx 
							
						 | 
						
							2020-01-28 17:40:28 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									N. Engelhardt
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								086c133ea5
								
							
						 | 
						
							
							
								
								Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
							
							
							
							
							
							
							
							synth_xilinx: error out if tristate without '-iopad' 
							
						 | 
						
							2020-01-28 17:24:54 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								cfb0366a18
								
							
						 | 
						
							
							
								
								Import tests from #1628
							
							
							
							
							
						 | 
						
							2020-01-27 13:56:16 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								48f3f5213e
								
							
						 | 
						
							
							
								
								Merge pull request #1619 from YosysHQ/eddie/abc9_refactor
							
							
							
							
							
							
							
							Refactor `abc9` pass 
							
						 | 
						
							2020-01-27 13:29:15 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								af8281d2f5
								
							
						 | 
						
							
							
								
								Merge pull request #1656 from YosysHQ/eddie/ice40_abc9_warnings
							
							
							
							
							
							
							
							ice40: reduce ABC9 internal fanout warnings with a param for CI->I3 
							
						 | 
						
							2020-01-27 09:54:04 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b178761551
								
							
						 | 
						
							
							
								
								ice40: reduce ABC9 internal fanout warnings with a param for CI->I3
							
							
							
							
							
						 | 
						
							2020-01-24 11:59:48 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2d795fb8c0
								
							
						 | 
						
							
							
								
								simple_abc9 tests to discard whitebox before write for sim
							
							
							
							
							
						 | 
						
							2020-01-23 22:07:43 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								dca1c806ec
								
							
						 | 
						
							
							
								
								simple_abc9 tests to discard whitebox before write for sim
							
							
							
							
							
						 | 
						
							2020-01-23 19:55:11 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e471b330ac
								
							
						 | 
						
							
							
								
								abc_box_id -> abc9_box_id in test
							
							
							
							
							
						 | 
						
							2020-01-23 19:12:19 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								11e50c0e9e
								
							
						 | 
						
							
							
								
								Test for (* keep *)-ed abc9_box_id
							
							
							
							
							
						 | 
						
							2020-01-23 18:56:25 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								48aec34e0d
								
							
						 | 
						
							
							
								
								abc_box_id -> abc9_box_id in test
							
							
							
							
							
						 | 
						
							2020-01-23 18:53:14 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5aaa19f1ab
								
							
						 | 
						
							
							
								
								Update tests with reduced area
							
							
							
							
							
						 | 
						
							2020-01-21 16:50:04 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3d9737c1bd
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
							
							
							
							
							
						 | 
						
							2020-01-21 16:27:40 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8d1b736c4f
								
							
						 | 
						
							
							
								
								Move from +/shiftx2mux.v into +/techmap.v; cleanup
							
							
							
							
							
						 | 
						
							2020-01-21 15:19:41 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7977574995
								
							
						 | 
						
							
							
								
								New techmap +/shiftx2mux.v which decomposes LSB first; better for ABC
							
							
							
							
							
						 | 
						
							2020-01-21 15:19:41 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								cd8f55a911
								
							
						 | 
						
							
							
								
								write_xaiger: fix for (* keep *) on flop output
							
							
							
							
							
						 | 
						
							2020-01-21 09:43:04 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								22c967e35e
								
							
						 | 
						
							
							
								
								ast: Add support for $sformatf system function
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2020-01-19 21:20:17 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6a163b5ddd
								
							
						 | 
						
							
							
								
								xilinx_dsp: another typo; move xilinx specific test
							
							
							
							
							
						 | 
						
							2020-01-17 17:07:03 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								db68e4c2a7
								
							
						 | 
						
							
							
								
								ice40_dsp: fix typo
							
							
							
							
							
						 | 
						
							2020-01-17 16:08:04 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5507c328ff
								
							
						 | 
						
							
							
								
								Add #1644 testcase
							
							
							
							
							
						 | 
						
							2020-01-17 15:57:52 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ad6c49fff1
								
							
						 | 
						
							
							
								
								ice40_dsp: add test
							
							
							
							
							
						 | 
						
							2020-01-17 15:38:26 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Jeff Wang
								
							 
						 | 
						
							
							
							
							
								
							
							
								8ef5c7d48c
								
							
						 | 
						
							
							
								
								scoped enum tests
							
							
							
							
							
						 | 
						
							2020-01-16 18:13:30 -05:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Jeff Wang
								
							 
						 | 
						
							
							
							
							
								
							
							
								caf35896da
								
							
						 | 
						
							
							
								
								enum in package test
							
							
							
							
							
						 | 
						
							2020-01-16 18:09:03 -05:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Jeff Wang
								
							 
						 | 
						
							
							
							
							
								
							
							
								febe7706a2
								
							
						 | 
						
							
							
								
								simple enum test
							
							
							
							
							
						 | 
						
							2020-01-16 18:09:03 -05:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2245afa142
								
							
						 | 
						
							
							
								
								More rigorous test
							
							
							
							
							
						 | 
						
							2020-01-16 09:15:42 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								03ce2c72bb
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
							
							
							
							
							
						 | 
						
							2020-01-15 16:42:16 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5918ede9bd
								
							
						 | 
						
							
							
								
								abc9: aAdd test to check $_NOT_s are absorbed
							
							
							
							
							
						 | 
						
							2020-01-15 14:36:05 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e30b6bbbf8
								
							
						 | 
						
							
							
								
								clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
							
							
							
							
							
						 | 
						
							2020-01-15 09:51:31 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								53a99ade9c
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
							
							
							
							
							
						 | 
						
							2020-01-14 11:46:56 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								61ffd2d199
								
							
						 | 
						
							
							
								
								Merge pull request #1633 from YosysHQ/eddie/fix_autoname
							
							
							
							
							
							
							
							autoname: do not rename ports 
							
						 | 
						
							2020-01-14 11:40:54 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								9fa0e03cc9
								
							
						 | 
						
							
							
								
								Merge pull request #1632 from YosysHQ/eddie/fix1630
							
							
							
							
							
							
							
							read_aiger: uniquify wires with $aiger<autoidx> prefix 
							
						 | 
						
							2020-01-14 11:40:40 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Miodrag Milanović
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								9fbeb57bbd
								
							
						 | 
						
							
							
								
								Merge pull request #1623 from YosysHQ/mmicko/edif_attr
							
							
							
							
							
							
							
							Export wire properties in EDIF 
							
						 | 
						
							2020-01-14 19:19:32 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								00964e999d
								
							
						 | 
						
							
							
								
								autoname: add testcase with $-prefix-ed port
							
							
							
							
							
						 | 
						
							2020-01-14 10:13:03 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								565d349dc9
								
							
						 | 
						
							
							
								
								Add #1630 testcase
							
							
							
							
							
						 | 
						
							2020-01-13 21:27:53 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |