Josuah Demangeon 793b9ade56 extends the list of platforms without <alloca.h> ...

This permits to fix a compilation bug on OpenBSD

https://www.gnu.org/software/gnulib/manual/html_node/alloca_002eh.html
> This header file is missing on some platforms:
> FreeBSD 6.0, NetBSD 9.0, OpenBSD 6.7, mingw, MSVC 14.

2022-07-18 21:51:18 +02:00

..

bigint

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

ezsat

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

fst

extends the list of platforms without <alloca.h>

2022-07-18 21:51:18 +02:00

json11

Proper std::move

2022-05-27 11:04:16 +02: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

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00