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

..

00_PATCH_mkLit_default_arg.patch

…

00_PATCH_no_fpu_control.patch

…

00_PATCH_remove_zlib.patch

minisat: Remove template with gzFile specialization.

2017-11-25 19:48:26 -08:00

00_PATCH_typofixes.patch

…

00_PATCH_wasm.patch

minisat: add missing include guard for WASI.

2020-06-21 21:26:21 +00:00

00_UPDATE.sh

Add WASI platform support.

2020-04-30 18:56:25 +00:00

Alg.h

…

Alloc.h

…

Dimacs.h

minisat: Remove template with gzFile specialization.

2017-11-25 19:48:26 -08:00

Heap.h

…

IntMap.h

…

IntTypes.h

…

LICENSE

…

Map.h

…

Options.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

Options.h

…

ParseUtils.h

…

Queue.h

…

Rnd.h

…

SimpSolver.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

SimpSolver.h

…

Solver.cc

minisat: Only define __STDC_XXX_MACROS if not already defined.

2017-11-25 19:48:26 -08:00

Solver.h

…

SolverTypes.h

…

Sort.h

…

System.cc

minisat: add missing include guard for WASI.

2020-06-21 21:26:21 +00:00

System.h

…

Vec.h

Remove added newline (by re-running minisat 00_UPDATE.sh)

2019-05-08 11:26:58 +02:00

XAlloc.h

…