6 commits

Author	SHA1	Message	Date
Lofty	c4cc53a72e	synth: fix after abc -fast removal	2026-03-18 17:59:58 +01:00
Eddie Hung	03ce2c72bb	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-15 16:42:16 -08:00
Eddie Hung	5918ede9bd	abc9: aAdd test to check $_NOT_s are absorbed	2020-01-15 14:36:05 -08:00
Eddie Hung	a6d4ea7463	abc9: respect (* keep *) on cells	2020-01-13 19:21:11 -08:00
Eddie Hung	9ec948f396	write_xaiger: add support and test for (* keep *) on wires	2020-01-13 19:07:55 -08:00
Eddie Hung	a10016ccc5	Add abc9 sanity test	2020-01-09 18:17:06 -08:00