aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat
Commit message (Collapse)AuthorAgeFilesLines
* minisat: add missing include guard for WASI.whitequark2020-06-212-0/+14
| | | | | 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-303-3/+41
| | | | | | | | | | | | 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.
* Remove added newline (by re-running minisat 00_UPDATE.sh)Clifford Wolf2019-05-081-1/+0
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-0/+1
|
* minisat: Make update script executable.Tim 'mithro' Ansell2017-11-251-0/+0
|
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-255-2/+18
| | | | | | | | | | | | | | | | | 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).
* minisat: Remove template with gzFile specialization.Tim 'mithro' Ansell2017-11-252-4/+21
| | | | | All the other gzFile functions have been removed but this template was still left around.
* Add minisat 00_PATCH_typofixes.patchClifford Wolf2017-03-272-0/+21
|
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-274-18/+44
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-2/+2
|
* Removed Minisat dependency on zlibClifford Wolf2014-07-254-13/+42
|
* Updated minisatClifford Wolf2014-07-2120-45/+45
|
* Using relative path names in minisat headersClifford Wolf2014-07-211-1/+1
|
* minisat compile fixClifford Wolf2014-04-203-2/+25
|
* POSIX find requires a path argument.Anthony J. Bentley2014-04-041-1/+1
|
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-123-9/+10
|
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-1224-0/+5013