4 Commits

Author	SHA1	Message	Date
tequ	b9d966dd32	Merge remote-tracking branch 'upstream/dev' into sync-2.4.0	2025-12-01 18:08:31 +09:00
tequ	b4f79257cb	Conan Release Builder (2.4.0 sync) (#528)	2025-08-14 15:29:04 +09:00
Bronek Kozicki	16b3221f80	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	2025-06-19 19:56:21 +09:00
Pretty Printer	6b5a7ec905	Move CMake directory	2025-06-17 18:22:13 +09:00