5 Commits

Author	SHA1	Message	Date
Bart	055be78908	refactor: Remove unused and add missing includes (#5293) ... The codebase is filled with includes that are unused, and which thus can be removed. At the same time, the files often do not include all headers that contain the definitions used in those files. This change uses clang-format and clang-tidy to clean up the includes, with minor manual intervention to ensure the code compiles on all platforms.	2026-03-02 13:54:01 +09:00
Bronek Kozicki	01c1f87eca	Add Antithesis intrumentation (#5042) ... * Copy Antithesis SDK version 0.4.0 to directory external/ * Add build option `voidstar` to enable instrumentation with Antithesis SDK * Define instrumentation macros ASSERT and UNREACHABLE in terms of regular C assert * Replace asserts with named ASSERT or UNREACHABLE * Add UNREACHABLE to LogicError * Document instrumentation macros in CONTRIBUTING.md	2026-02-20 08:02:59 +09:00
John Freeman	02749feea8	Reformat code with clang-format-18	2026-02-20 07:26:21 +09:00
Pretty Printer	e618806999	Rewrite includes	2026-02-20 07:11:13 +09:00
Pretty Printer	bfafa2bb39	Rearrange sources	2026-02-20 07:11:12 +09:00