mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-04-11 23:10:36 +00:00
Code Activity
yosys/libs/minisat
History
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
..
00_PATCH_mkLit_default_arg.patch Removed Minisat dependency on zlib 2014-07-25 03:41:54 +02:00
00_PATCH_no_fpu_control.patch Remove use of <fpu_control.h> in minisat 2017-03-27 14:32:43 +02:00
00_PATCH_remove_zlib.patch minisat: Remove template with gzFile specialization. 2017-11-25 19:48:26 -08:00
00_PATCH_typofixes.patch Add minisat 00_PATCH_typofixes.patch 2017-03-27 14:37:00 +02:00
00_PATCH_wasm.patch Add WASI platform support. 2020-04-30 18:56:25 +00:00
00_UPDATE.sh Add WASI platform support. 2020-04-30 18:56:25 +00:00
Alg.h
Alloc.h
Dimacs.h minisat: Remove template with gzFile specialization. 2017-11-25 19:48:26 -08:00
Heap.h
IntMap.h
IntTypes.h
LICENSE
Map.h
Options.cc minisat: Only define __STDC_XXX_MACROS if not already defined. 2017-11-25 19:48:26 -08:00
Options.h
ParseUtils.h Removed Minisat dependency on zlib 2014-07-25 03:41:54 +02:00
Queue.h
Rnd.h
SimpSolver.cc minisat: Only define __STDC_XXX_MACROS if not already defined. 2017-11-25 19:48:26 -08:00
SimpSolver.h
Solver.cc minisat: Only define __STDC_XXX_MACROS if not already defined. 2017-11-25 19:48:26 -08:00
Solver.h Corrected spelling mistakes found by lintian 2014-09-06 08:47:06 +02:00
SolverTypes.h
Sort.h
System.cc Add WASI platform support. 2020-04-30 18:56:25 +00:00
System.h Remove use of <fpu_control.h> in minisat 2017-03-27 14:32:43 +02:00
Vec.h Remove added newline (by re-running minisat 00_UPDATE.sh) 2019-05-08 11:26:58 +02:00
XAlloc.h