17 commits

Author	SHA1	Message	Date
Marcelina Kościelnicka	a0e99a9f3f	peepopt: Remove now-redundant dffmux pattern.	2020-08-07 13:21:34 +02:00
Eddie Hung	045f344038	Use sat -tempinduct and comments for why equiv_opt not sufficient	2019-10-03 11:11:50 -07:00
Eddie Hung	e9645c7fa7	Fix broken CI, check reset even for constants, trim rstmux	2019-10-02 21:26:26 -07:00
Eddie Hung	e4bd5aaebf	Fix test	2019-10-02 18:12:25 -07:00
Eddie Hung	f6fabc8fda	Update test	2019-10-02 18:03:45 -07:00
Eddie Hung	e730a595ee	Add test	2019-10-02 18:01:41 -07:00
Eddie Hung	f492567c87	Oops	2019-09-13 18:19:07 -07:00
Eddie Hung	a2eee9ebef	Add counter-example from @cliffordwolf	2019-09-13 16:41:10 -07:00
Eddie Hung	14d72c39c3	Revert "Make one check $shift(x)? only; change testcase to be 8b" ... This reverts commit e2c2d784c8.	2019-09-13 16:33:18 -07:00
Eddie Hung	bdb5e0f29c	Cope with presence of reset muxes too	2019-09-11 13:36:37 -07:00
Eddie Hung	f46ef47893	Add more tests	2019-09-11 13:22:41 -07:00
Eddie Hung	3a8582081e	proc instead of prep	2019-09-11 00:14:06 -07:00
Eddie Hung	580faae8ad	Add unsigned case	2019-09-11 00:07:17 -07:00
Eddie Hung	97e1520b13	Missing equiv_opt -assert	2019-09-06 22:50:03 -07:00
Eddie Hung	e2c2d784c8	Make one check $shift(x)? only; change testcase to be 8b	2019-09-06 22:48:23 -07:00
Eddie Hung	51b559af2c	Usee equiv_opt -assert	2019-09-06 22:48:04 -07:00
Eddie Hung	ef0681ea4c	simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select	2019-09-05 08:43:22 -07:00