› P3097R3 Contracts for C++: Virtual functions T. Doumler , J. Berne , G. Ažman
Disposition Date
2026-06
Abstract
```cpp We propose to allow specifying precondition and postcondition assertions on virtual functions, in the same way they can already be specified on non-virtual functions:
› P3099R3 Contracts for C++: User-defined diagnostic messages T. Doumler , P. Bindels , J. Berne
Abstract
* Updated Section 2.6 “Constant evaluation”; specified behaviour for unevaluated contexts, discarded contexts, SFINAE, and trial evaluation
› P3100R7 A framework for systematically addressing undefined behaviour in the C++ Standard T. Doumler , J. Berne
Abstract
In this paper, we enumerate all cases of core language undefined behaviour explicitly specified in the C++ Standard, group them into ten categories, and classify them along a number of relevant criteria.
› P3290R6 Integrating Existing Assertions With Contracts J. Berne , T. Doumler , J. Lakos
Abstract
* Presenting feedback from SG22 on the `assert` macro choices, including new subsections on implementation-defined integration and throwing violation handlers
› P3400R4 Controlling Contract-Assertion Properties J. Berne
Abstract
* Major restructuring: new Introduction, Design, Glossary, expanded Standard Library Additions sections
› P3595R0 Configuration of Contract Evaluation Semantics J. Berne , I. Sandoe
› P3596R3 Undefined Behavior and IFNDR Annexes J. Berne , T. Doumler , J. Maurer , S. Yaghmour
Disposition Date
2026-06
Abstract
* Removed deep dive into organization possibilities, organized by clause, made UB and IFNDR descriptions subsection-like
› P3850R1 A proposed plan for extending Contracts in C++29 T. Doumler , J. Berne
Abstract
At the March 2026 WG21 meeting in Croydon, the ISO C++ committee completed the C++26 Standard, including the addition of *contract* assertions. This milestone is the result of a sustained effort by the authors of [[P2900R14](https://wg21.link/p2900r14)] and the WG21 subgroups responsible for evaluating the proposal: SG21, EWG, and CWG. This success was made possible in part by the existence of a c
› P4262R0 Design Considerations for Class Invariants J. Berne
› P4275R0 EWG presentation for P3400R4 J. Berne
› P4283R0 Requires clauses for Contract Assertions J. Berne
› P4298R0 Nonthrowing Evaluation Semantics J. Berne
