mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-24 16:34:38 +00:00
b43c282e4e
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.
|
||
|---|---|---|
| .. | ||
| assertpmux.cc | ||
| async2sync.cc | ||
| clk2fflogic.cc | ||
| cutpoint.cc | ||
| eval.cc | ||
| example.v | ||
| example.ys | ||
| expose.cc | ||
| fmcombine.cc | ||
| fminit.cc | ||
| freduce.cc | ||
| Makefile.inc | ||
| miter.cc | ||
| mutate.cc | ||
| qbfsat.cc | ||
| sat.cc | ||
| sim.cc | ||
| supercover.cc | ||