5 Commits

Author	SHA1	Message	Date
Vlad	6534757d85	chore: Remove unused headers (#5526)	2025-07-10 18:15:42 +00:00
Bart	2406b28e64	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.	2025-03-11 14:16:45 -04:00
Bronek Kozicki	d7e949193f	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	2024-12-03 14:54:44 -05:00
Pretty Printer	1d23148e6d	Rewrite includes (#4997)	2024-06-20 13:57:16 -05:00
Pretty Printer	e416ee72ca	Rearrange sources (#4997)	2024-06-20 13:57:14 -05:00