projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 692ec5f 21d44eb)
Merge pull request #2181 from whitequark/minisat-wasm-signal
authorwhitequark <whitequark@whitequark.org>
Mon, 22 Jun 2020 00:10:25 +0000 (00:10 +0000)
committerGitHub <noreply@github.com>
Mon, 22 Jun 2020 00:10:25 +0000 (00:10 +0000)
minisat: add missing include guard for WASI


Trivial merge