Krystine Sherwin 5f83d4d9da libs/fst: Patch <io.h> ...

I think what's happening here is that the _WIN64 fix is correct for 64bit windows, but (for whatever reason) the visual studio build is targeting 32bit windows, so the fix is unnecessary, but the upstream fix doesn't expect to be targeting 32bit windows and assumes all windows builds are 64bit... so fix that.

2024-10-17 07:05:23 +13:00

..

bigint

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

cxxopts @ 4bf61f0869

driver: switch to cxxopts, replace -B

2024-10-09 15:21:34 +02:00

dlfcn-win32

Add dlfcn library for win32

2022-10-28 16:15:30 +02:00

ezsat

Changes in libs, passes and tests Makefiles. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. CXX is clang++ or g++, not clang and gcc

2024-02-25 17:23:56 +01:00

fst

libs/fst: Patch <io.h>

2024-10-17 07:05:23 +13:00

json11

Proper std::move

2022-05-27 11:04:16 +02:00

minisat

minisat: Record changes in patch

2024-08-17 10:01:25 +12:00

sha1

Use static constexpr instead of static const where possible.

2020-04-14 14:19:38 -07:00

subcircuit

Changes in libs, passes and tests Makefiles. LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS. CXX is clang++ or g++, not clang and gcc

2024-02-25 17:23:56 +01:00