iCE40/yosys - [no description]

	Commit message (Expand)	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	George Rennie	2022-06-24	1	-27/+65
* \|	Exclude primary inputs from quiv_make rewiring	Claire Xenia Wolf	2022-10-07	1	-0/+7
* \|	Revert "Merge pull request #641 from tklam/master"	Claire Xenia Wolf	2022-10-07	1	-81/+5
\|/
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	1	-1/+1
*	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 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	1	-2/+2
*	Improve log messages in equiv_make	Clifford Wolf	2018-01-19	1	-2/+2
*	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