iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	peepopt: Remove now-redundant dffmux pattern.	Marcelina Kościelnicka	2020-08-07	1	-143/+0
*	Use `sat -tempinduct` and comments for why equiv_opt not sufficient	Eddie Hung	2019-10-03	1	-1/+8
*	Fix broken CI, check reset even for constants, trim rstmux	Eddie Hung	2019-10-02	1	-2/+2
*	Fix test	Eddie Hung	2019-10-02	1	-2/+12
*	Update test	Eddie Hung	2019-10-02	1	-13/+3
*	Add test	Eddie Hung	2019-10-02	1	-0/+31
*	Oops	Eddie Hung	2019-09-13	1	-1/+1
*	Add counter-example from @cliffordwolf	Eddie Hung	2019-09-13	1	-0/+24
*	Revert "Make one check $shift(x)? only; change testcase to be 8b"	Eddie Hung	2019-09-13	1	-2/+2
*	Cope with presence of reset muxes too	Eddie Hung	2019-09-11	1	-0/+39
*	Add more tests	Eddie Hung	2019-09-11	1	-0/+32
*	proc instead of prep	Eddie Hung	2019-09-11	1	-2/+2
*	Add unsigned case	Eddie Hung	2019-09-11	1	-0/+17
*	Missing equiv_opt -assert	Eddie Hung	2019-09-06	1	-1/+1
*	Make one check $shift(x)? only; change testcase to be 8b	Eddie Hung	2019-09-06	1	-2/+2
*	Usee equiv_opt -assert	Eddie Hung	2019-09-06	1	-3/+3
*	simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select	Eddie Hung	2019-09-05	1	-0/+63