ARCHIVE/xahaud
3
0
Fork 0
mirror of https://github.com/Xahau/xahaud.git synced 2026-06-03 00:36:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
14,238 Commits 200 Branches 15 Tags
38057efbaece2bf3d50ef103da581ff8a7c2eec1
Commit Graph

2 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
Pretty Printer
da1d20d6d5 Consolidate external libraries 2026-02-20 07:06:49 +09:00