Search results

P3661 R0 Attributes, annotations, labels

contractsContractsContracts

Status: Open.

#2290 In cplusplus/papers;

· wg21bot opened on Mar 19, 2025

 ·  

2025-telecon

P3626 R0 Make predicate exceptions propagate by default

contractsContractsContracts

SG21ContractsContracts

Status: Open.

#2266 In cplusplus/papers;

· wg21bot opened on Mar 19, 2025

 ·  

2025-telecon

P3583 R0 Contracts, Types & Functions

contractsContractsContracts

needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

SG21ContractsContracts

Status: Open.

#2226 In cplusplus/papers;

· wg21bot opened on Jan 14, 2025

 ·  

2025-telecon

P3400 R1 Specifying Contract Assertion Properties with Labels

contractsContractsContracts

needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

SG21ContractsContracts

Status: Open.

#2184 In cplusplus/papers;

· wg21bot opened on Jan 14, 2025

 ·  

2025-telecon

P3098 R1 Contracts for C++: Postcondition captures

contractsContractsContracts

needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

SG21ContractsContracts

Status: Open.

#2059 In cplusplus/papers;

· wg21bot opened on Oct 17, 2024

 ·  

2025-telecon

P3361 R1 Class invariants and contract checking philosophy

contractsContractsContracts

needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

SG21ContractsContracts

Status: Open.

#2021 In cplusplus/papers;

· wg21bot opened on Aug 15, 2024

 ·  

2025-telecon

P3321 R0 Contracts Interaction With Tooling

contractsContractsContracts

SG15ToolingTooling

Status: Open.

#1992 In cplusplus/papers;

· wg21bot opened on Jul 16, 2024

 ·  

2025-telecon

P3318 R0 Throwing violation handlers, from an application programming perspective

C++29Targeted at C++29Targeted at C++29

contractsContractsContracts

infoInformational paperInformational paper

LEWGLibrary EvolutionLibrary Evolution

policy

Status: Open.

#1967 In cplusplus/papers;

· wg21bot opened on May 22, 2024

 ·  

2025-telecon

P3317 R0 Compile time resolved contracts

contractsContractsContracts

needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

SG21ContractsContracts

Status: Open.

#1966 In cplusplus/papers;

· wg21bot opened on May 22, 2024

 ·  

2025-telecon

P3297 R1 C++26 Needs Contract Checking

contractsContractsContracts

infoInformational paperInformational paper

Status: Open.

#1949 In cplusplus/papers;

· wg21bot opened on May 22, 2024

 ·  

2025-telecon

P3290 R2 Integrating Existing Assertions With Contracts

C++29Targeted at C++29Targeted at C++29

contractsContractsContracts

LEWGLibrary EvolutionLibrary Evolution

SG22C / C++ liaisonC / C++ liaison

Status: Open.

#1943 In cplusplus/papers;

· wg21bot opened on May 22, 2024

 ·  

2025-telecon

P4000 R0 To TS or not to TS: that is the question

contractsContractsContracts

infoInformational paperInformational paper

Status: Open.

#1934 In cplusplus/papers;

· wg21bot opened on May 22, 2024

 ·  

2025-telecon