Martin Povišer f5485b59a9 sim: Bail if there are blackboxes in simulation		2023-07-20 21:01:03 +01:00
..
assertpmux.cc
async2sync.cc
clk2fflogic.cc	Use clk2fflogic attr on cells to track original FF names in witnesses	2023-05-25 12:48:02 +02:00
cutpoint.cc
eval.cc
example.v
example.ys
expose.cc
fmcombine.cc
fminit.cc
formalff.cc	formalff: Fix crash with _NOT_ gates in -hierarchy mode	2023-01-25 12:55:29 +01:00
freduce.cc
Makefile.inc	Add recover_names pass to recover names post-mapping	2023-05-25 10:55:07 +02:00
miter.cc	Add gold-x handing to miter cross port handling	2022-12-08 22:14:16 +01:00
mutate.cc	mutate: warn if less mutations possible than number requested	2022-10-05 10:59:38 +02:00
qbfsat.cc	Deprecate gcc-4.8	2023-01-11 09:54:19 +01:00
qbfsat.h	Deprecate gcc-4.8	2023-01-11 09:54:19 +01:00
recover_names.cc	Add recover_names pass to recover names post-mapping	2023-05-25 10:55:07 +02:00
sat.cc	sat: Add -set-def-formal option to force defined $any* outputs	2022-11-28 14:50:52 +01:00
sim.cc	sim: Bail if there are blackboxes in simulation	2023-07-20 21:01:03 +01:00
supercover.cc
synthprop.cc	Update license	2023-02-13 17:23:26 +01:00