3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-13 13:45:28 +00:00
yosys/passes/cmds
Gus Smith 8ab105ac28
Merge pull request #4303 from Coloquinte/sat_choice
Infrastructure to run a Sat solver as a command
2026-02-11 06:54:53 -08:00
..
sdc Check for missing port in SDC code 2026-01-10 04:00:17 +00:00
abstract.cc
add.cc
autoname.cc
blackbox.cc
box_derive.cc
bugpoint.cc
check.cc
chformal.cc
chtype.cc
clean_zerowidth.cc
connect.cc
connwrappers.cc
copy.cc
delete.cc
design.cc
design_equal.cc Dump module details when design_equal fails 2026-01-28 18:32:12 +00:00
dft_tag.cc
edgetypes.cc
example_dt.cc
exec.cc
future.cc
glift.cc
icell_liberty.cc remove unused variable 2025-12-23 15:47:35 +01:00
internal_stats.cc
linecoverage.cc
linux_perf.cc linux_perf: only include unistd on Linux 2026-01-28 03:44:33 -08:00
logcmd.cc
logger.cc
ltp.cc
Makefile.inc Add linux_perf command to turn Linux perf recording on and off. 2026-01-23 01:44:57 +00:00
plugin.cc
portarcs.cc
portlist.cc
printattrs.cc
rename.cc
scatter.cc
scc.cc
scratchpad.cc Typo 2026-02-09 09:05:56 -08:00
select.cc Use digit separators for large decimal integers 2026-01-13 16:38:12 +01:00
setattr.cc
setenv.cc
setundef.cc
show.cc
sort.cc
splice.cc
splitcells.cc
splitnets.cc
sta.cc
stat.cc
tee.cc
test_select.cc
timeest.cc
torder.cc
trace.cc Add -on/-off modes to debug pass 2026-01-15 12:07:26 -08:00
viz.cc
wrapcell.cc
write_file.cc
xprop.cc