5 Commits

Author	SHA1	Message	Date
Emil J. Tywoniak	ecb8b20f62	yosys: use newcelltypes for yosys_celltypes users	2026-03-04 12:39:44 +01:00
Emil J. Tywoniak	77f64de997	satgen: move report_missing_model here from equiv.h	2026-02-16 17:01:09 +01:00
Emil J. Tywoniak	ed53ff2f49	equiv_simple, equiv_induct: fix config	2026-02-03 18:37:39 +01:00
Emil J. Tywoniak	8d1c1faf82	equiv_simple, equiv_induct: error by default on missing model, add -ignore-unknown-cells	2026-02-03 18:10:29 +01:00
Emil J. Tywoniak	000be270ca	equiv_simple, equiv_induct: refactor	2026-02-03 17:54:46 +01:00