github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-13 15:37:16 +00:00
Code Issues Releases Wiki Activity
YosysHQ.yosys/libs
History
whitequark 21d44ebec7 minisat: add missing include guard for WASI. 
Including signal.h used to be allowed in WASI by mistake, but it's
an error since SDK 11.
2020-06-21 21:26:21 +00:00
..
bigint
Moved stand-alone libs to libs/ directory and added libs/subcircuit
2013-02-27 09:32:19 +01:00
ezsat
Add WASI platform support.
2020-04-30 18:56:25 +00:00
json11
libs: import json11.
2019-09-30 15:53:11 +00:00
minisat
minisat: add missing include guard for WASI.
2020-06-21 21:26:21 +00:00
sha1
Use static constexpr instead of static const where possible.
2020-04-14 14:19:38 -07:00
subcircuit
Use static constexpr instead of static const where possible.
2020-04-14 14:19:38 -07:00