C++ Contracts ABI: Design Documents

This collection contains requirements, design proposals, and specifications for the Itanium C++ ABI for contracts (C++26).

Requirements, Analysis, and Open Questions

• C++ Contracts ABI: Design Requirements
• Open Questions: ABI Compatibility Issues
• Requirements Validation Test Cases

Design Approaches

• Descriptor Table with Field-Level Metadata
• Runtime-Constructed Ephemeral Objects

Specifications

• Descriptor Table Approach: Technical Specification
• Itanium C++ ABI: Contracts Specification