iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	gatemate: Add test for LUT tree mapping	gatecat	2022-06-27	3	-0/+813
\| \| \| \|	Signed-off-by: gatecat <gatecat@ds0.me>
*	gatemate: Add LUT tree library script	gatecat	2022-06-27	6	-6/+591
\| \| \| \| \|	Co-authored-by: Claire Xenia Wolf <claire@clairexen.net> Signed-off-by: gatecat <gatecat@ds0.me>
*	gatemate: Add preliminary sim models for LUT tree structures	gatecat	2022-06-27	1	-0/+44
\| \| \| \|	Signed-off-by: gatecat <gatecat@ds0.me>
*	Bump version	github-actions[bot]	2022-06-22	1	-1/+1
\|
*	Adding expected error message.	Archie	2022-06-22	1	-0/+1
\|
*	Adding testcase for issue 3374	Archie	2022-06-22	1	-0/+3
\|
*	Add check for BLIF with no model name	Archie	2022-06-22	1	-1/+4
\|
*	Revert "use new verific extensions library"	Miodrag Milanovic	2022-06-21	1	-70/+54
\| \| \| \|	This reverts commit 607e957657fc56625de5c28ea9cd43c859017d96.
*	Merge pull request #3387 from ekiwi/btor-pos-cell	Jannis Harder	2022-06-21	1	-8/+11
\|\ \| \| \| \|	btor: add support for $pos cell
\| *	btor: add support for $pos cell	Kevin Läufer	2022-06-20	1	-8/+11
\| \|
* \|	Bump version	github-actions[bot]	2022-06-21	1	-1/+1
\|/
*	codeowners: adopt ABC9 and update intel_alm username	Lofty	2022-06-20	1	-2/+2
\|
*	Bump version	github-actions[bot]	2022-06-18	1	-1/+1
\|
*	Merge pull request #3383 from jix/write_formal_map_roms	Jannis Harder	2022-06-17	2	-0/+2
\|\ \| \| \| \|	smt2, btor: Use memory_map -rom-only to make ROMs usable for k-induction
\| *	smt2, btor: Use memory_map -rom-only to make ROMs usable for k-induction	Jannis Harder	2022-06-17	2	-0/+2
\|/ \| \| \| \| \|	This avoids provability regressions now that we infer more ROMs. This fixes #3378
*	memory_map: Add -rom-only option.	Marcelina Kościelnicka	2022-06-17	1	-4/+18
\|
*	Merge pull request #3382 from YosysHQ/micko/verific_extensions	Miodrag Milanović	2022-06-17	1	-54/+70
\|\ \| \| \| \|	use new verific extensions library
\| *	use new verific extensions library	Miodrag Milanovic	2022-06-17	1	-54/+70
\|/
*	memory_map: Use const drivers instead of FFs for ROMs.	Marcelina Kościelnicka	2022-06-17	1	-52/+59
\|
*	Bump version	github-actions[bot]	2022-06-17	1	-1/+1
\|
*	memory_libmap: Fix wrprio handling.	Marcelina Kościelnicka	2022-06-17	1	-1/+1
\|
*	memory_libmap: Fix params emitted for unused ports for consistency.	Marcelina Kościelnicka	2022-06-16	1	-2/+3
\|
*	Bump version	github-actions[bot]	2022-06-14	1	-1/+1
\|
*	Add a check for packed memory MEMID uniqueness	Marcelina Kościelnicka	2022-06-13	1	-0/+10
\|
*	Merge pull request #3196 from bfg86/bfg86/rename	N. Engelhardt	2022-06-13	1	-4/+13
\|\ \| \| \| \|	Add -suffix option to rename -wire
\| *	Updating help-text with nakengelhardts suggestion.	bfg86	2022-06-13	1	-2/+2
\| \|
\| *	Add -suffix option to rename -wire.	bfg86	2022-02-11	1	-4/+13
\| \| \| \| \| \| \| \|	See #3195
* \|	opt_ffinv: Fix use after free.	Marcelina Kościelnicka	2022-06-13	1	-3/+6
\| \|
* \|	removed deprecated features code	Miodrag Milanovic	2022-06-13	1	-235/+0
\| \|
* \|	Bump version	github-actions[bot]	2022-06-11	1	-1/+1
\| \|
* \|	Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix	Jannis Harder	2022-06-10	1	-2/+7
\|\ \ \| \| \| \| \| \|	smtbmc: noincr: keep solver running for post check-sat unrolling
\| * \|	smtbmc: noincr: keep solver running for post check-sat unrolling	Jannis Harder	2022-06-08	1	-2/+7
\| \| \|
* \| \|	Next dev cycle	Miodrag Milanovic	2022-06-10	2	-2/+5
\| \| \|
* \| \|	Release version 0.18	Miodrag Milanovic	2022-06-10	2	-3/+3
\| \| \|
* \| \|	Update manual	Miodrag Milanovic	2022-06-10	1	-0/+8
\| \| \|
* \| \|	Updated CHANGELOG	Miodrag Milanovic	2022-06-10	1	-0/+3
\| \| \|
* \| \|	Bump version	github-actions[bot]	2022-06-10	1	-1/+1
\| \| \|
* \| \|	Merge pull request #3349 from nakengelhardt/select_count_scratchpad	N. Engelhardt	2022-06-09	2	-0/+12
\|\ \ \ \| \| \| \| \| \| \| \|	Make 'stat' and 'select -count' save counts to scratchpad
\| * \| \|	also make 'stat' save counts to scratchpad	N. Engelhardt	2022-06-01	1	-0/+9
\| \| \| \|
\| * \| \|	have 'select -count' save the count to scratchpad entry 'select.count'	N. Engelhardt	2022-06-01	1	-0/+3
\| \| \| \|
* \| \| \|	Merge pull request #3359 from jix/fmcombine-memid	N. Engelhardt	2022-06-09	1	-0/+3
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	fmcombine: Add _gold/_gate suffix to memids
\| * \| \| \|	fmcombine: Add _gold/_gate suffix to memids	Jannis Harder	2022-06-03	1	-0/+3
\| \| \| \| \|
* \| \| \| \|	Use compiler-generated default constructor for RTLIL::Const::Const	Henner Zeller	2022-06-09	2	-11/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	No need for a manual implementation. While at it: have the constructor that takes a string take a const string reference instead to avoid a copy.
* \| \| \| \|	Avoid unnecessary copy of a potential large constant value.	Henner Zeller	2022-06-09	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The local variable is used just to iterate through the values, so a const reference is all we need.
* \| \| \| \|	verific: Added "-vlog-libext" option to specify search extension for libraries	Miodrag Milanovic	2022-06-09	2	-1/+17
\| \| \| \| \|
* \| \| \| \|	Bump version	github-actions[bot]	2022-06-09	1	-1/+1
\| \| \| \| \|
* \| \| \| \|	wreduce: Introduce -mux_undef option (aligned with opt_expr).	Marcelina Kościelnicka	2022-06-08	1	-1/+9
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge pull request #3357 from jix/smtbmc-cvc5	Jannis Harder	2022-06-08	1	-3/+13
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5
\| * \| \| \|	smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5	Jannis Harder	2022-06-03	1	-3/+13
\| \|/ / /
* \| \| \|	More updates on CHANGELOG	Miodrag Milanovic	2022-06-08	1	-5/+9
\| \| \| \|