10 commits

Author	SHA1	Message	Date
Marcelina Kościelnicka	9a4f420b4b	Replace opt_rmdff with opt_dff.	2020-08-07 13:21:03 +02:00
Marcelina Kościelnicka	3050454d6e	anlogic: Use dfflegalize.	2020-07-14 05:02:50 +02:00
Eddie Hung	317c18fc6f	Simplify breaking tests/arch/*/fsm.ys tests	2020-03-20 11:25:17 -07:00
Eddie Hung	c082329af3	Call equiv_opt with -multiclock and -assert	2019-12-31 18:39:32 -08:00
Eddie Hung	caab66111e	Rename memory tests to lutram, add more xilinx tests	2019-12-12 17:44:37 -08:00
Miodrag Milanovic	3e0ffe05a7	Fixed tests	2019-11-11 15:41:33 +01:00
Miodrag Milanovic	12383f37b2	Common memory test now shared	2019-10-18 12:33:35 +02:00
Miodrag Milanovic	5603595e5c	Share common tests	2019-10-18 12:19:59 +02:00
Miodrag Milanovic	56f9482675	Fix path to yosys	2019-10-18 11:12:03 +02:00
Miodrag Milanovic	c2ec7ca703	Moved all tests in arch sub directory	2019-10-18 11:06:12 +02:00