C++ Contracts ABI: Design Documents

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

Specification

• Itanium C++ ABI: Contracts Specification

Background

• C++ Contracts ABI: Design Requirements
• Contracts ABI: Design Rationale