iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bump version	github-actions[bot]	2022-03-31	1	-1/+1
\|
*	Merge pull request #3259 from YosysHQ/micko/verific_valgrind	Miodrag Milanović	2022-03-30	5	-8/+16
\|\ \| \| \| \|	Fix valgrind tests when using verific
\| *	Fix valgrind tests when using verific	Miodrag Milanovic	2022-03-30	5	-8/+16
\| \|
* \|	Merge pull request #3260 from YosysHQ/micko/proper_scopename	Miodrag Milanović	2022-03-30	2	-9/+4
\|\ \ \| \|/ \|/\|	Proper scope naming from FST
\| *	Proper scope naming from FST	Miodrag Milanovic	2022-03-30	2	-9/+4
\|/
*	Merge pull request #3250 from YosysHQ/micko/verific_consistent	Miodrag Milanović	2022-03-30	2	-23/+27
\|\ \| \| \| \|	Import Verific netlist in consistent order
\| *	Properly mark modules imported	Miodrag Milanovic	2022-03-26	1	-2/+2
\| \|
\| *	Import verific netlist in consistent order	Miodrag Milanovic	2022-03-25	2	-23/+27
\| \|
* \|	Bump version	github-actions[bot]	2022-03-30	1	-1/+1
\| \|
* \|	Merge pull request #3258 from jix/fix-no-assertions	Miodrag Milanović	2022-03-29	1	-0/+2
\|\ \ \| \| \| \| \| \|	smtbmc: fix bmc with no assertions
\| * \|	smtbmc: fix bmc with no assertions	Jannis Harder	2022-03-29	1	-0/+2
\|/ / \| \| \| \| \| \|	this was broken by the `--keep-going` changes
* \|	Bump version	github-actions[bot]	2022-03-29	1	-1/+1
\| \|
* \|	kernel/mem: Only use FF init in read-first emu for mem with init	Marcelina Kościelnicka	2022-03-28	1	-1/+4
\| \|
* \|	Merge pull request #3253 from jix/smtbmc-nodeepcopy	Jannis Harder	2022-03-28	1	-6/+6
\|\ \ \| \| \| \| \| \|	smtbmc: Avoid unnecessary deep copies during unrolling
\| * \|	smtbmc: Avoid unnecessary deep copies during unrolling	Jannis Harder	2022-03-28	1	-6/+6
\| \| \|
* \| \|	Merge pull request #3247 from jix/smtbmc-keepgoing	Jannis Harder	2022-03-28	1	-50/+143
\|\ \ \ \| \| \| \| \| \| \| \|	smtbmc `--keep-going`
\| * \| \|	yosys-smtbmc: Option to keep going after failed assertions in BMC mode	Jannis Harder	2022-03-24	1	-48/+141
\| \| \| \|
\| * \| \|	yosys-smtbmc: Fix typo in help text, remove trailing whitespace	Jannis Harder	2022-03-24	1	-2/+2
\| \| \| \|
* \| \| \|	Merge pull request #3194 from Ravenslofty/abc9-flow3mfs	Lofty	2022-03-28	1	-1/+7
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	abc9: add flow3mfs script
\| * \| \| \|	abc9: add flow3mfs script	Lofty	2022-02-10	1	-1/+7
\| \| \| \| \|
* \| \| \| \|	Merge pull request #3246 from YosysHQ/gatecat/timing-derive-fix	Lofty	2022-03-28	1	-5/+10
\|\ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \|	abc9_ops: Also derive blackboxes with timing info
\| * \| \| \| \|	abc9_ops: Also derive blackboxes with timing info	gatecat	2022-03-24	1	-5/+10
\| \| \|/ / / \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: gatecat <gatecat@ds0.me>
* \| \| \| \|	gowin: Add oscillator primitives	Tim Pambor	2022-03-28	1	-0/+34
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Update URL to zlib	Miodrag Milanović	2022-03-28	1	-1/+1
\| \| \| \|
* \| \| \|	Bump version	github-actions[bot]	2022-03-26	1	-1/+1
\| \| \| \|
* \| \| \|	Add some more reserve calls to RTLIL::Const	NotAFile	2022-03-25	1	-0/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This results in a slight ~0.22% total speedup synthesizing vexriscv
* \| \| \|	Merge pull request #3249 from YosysHQ/micko/no_startoffset	Miodrag Milanović	2022-03-25	1	-8/+17
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|	Add -no-startoffset option to write_aiger
\| * \| \|	Add -no-startoffset option to write_aiger	Miodrag Milanovic	2022-03-25	1	-8/+17
\|/ / /
* \| \|	Bump version	github-actions[bot]	2022-03-25	1	-1/+1
\| \| \|
* \| \|	Merge pull request #3243 from nakengelhardt/fix_aiw_comment	Miodrag Milanović	2022-03-24	1	-1/+1
\|\ \ \ \| \|/ / \|/\| \|	smtbmc: ignore # comment lines
\| * \|	ignore # comment lines	N. Engelhardt	2022-03-24	1	-1/+1
\|/ /
* \|	Bump version	github-actions[bot]	2022-03-23	1	-1/+1
\| \|
* \|	Update abc with latest fix	Miodrag Milanovic	2022-03-22	1	-1/+1
\| \|
* \|	Proper SigBit forming in sim	Miodrag Milanovic	2022-03-22	1	-4/+4
\| \|
* \|	Proper SigBit forming in sim	Miodrag Milanovic	2022-03-22	1	-4/+4
\| \|
* \|	Bump version	github-actions[bot]	2022-03-22	1	-1/+1
\| \|
* \|	xilinx: Add RAMB4* blackboxes	Marcelina Kościelnicka	2022-03-21	2	-1/+695
\| \|
* \|	Bump version	github-actions[bot]	2022-03-19	1	-1/+1
\| \|
* \|	More verbose warnings	Miodrag Milanovic	2022-03-18	2	-6/+9
\| \|
* \|	Merge pull request #3236 from YosysHQ/micko/tb_initial	Miodrag Milanović	2022-03-17	3	-6/+34
\|\ \ \| \| \| \| \| \|	Recognize registers and set initial state for them in tb
\| * \|	Recognize registers and set initial state for them in tb	Miodrag Milanovic	2022-03-16	3	-6/+34
\| \| \|
* \| \|	Bump version	github-actions[bot]	2022-03-17	1	-1/+1
\|/ /
* \|	Update sim help message.	Miodrag Milanovic	2022-03-16	1	-1/+2
\| \|
* \|	Bump version	github-actions[bot]	2022-03-15	1	-1/+1
\| \|
* \|	gowin: add support for Double Data Rate primitives	YRabbit	2022-03-14	1	-0/+25
\| \| \| \| \| \| \| \|	Signed-off-by: YRabbit <rabbit@yrabbit.cyou>
* \|	Merge pull request #3232 from YosysHQ/micko/fst2tb	Miodrag Milanović	2022-03-14	1	-0/+319
\|\ \ \| \| \| \| \| \|	Added fst2tb pass for generating testbench
\| * \|	Added fst2tb pass for generating testbench	Miodrag Milanovic	2022-03-14	1	-0/+319
\| \| \|
* \| \|	Merge pull request #3213 from antonblanchard/abc-typo	Claire Xen	2022-03-14	1	-2/+2
\|\ \ \ \| \|/ / \|/\| \|	abc: Fix {I} and {P} substitution
\| * \|	abc: Fix {I} and {P} substitution	Anton Blanchard	2022-02-23	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \|	We were searching for {D} after the first match of {I} or {P}.
* \| \|	Proper example code	Miodrag Milanovic	2022-03-14	2	-1/+3
\| \| \|