4 Commits

Author	SHA1	Message	Date
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