iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge pull request #3126 from georgerennie/equiv_make_assertions	Jannis Harder	2023-02-14	1	-27/+65
\|\ \| \| \| \|	equiv_make: Add -make_assert option
\| *	equiv_make: Add -make_assert option	George Rennie	2022-06-24	1	-27/+65
\| \| \| \| \| \| \| \| \| \|	This adds a -make_assert flag to equiv_make. When used, the pass generates $eqx and $assert cells to encode equivalence instead of $equiv.
* \|	Exclude primary inputs from quiv_make rewiring	Claire Xenia Wolf	2022-10-07	1	-0/+7
\| \| \| \| \| \| \| \|	Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* \|	Revert "Merge pull request #641 from tklam/master"	Claire Xenia Wolf	2022-10-07	1	-81/+5
\|/ \| \| \| \| \| \| \| \| \|	This reverts commit 08be796cb8b1890923e459cda92211fda763f0c1, reversing changes made to 38dbb44fa0815b1fe80e68e17798aaa341d998cd. This fixes #2728. PR #641 did not actually "fix" #639. The actual issue in #639 is not equiv_make, but assumptions in equiv_simple that are not true for the test case provided in #639.
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	1	-1/+1
\| \| \| \| \| \| \| \|	s/((Claire\|Xen\|Xenia\|Clifford)\s+)+(Wolf\|Xen)\s+<(claire\|clifford)@(symbioticeda.com\|clifford.at\|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina\|Nak\|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com\|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave\|david)@(symbioticeda.com\|yosyshq.com\|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag\|micko)@(symbioticeda.com\|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
*	use the new isPublic() in a few places	N. Engelhardt	2020-09-14	1	-4/+4
\|
*	Use C++11 final/override keywords.	whitequark	2020-06-18	1	-2/+2
\|
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	1	-1/+1
\|
*	Spelling	Eddie Hung	2019-08-22	1	-2/+2
\|
*	using [i] to access individual bits of SigSpec and merging bits into a tmp ↵	rafaeltp	2018-10-21	1	-11/+12
\| \| \| \|	Sig before setting the port to new signal
*	cleaning up for PR	rafaeltp	2018-10-20	1	-2/+2
\|
*	fixing code style	rafaeltp	2018-10-20	1	-1/+1
\|
*	solves #675	rafaeltp	2018-10-20	1	-11/+17
\|
*	stop check_signal_in_fanout from traversing FFs	tklam	2018-10-13	1	-2/+2
\|
*	stop check_signal_in_fanout from traversing FFs	tklam	2018-10-13	1	-1/+12
\|
*	fix bug: pass by reference	tklam	2018-09-26	1	-1/+1
\|
*	Fix issue #639	TK Lam	2018-09-26	1	-0/+58
\|
*	Consistent use of 'override' for virtual methods in derived classes.	Henner Zeller	2018-07-20	1	-2/+2
\| \| \| \| \| \| \| \| \|	o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -- c++ -- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
*	Improve log messages in equiv_make	Clifford Wolf	2018-01-19	1	-2/+2
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	1	-1/+1
\|
*	Improved inout handling in equiv_make	Clifford Wolf	2015-10-21	1	-1/+1
\|
*	Spell check (by Larry Doolittle)	Clifford Wolf	2015-08-14	1	-1/+1
\|
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02	1	-2/+2
\|
*	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	Clifford Wolf	2015-01-31	1	-12/+31
\|
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31	1	-4/+172
\|
*	Various equiv_* improvements	Clifford Wolf	2015-01-24	1	-8/+13
\|
*	Improvements in equiv_make, equiv_induct	Clifford Wolf	2015-01-22	1	-0/+34
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22	1	-0/+248