iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	10	-10/+10
\| \| \| \| \| \| \| \|	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;
*	equiv: Suggest running async2sync or clk2fflogic where appropriate.	Marcelina Kościelnicka	2021-03-30	2	-3/+10
\| \| \| \|	See #2713.
*	use the new isPublic() in a few places	N. Engelhardt	2020-09-14	2	-6/+6
\|
*	equiv_induct: Fix up assumption for $equiv cells in -undef mode.	Marcelina Kościelnicka	2020-07-27	1	-1/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Before this fix, equiv_induct only assumed that one of the following is true: - defined value of A is equal to defined value of B - A is undefined This lets through valuations where A is defined, B is undefined, and the defined (meaningless) value of B happens to match the defined value of A. Instead, tighten this up to OR of the following: - defined value of A is equal to defined value of B, and B is not undefined - A is undefined
*	Use C++11 final/override keywords.	whitequark	2020-06-18	11	-24/+24
\|
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	10	-29/+29
\|
*	kernel: use more ID::*	Eddie Hung	2020-04-02	8	-41/+41
\|
*	xilinx: Add xilinx_dffopt pass (#1557)	Marcin Kościelnicki	2019-12-18	1	-2/+16
\|
*	Add -async2sync to help text as per @daveshah1	Eddie Hung	2019-10-04	1	-1/+4
\|
*	Restore part of doc	Eddie Hung	2019-10-03	1	-1/+2
\|
*	Add new -async2sync option	Eddie Hung	2019-10-03	1	-1/+11
\|
*	Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"	Eddie Hung	2019-10-03	1	-2/+0
\| \| \| \|	This reverts commit a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.
*	Revert "Update doc for equiv_opt"	Eddie Hung	2019-10-03	1	-3/+2
\| \| \| \|	This reverts commit a274b7cc86d4f64541d3d2903b4eeed4616ab1d8.
*	Update doc for equiv_opt	Eddie Hung	2019-09-30	1	-2/+3
\|
*	equiv_opt to call async2sync when not -multiclock like SymbiYosys	Eddie Hung	2019-09-27	1	-0/+2
\|
*	Add equiv_opt -multiclock	David Shah	2019-09-11	1	-1/+11
\| \| \| \|	Signed-off-by: David Shah <dave@ds0.me>
*	Spelling	Eddie Hung	2019-08-22	1	-2/+2
\|
*	substr() -> compare()	Eddie Hung	2019-08-07	2	-3/+3
\|
*	stoi -> atoi	Eddie Hung	2019-08-07	3	-3/+3
\|
*	Use std::stoi instead of atoi(<str>.c_str())	Eddie Hung	2019-08-06	3	-3/+3
\|
*	Add -undef option to equiv_opt, passed to equiv_induct	Eddie Hung	2019-04-26	1	-3/+16
\|
*	Add "techmap -wb", use in formal flows	Clifford Wolf	2019-04-20	1	-1/+1
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	Fix equiv_opt indenting	Clifford Wolf	2018-12-16	1	-139/+129
\| \| \| \|	Signed-off-by: Clifford Wolf <clifford@clifford.at>
*	equiv_opt: pass -D EQUIV when techmapping.	whitequark	2018-12-07	1	-2/+4
\| \| \| \| \|	This allows avoiding techmap crashes e.g. because of large memories in white-box cell models.
*	equiv_opt: new command, for verifying optimization passes.	whitequark	2018-12-07	2	-1/+166
\|
*	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	10	-20/+20
\| \| \| \| \| \| \| \| \|	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>
*	Fix equiv_simple, old behavior now available with "equiv_simple -short"	Clifford Wolf	2017-04-28	1	-10/+41
\|
*	Squelch trailing whitespace	Larry Doolittle	2017-04-12	1	-1/+1
\|
*	Add $ff and $_FF_ support to equiv_simple	Clifford Wolf	2017-01-30	1	-2/+2
\|
*	Improved equiv_purge log output	Clifford Wolf	2016-11-29	1	-1/+1
\|
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	9	-9/+9
\|
*	Added "equiv_struct -fwonly"	Clifford Wolf	2016-01-08	1	-5/+17
\|
*	Bugfixes in equiv_struct	Clifford Wolf	2016-01-08	1	-2/+9
\|
*	Added "equiv_struct -maxiter <N>"	Clifford Wolf	2016-01-06	1	-4/+16
\|
*	Added "equiv_add -try" mode	Clifford Wolf	2016-01-06	1	-6/+33
\|
*	Use mfp<> in equiv_mark	Clifford Wolf	2015-10-27	1	-28/+4
\|
*	Improvements in equiv_struct	Clifford Wolf	2015-10-25	1	-17/+62
\|
*	Major refactoring of equiv_struct	Clifford Wolf	2015-10-25	1	-93/+165
\|
*	Import more std:: stuff into Yosys namespace	Clifford Wolf	2015-10-25	1	-1/+1
\|
*	Added "equiv_add -cell"	Clifford Wolf	2015-10-25	1	-32/+93
\|
*	equiv_struct now creates equiv_merged attributes	Clifford Wolf	2015-10-25	1	-0/+3
\|