iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Fix equiv_opt indenting	Clifford Wolf	2018-12-16	1	-139/+129
*	equiv_opt: pass -D EQUIV when techmapping.	whitequark	2018-12-07	1	-2/+4
*	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 Si...	rafaeltp	2018-10-21	1	-11/+12
*	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
*	Improve log messages in equiv_make	Clifford Wolf	2018-01-19	1	-2/+2
*	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
*	Improvements in equiv_struct	Clifford Wolf	2015-10-24	1	-1/+22
*	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	Clifford Wolf	2015-10-24	2	-7/+7
*	equiv_purge bugfix, using SigChunk in Yosys namespace	Clifford Wolf	2015-10-24	2	-3/+4
*	Added equiv_mark command	Clifford Wolf	2015-10-23	3	-1/+265
*	Also merge $equiv cells in equiv_struct	Clifford Wolf	2015-10-23	1	-0/+1
*	Improvements in equiv_struct	Clifford Wolf	2015-10-23	1	-11/+18
*	Added equiv_purge	Clifford Wolf	2015-10-22	2	-0/+210
*	Added equiv_struct command	Clifford Wolf	2015-10-21	2	-0/+188
*	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	7	-14/+14
*	Replaced ezDefaultSAT with ezSatPtr	Clifford Wolf	2015-02-21	2	-28/+29
*	Added equiv_add	Clifford Wolf	2015-02-08	2	-0/+90
*	Improved performance in equiv_simple	Clifford Wolf	2015-02-01	1	-23/+72
*	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	Clifford Wolf	2015-01-31	1	-12/+31
*	Added "equiv_induct -undef"	Clifford Wolf	2015-01-31	1	-5/+50
*	Added "equiv_simple -undef"	Clifford Wolf	2015-01-31	1	-17/+47
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31	2	-5/+173
*	Fixed bug in equiv_miter	Clifford Wolf	2015-01-28	1	-6/+6
*	Added equiv_remove	Clifford Wolf	2015-01-25	2	-0/+84