3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-01-21 09:34:44 +00:00
yosys/passes/cmds
whitequark b43c282e4e Add WASI platform support.
This includes the following significant changes:
  * Patching ezsat and minisat to disable resource limiting code
    on WASM/WASI, since the POSIX functions they use are unavailable.
  * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform
    does not support spawning subprocesses (i.e. Emscripten or WASI).
    This definition hides the definition of `run_command()`.
  * Adding a new Makefile flag, DISABLE_SPAWN, present in the same
    condition. This flag disables all passes that require spawning
    subprocesses for their function.
2020-04-30 18:56:25 +00:00
..
add.cc
autoname.cc
blackbox.cc
bugpoint.cc
check.cc
chformal.cc
chtype.cc
connect.cc
connwrappers.cc
copy.cc
cover.cc Add WASI platform support. 2020-04-30 18:56:25 +00:00
delete.cc
design.cc
edgetypes.cc
exec.cc
logcmd.cc
logger.cc
ltp.cc
Makefile.inc Add WASI platform support. 2020-04-30 18:56:25 +00:00
plugin.cc
portlist.cc
qwp.cc
rename.cc
scatter.cc
scc.cc
scratchpad.cc
select.cc
setattr.cc
setundef.cc
show.cc Add WASI platform support. 2020-04-30 18:56:25 +00:00
splice.cc
splitnets.cc
stat.cc
tee.cc
torder.cc
trace.cc
write_file.cc