aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/System.cc
Commit message (Collapse)AuthorAgeFilesLines
* minisat: add missing include guard for WASI.whitequark2020-06-211-0/+2
| | | | | Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11.
* Add WASI platform support.whitequark2020-04-301-2/+6
| | | | | | | | | | | | 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.
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-251-0/+4
| | | | | | | | | | | | | | | | | Replace; #define __STDC_LIMIT_MACROS #define __STDC_FORMAT_MACROS With #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS #endif #ifndef __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS #endif This fixes a compile warning if you are defining these macros in your CXXFLAGS (as some distros do).
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-271-11/+0
|
* Updated minisatClifford Wolf2014-07-211-1/+1
|
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-121-3/+3
|
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-121-0/+171