New attribute-based syntax for exec function specifications#1356

Merged

ziqiaozhou merged 3 commits intomainfrom small-macros2

Jan 7, 2025

+1,597-836

Commits on Nov 21, 2024

New attribute-based syntax for exec function specifications
Chris-Hawblitzel
committed

Commits on Jan 7, 2025

Merge branch 'main' into small-macros2

Ziqiao Zhou
authored and
Ziqiao Zhou
committed
fmt

Ziqiao Zhou
authored and
Ziqiao Zhou
committed