iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|
* \| \| \|	Update changelog and manual	Miodrag Milanovic	2022-06-08	2	-91/+170
\| \| \| \|
* \| \| \|	sta: warn on unrecognised cells only once	Lofty	2022-06-08	1	-1/+4
\| \| \| \|
* \| \| \|	Bump version	github-actions[bot]	2022-06-08	1	-1/+1
\| \| \| \|
* \| \| \|	Merge pull request #3367 from jix/smtlib2-module-fixes	Jannis Harder	2022-06-07	3	-11/+15
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	smt2: emit smtlib2_comb_expr outputs after all inputs
\| * \| \| \|	smt2: emit smtlib2_comb_expr outputs after all inputs	Jannis Harder	2022-06-07	3	-11/+15
\|/ / / /
* \| \| \|	Merge pull request #3319 from programmerjake/smtlib2-expr-support	Jannis Harder	2022-06-07	6	-6/+187
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	add smtlib2_comb_expr
\| * \| \| \|	don't use sed -i because it won't work on macos	Jacob Lifshay	2022-06-03	2	-2/+3
\| \| \| \| \|
\| * \| \| \|	smtlib2_module: try to fix test on macos	Jacob Lifshay	2022-06-02	1	-1/+1
\| \| \| \| \|
\| * \| \| \|	smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions	Jacob Lifshay	2022-06-02	6	-6/+186
\| \| \| \| \|
* \| \| \| \|	Merge pull request #3358 from jix/smtbmc-yices-forall	Jannis Harder	2022-06-07	1	-1/+4
\|\ \ \ \ \ \| \| \| \| \| \| \| \| \| \| \| \|	smtbmc: Force nonincremental mode when yices is used with forall
\| * \| \| \| \|	smtbmc: Force nonincremental mode when yices is used with forall	Jannis Harder	2022-06-03	1	-1/+4
\| \| \|/ / / \| \|/\| \| \|
* \| \| \| \|	opt_ffinv: Harden against simple ff/inv loop.	Marcelina Kościelnicka	2022-06-07	1	-0/+4
\| \| \| \| \|
* \| \| \| \|	iopadmap: Fix z assignment removal.	Marcelina Kościelnicka	2022-06-07	1	-7/+21
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Fixes #3360.
* \| \| \| \|	Bump version	github-actions[bot]	2022-06-05	1	-1/+1
\| \| \| \| \|
* \| \| \| \|	verific: proper file location for readmem commands	Miodrag Milanovic	2022-06-04	1	-0/+33
\| \| \| \| \|
* \| \| \| \|	Bump version	github-actions[bot]	2022-06-04	1	-1/+1
\|/ / / /
* / / /	Fix preventing show crashing with newer graphviz	Miodrag Milanovic	2022-06-03	1	-1/+6
\|/ / /
* \| \|	Bump version	github-actions[bot]	2022-06-03	1	-1/+1
\| \| \|
* \| \|	Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}.	Marcelina Kościelnicka	2022-06-02	6	-14/+87
\| \| \|