mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-01 08:53:19 +00:00
Code Activity

CMake: added passes

Browse source
This commit is contained in:
Miodrag Milanovic 2025-02-12 14:48:41 +01:00
parent 171949065f
commit a50d630336
9 changed files with 181 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

25
passes/sat/CMakeLists.txt Normal file
View file

@ -0,0 +1,25 @@
add_library(yosys_passes_sat INTERFACE)
target_sources(yosys_passes_sat INTERFACE
sat.cc
freduce.cc
eval.cc
sim.cc
miter.cc
expose.cc
assertpmux.cc
clk2fflogic.cc
async2sync.cc
formalff.cc
supercover.cc
fmcombine.cc
mutate.cc
cutpoint.cc
fminit.cc
recover_names.cc
qbfsat.cc
synthprop.cc
)
target_link_libraries(yosys PRIVATE yosys_passes_sat)