4 Commits

Author	SHA1	Message	Date
Vito Tumas	3e152fec74	refactor: use east const convention (#5409) ... This change refactors the codebase to use the "east const convention", and adds a clang-format rule to follow this convention.	2025-05-08 11:00:42 +00: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