iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	proc_dlatch: Remove init values for combinatorial processes.	Marcelina Kościelnicka	2020-07-12	1	-0/+33
*	dfflegalize: Gather init values from all wires.	Marcelina Kościelnicka	2020-07-12	1	-1/+1
*	dfflibmap: Refactor to use dfflegalize internally.	Marcelina Kościelnicka	2020-07-09	1	-211/+78
*	clkbufmap: improve input pad handling.	Marcelina Kościelnicka	2020-07-09	1	-17/+39
*	clk2fflogic: Consistently treat async control signals as negative hold.	Marcelina Kościelnicka	2020-07-09	1	-57/+51
*	dfflegalize: Add special support for const-D latches.	Marcelina Kościelnicka	2020-07-09	1	-0/+18
*	dfflegalize: typo fix	Marcelina Kościelnicka	2020-07-07	1	-1/+1
*	Naming fixes.	Marcelina Kościelnicka	2020-07-05	2	-2/+2
*	dfflegalize: Prefer mapping dff to sdff before adff	Marcelina Kościelnicka	2020-07-05	1	-1/+1
*	opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.	Marcelina Kościelnicka	2020-07-05	1	-0/+8
*	abc9: only techmap (* abc9_flop *) modules	Eddie Hung	2020-07-04	1	-1/+1
*	abc9: techmap from user design to allow abc9_flop modules to be composed	Eddie Hung	2020-07-04	1	-1/+1
*	Add newlines to help text for dfflegalize	Rupert Swarbrick	2020-07-03	1	-11/+11
*	Merge pull request #2208 from boqwxp/qbfsat-cleanup	clairexen	2020-07-02	2	-255/+273
\|\
\| *	qbfsat: Remove useless comment and #ifndef guards.	Alberto Gonzalez	2020-07-01	1	-5/+0
\| *	qbfsat: Specify default values for some options in the help message.	Alberto Gonzalez	2020-07-01	1	-0/+2
\| *	qbfsat: Clean up external executable command lines and update temporary direc...	Alberto Gonzalez	2020-07-01	1	-3/+7
\| *	qbfsat: Clean up and refactor data structures into `qbfsat.h`.	Alberto Gonzalez	2020-07-01	2	-248/+265
* \|	Merge pull request #2186 from YosysHQ/mwk/dfflegalize	clairexen	2020-07-02	2	-0/+1357
\|\ \
\| * \|	Add dfflegalize pass.	Marcelina Kościelnicka	2020-07-01	2	-0/+1357
* \| \|	Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff	clairexen	2020-07-02	1	-2/+1
\|\ \ \
\| * \| \|	fmcombine: use the master ff cell type list	Marcelina Kościelnicka	2020-06-30	1	-2/+1
\| \|/ /
* \| \|	Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge	clairexen	2020-07-02	1	-3/+1
\|\ \ \ \| \|_\|/ \|/\| \|
\| * \|	opt_merge: use the master FF type list	Marcelina Kościelnicka	2020-06-30	1	-3/+1
\| \|/
* \|	Merge pull request #2138 from boqwxp/qbfsat-oflag	clairexen	2020-07-01	1	-16/+47
\|\ \
\| * \|	qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.	Alberto Gonzalez	2020-06-30	1	-16/+47
* \| \|	Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization	clairexen	2020-07-01	1	-2/+24
\|\ \ \
\| * \| \|	qbfsat: Fix name-based hole specialization.	Alberto Gonzalez	2020-06-30	1	-2/+24
\| \|/ /
* \| \|	Merge pull request #2199 from YosysHQ/mmicko/sim_memory	clairexen	2020-06-30	1	-1/+4
\|\ \ \
\| * \| \|	sim - error when memrd and memwr detected	Miodrag Milanovic	2020-06-29	1	-1/+4
* \| \| \|	Merge pull request #2201 from YosysHQ/fix_test_cell_ilang	clairexen	2020-06-30	1	-2/+2
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|
\| * \| \|	Use ID macro to fix assertion	Miodrag Milanovic	2020-06-29	1	-2/+2
\| \|/ /
* \| /	techmap: don't drop attributes on replaced cells.	whitequark	2020-06-29	1	-2/+3
\| \|/ \|/\|
* \|	Merge pull request #2200 from YosysHQ/mmicko/fix_expose	Miodrag Milanović	2020-06-29	1	-7/+23
\|\ \
\| * \|	Give error that options are exclusive	Miodrag Milanovic	2020-06-29	1	-2/+6
\| * \|	cleanup	Miodrag Milanovic	2020-06-29	1	-12/+13
\| * \|	expose pass fix	Miodrag Milanovic	2020-06-29	1	-5/+16
\| \|/
* /	test_cell: don't generate directional shifts with \B_SIGNED=1	Xiretza	2020-06-28	1	-0/+4
\|/
*	Merge pull request #2168 from whitequark/assert-unused-exprs	clairexen	2020-06-25	5	-20/+20
\|\
\| *	Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).	whitequark	2020-06-19	1	-10/+10
\| *	Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().	whitequark	2020-06-19	4	-10/+10
* \|	Merge pull request #2135 from boqwxp/qbfsat-timeinfo	clairexen	2020-06-25	1	-1/+6
\|\ \
\| * \|	log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...	Alberto Gonzalez	2020-06-21	1	-1/+6
* \| \|	Merge pull request #2093 from boqwxp/qbfsat-bugfixes	clairexen	2020-06-25	1	-86/+136
\|\\| \|
\| * \|	qbfsat: Simplify solution recovery parsing and tweak the solution regexes.	Alberto Gonzalez	2020-06-21	1	-22/+12
\| * \|	qbfsat: Avoid instantiating `AttrObject`s directly.	Alberto Gonzalez	2020-06-21	1	-9/+6
\| * \|	qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...	Alberto Gonzalez	2020-06-21	1	-19/+37
\| * \|	qbfsat: Fixes three bugs.	Alberto Gonzalez	2020-06-21	1	-5/+17
\| * \|	qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...	Alberto Gonzalez	2020-06-21	1	-80/+113
\| \|/
* \|	simplemap: Fix $dffsre mapping.	Marcelina Kościelnicka	2020-06-23	1	-1/+1