Matt Liberty 7f7c1dd786 Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543 ... Signed-off-by: Matt Liberty <mliberty@precisioninno.com>		2026-06-18 05:15:04 +00: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	Check for dimacs nullptr on file creation+fn call	2026-02-06 18:18:03 -08:00
fst	Update lz4 to 1.10.0 for CVE-2014-4715, CVE-2021-3520, CVE-2019-17543	2026-06-18 05:15:04 +00:00
json11	Fix undefined type error in libs/json11/json11.cpp	2025-01-16 20:09:58 -05: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	Fixes #3515	2025-11-25 06:58:14 +13:00