iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	tests: tidy up testcase	Eddie Hung	2020-06-03	1	-3/+0
*	abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires from toposort	Eddie Hung	2020-05-25	1	-2/+4
*	xaiger: promote abc9_keep wires	Eddie Hung	2020-05-25	1	-1/+1
*	tests: add ecp5 latch testcase with -abc9	Eddie Hung	2020-05-25	1	-0/+16
*	Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy	Eddie Hung	2020-05-25	3	-13/+15
\|\
\| *	tests: xilinx macc test to have initval, shorten BMC depth for runtime	Eddie Hung	2020-05-25	2	-8/+8
\| *	xilinx: tidy up cells_sim.v a little	Eddie Hung	2020-05-25	1	-5/+7
* \|	Merge pull request #2044 from YosysHQ/eddie/fix2037	Eddie Hung	2020-05-25	2	-20/+85
\|\ \ \| \|/ \|/\|
\| *	verilog: move attr from simple_behav_stmt to its children to attach	Eddie Hung	2020-05-25	1	-13/+17
\| *	test: add attribute-before-stmt test from @nakengelhardt	Eddie Hung	2020-05-25	1	-0/+15
\| *	verilog: do not warn for attributes on null statements	Eddie Hung	2020-05-25	2	-6/+4
\| *	tests: add an generate-else test too	Eddie Hung	2020-05-25	1	-0/+34
\| *	verilog: handle empty generate statement by removing gen_stmt_or_null...	Eddie Hung	2020-05-25	1	-7/+8
\| *	verilog: fix #2037 by permitting (and freeing) attributes on null stmt	Eddie Hung	2020-05-25	1	-1/+5
\| *	tests: add #2037 testcase	Eddie Hung	2020-05-25	1	-0/+9
\|/
*	Merge pull request #2015 from boqwxp/qbfsat-bisection	clairexen	2020-05-25	1	-98/+207
\|\
\| *	qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4c...	Alberto Gonzalez	2020-05-23	1	-11/+0
\| *	qbfsat: Add bisection mode and make it the default.	Alberto Gonzalez	2020-05-23	1	-87/+207
* \|	Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanup	Eddie Hung	2020-05-24	2	-7/+14
\|\ \
\| * \|	xaiger: add testcase	Eddie Hung	2020-05-24	1	-0/+13
\| * \|	xaiger: do not derive cells	Eddie Hung	2020-05-24	1	-7/+1
* \| \|	Merge pull request #2074 from YosysHQ/eddie/ecp5_cleanup	Eddie Hung	2020-05-23	3	-14/+0
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	ecp5: cleanup unused +/ecp5/abc9_model.v	Eddie Hung	2020-05-23	3	-14/+0
\|/ /
* \|	Merge pull request #2072 from whitequark/cxxrtl-dont-purge	whitequark	2020-05-22	1	-8/+2
\|\ \
\| * \|	cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level.	whitequark	2020-05-22	1	-8/+2
* \| \|	abc9_ops: update comment	Eddie Hung	2020-05-21	1	-1/+1
* \| \|	Merge pull request #2057 from YosysHQ/eddie/fix_task_attr	Eddie Hung	2020-05-21	2	-11/+37
\|\ \ \
\| * \| \|	Update frontends/verilog/verilog_parser.y	Eddie Hung	2020-05-21	1	-1/+1
\| * \| \|	verilog: attributes before task enable (but 13 s/r conflicts)	Eddie Hung	2020-05-14	1	-10/+8
\| * \| \|	tests: attributes before task enable	Eddie Hung	2020-05-14	1	-0/+28
* \| \| \|	Merge pull request #2059 from boqwxp/logger-vector-to-dict	Miodrag Milanović	2020-05-21	3	-51/+21
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| * \| \|	log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, w...	Alberto Gonzalez	2020-05-15	3	-51/+21
* \| \| \|	Merge pull request #2046 from PeterCrozier/trap	N. Engelhardt	2020-05-20	1	-3/+3
\|\ \ \ \
\| * \| \| \|	Consolidate Linux and Mac version of YS_DEBUGTRAP_IF_DEBUGGING.	Peter Crozier	2020-05-13	1	-5/+2
\| * \| \| \|	Extend YS_DEBUGTRAP to MacOS.	Peter Crozier	2020-05-13	1	-1/+4
\| \| \|/ / \| \|/\| \|
* \| \| \|	Merge pull request #2054 from boqwxp/fix-smtbmc	N. Engelhardt	2020-05-20	1	-3/+3
\|\ \ \ \
\| * \| \| \|	smtbmc: Fix typo in error message.	Alberto Gonzalez	2020-05-19	1	-1/+1
\| * \| \| \|	smtbmc: Fix return status handling.	Alberto Gonzalez	2020-05-14	1	-2/+2
* \| \| \| \|	Add force_downto and force_upto wire attributes.	Marcelina Kościelnicka	2020-05-19	43	-27/+258
* \| \| \| \|	Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff	Eddie Hung	2020-05-18	34	-1853/+1656
\|\ \ \ \ \
\| * \| \| \| \|	abc9: use (* abc9_keep ) instead of ( abc9_scc *); apply to $_DFF_?_	Eddie Hung	2020-05-14	5	-23/+11
\| * \| \| \| \|	abc9_ops: -prep_hier to create unmap module that removes Q's (* init *)	Eddie Hung	2020-05-14	1	-4/+6
\| * \| \| \| \|	abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it	Eddie Hung	2020-05-14	4	-25/+13
\| * \| \| \| \|	Fix broken test when ignoring abc9_flop with init == 1'b1	Eddie Hung	2020-05-14	1	-3/+0
\| * \| \| \| \|	abc9_ops/xaiger: further reducing Module::derive() calls by ...	Eddie Hung	2020-05-14	4	-135/+121
\| * \| \| \| \|	Cleanup; reduce Module::derive() calls	Eddie Hung	2020-05-14	4	-153/+164
\| * \| \| \| \|	ecp5: latches_map.v if not -asyncprld	Eddie Hung	2020-05-14	1	-2/+2
\| * \| \| \| \|	ecp5: synth_ecp5 to no longer need +/ecp5/abc9_{,un}map.v	Eddie Hung	2020-05-14	4	-43/+3
\| * \| \| \| \|	ecp5: fix rebase mistake	Eddie Hung	2020-05-14	1	-3/+3
\| * \| \| \| \|	abc9: update to =_$abc9_flops pattern which includes whiteboxes	Eddie Hung	2020-05-14	1	-3/+3