iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	opt_merge: Add `-keepdc` option required for formal verification	Jannis Harder	2022-04-01	1	-0/+1
\| \| \| \| \| \| \| \|	The `-keepdc` option prevents merging flipflops with dont-care bits in their initial value, as, in general, this is not a valid transform for formal verification. The keepdc option of `opt` is passed along to `opt_merge` now.
*	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;
*	Replace opt_rmdff with opt_dff.	Marcelina Kościelnicka	2020-08-07	1	-8/+16
\|
*	opt_expr: Remove -clkinv option, make it the default.	Marcelina Kościelnicka	2020-07-31	1	-5/+5
\| \| \| \| \|	Adds -noclkinv option just in case the old behavior was actually useful to someone.
*	Use C++11 final/override keywords.	whitequark	2020-06-18	1	-2/+2
\|
*	Do not optimize away FFs in "prep" and Verific fron-end	Claire Wolf	2020-06-09	1	-5/+12
\| \| \| \|	Signed-off-by: Claire Wolf <claire@symbioticeda.com>
*	Add 'opt_share' to 'opt -full'	Eddie Hung	2019-08-16	1	-0/+5
\|
*	Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" too	Bogdan Vukobratovic	2019-06-27	1	-2/+6
\|
*	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)
*	Added "opt_rmdff -keepdc"	Clifford Wolf	2016-09-30	1	-4/+6
\|
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	1	-4/+4
\|
*	Renamed opt_share to opt_merge	Clifford Wolf	2016-03-31	1	-8/+8
\|
*	Renamed opt_const to opt_expr	Clifford Wolf	2016-03-31	1	-14/+14
\|
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02	1	-3/+3
\|
*	Added opt_const -clkinv	Clifford Wolf	2015-07-01	1	-3/+7
\|
*	Added opt_share -share_all	Clifford Wolf	2015-05-31	1	-6/+11
\|
*	Some cleanups in "clean"	Clifford Wolf	2015-02-24	1	-0/+4
\|
*	typo fix for "opt -fast"	Clifford Wolf	2014-12-30	1	-1/+1
\|
*	Added "opt -full" alias for all more aggressive optimizations	Clifford Wolf	2014-10-31	1	-4/+9
\|
*	namespace Yosys	Clifford Wolf	2014-09-27	1	-0/+4
\|
*	Added design->scratchpad	Clifford Wolf	2014-08-30	1	-7/+4
\|
*	Added "opt -fast"	Clifford Wolf	2014-08-16	1	-19/+45
\|
*	Added "opt_const -keepdc"	Clifford Wolf	2014-07-21	1	-3/+10
\|
*	Added "opt_const -fine" and "opt_reduce -fine"	Clifford Wolf	2014-07-21	1	-4/+10
\|
*	Added opt -purge (frontend to opt_clean -purge)	Clifford Wolf	2014-02-08	1	-3/+8
\|
*	Added opt_const -undriven	Clifford Wolf	2014-02-06	1	-2/+6
\|
*	Added opt_const -mux_bool	Clifford Wolf	2014-02-02	1	-4/+18
\|
*	Renamed opt_rmunused to opt_clean	Clifford Wolf	2013-06-05	1	-2/+2
\|
*	Added help messages for fsm_* passes	Clifford Wolf	2013-03-01	1	-1/+1
\|
*	Added help messages for opt_* passes	Clifford Wolf	2013-03-01	1	-1/+24
\|
*	initial import	Clifford Wolf	2013-01-05	1	-0/+62