iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #2227 from Ravenslofty/ccache	whitequark	2020-07-05	1	-0/+5
\|\
\| *	Add option to use ccache when building	Dan Ravensloft	2020-07-04	1	-0/+5
* \|	Merge pull request #2232 from YosysHQ/mwk/gowin-sim-init	Marcelina Kościelnicka	2020-07-05	1	-8/+8
\|\ \
\| * \|	gowin: Fix INIT values in sim library.	Marcelina Kościelnicka	2020-07-05	1	-8/+8
* \| \|	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	2	-0/+24
* \| \|	intel_alm: DSP inference	Dan Ravensloft	2020-07-05	7	-9/+209
* \| \|	gowin: replace determine_init with setundef	Dan Ravensloft	2020-07-04	3	-74/+1
* \| \|	synth_intel_alm: Use dfflegalize.	Marcelina Kościelnicka	2020-07-04	3	-122/+10
\|/ /
* \|	Improve MISTRAL_FF specify rules	Dan Ravensloft	2020-07-04	2	-6/+6
* \|	tests: update fsm.ys resource count	Eddie Hung	2020-07-04	1	-4/+4
* \|	abc9: only techmap (* abc9_flop *) modules	Eddie Hung	2020-07-04	1	-1/+1
* \|	intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF	Eddie Hung	2020-07-04	2	-47/+2
* \|	abc9: techmap from user design to allow abc9_flop modules to be composed	Eddie Hung	2020-07-04	1	-1/+1
* \|	intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY	Eddie Hung	2020-07-04	4	-4/+4
* \|	intel_alm: ABC9 sequential optimisations	Dan Ravensloft	2020-07-04	7	-19/+149
\|/
*	Add newlines to help text for dfflegalize	Rupert Swarbrick	2020-07-03	1	-11/+11
*	Merge pull request #2132 from YosysHQ/eddie/verific_initial	clairexen	2020-07-02	1	-17/+36
\|\
\| *	verific: rewrite initial assume/asserts prior to elaboration	Eddie Hung	2020-05-15	1	-17/+36
* \|	Merge pull request #2208 from boqwxp/qbfsat-cleanup	clairexen	2020-07-02	3	-255/+274
\|\ \
\| * \|	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	3	-248/+266
* \| \|	Merge pull request #2186 from YosysHQ/mwk/dfflegalize	clairexen	2020-07-02	20	-0/+4316
\|\ \ \
\| * \| \|	dfflegalize: Add tests.	Marcelina Kościelnicka	2020-07-01	17	-0/+2957
\| * \| \|	Add dfflegalize pass.	Marcelina Kościelnicka	2020-07-01	3	-0/+1359
* \| \| \|	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 #2195 from YosysHQ/mwk/manual-gates	clairexen	2020-07-02	1	-50/+201
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| * \| \|	Add latches to the manual.	Marcelina Kościelnicka	2020-06-26	1	-42/+165
\| * \| \|	Add a few more gate types to the manual.	Marcelina Kościelnicka	2020-06-26	1	-8/+36
* \| \| \|	Merge pull request #2203 from antmicro/fix-grammar	clairexen	2020-07-01	2	-4/+38
\|\ \ \ \
\| * \| \| \|	Add signed/unsigned tests	Kamil Rakoczy	2020-06-26	1	-0/+28
\| * \| \| \|	Parse macro call attached semicolon as empty expression	Lukasz Dalek	2020-06-26	1	-1/+1
\| * \| \| \|	Fix integer signing grammar	Lukasz Dalek	2020-06-26	1	-3/+9
* \| \| \| \|	Merge pull request #2179 from splhack/static-cast	clairexen	2020-07-01	11	-0/+135
\|\ \ \ \ \
\| * \| \| \| \|	static cast: simplify	Kazuki Sakamoto	2020-06-19	1	-0/+7
\| * \| \| \| \|	static cast: add tests	Kazuki Sakamoto	2020-06-19	5	-0/+80
\| * \| \| \| \|	static cast: support changing size and signedness	Kazuki Sakamoto	2020-06-19	6	-0/+48
* \| \| \| \| \|	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 #2136 from zachjs/master	clairexen	2020-06-30	3	-1/+81
\|\ \ \ \ \ \ \
\| * \| \| \| \| \| \|	Allow constant function calls in for loops and generate if and case	Zachary Snow	2020-06-29	3	-1/+81
\| \|/ / / / / /
* \| \| \| \| \| \|	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