mirror of https://github.com/YosysHQ/yosys.git
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.
|
||
|---|---|---|
| .. | ||
| 00_PATCH_mkLit_default_arg.patch | ||
| 00_PATCH_no_fpu_control.patch | ||
| 00_PATCH_remove_zlib.patch | ||
| 00_PATCH_typofixes.patch | ||
| 00_PATCH_wasm.patch | ||
| 00_UPDATE.sh | ||
| Alg.h | ||
| Alloc.h | ||
| Dimacs.h | ||
| Heap.h | ||
| IntMap.h | ||
| IntTypes.h | ||
| LICENSE | ||
| Map.h | ||
| Options.cc | ||
| Options.h | ||
| ParseUtils.h | ||
| Queue.h | ||
| Rnd.h | ||
| SimpSolver.cc | ||
| SimpSolver.h | ||
| Solver.cc | ||
| Solver.h | ||
| SolverTypes.h | ||
| Sort.h | ||
| System.cc | ||
| System.h | ||
| Vec.h | ||
| XAlloc.h | ||