achronix: Use dfflegalize.
[yosys.git] / passes / sat /
drwxr-xr-x   ..
-rw-r--r-- 467 Makefile.inc
-rw-r--r-- 6682 assertpmux.cc
-rw-r--r-- 7748 async2sync.cc
-rw-r--r-- 13954 clk2fflogic.cc
-rw-r--r-- 5420 cutpoint.cc
-rw-r--r-- 21109 eval.cc
-rw-r--r-- 1190 example.v
-rw-r--r-- 433 example.ys
-rw-r--r-- 20678 expose.cc
-rw-r--r-- 11557 fmcombine.cc
-rw-r--r-- 5857 fminit.cc
-rw-r--r-- 25747 freduce.cc
-rw-r--r-- 14414 miter.cc
-rw-r--r-- 27920 mutate.cc
-rw-r--r-- 23663 qbfsat.cc
-rw-r--r-- 10315 qbfsat.h
-rw-r--r-- 58430 sat.cc
-rw-r--r-- 22000 sim.cc
-rw-r--r-- 2727 supercover.cc