P3297 R1 C++26 Needs Contract Checking · Issue #1949 · cplusplus/papers · GitHub
Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

P3297 R1 C++26 Needs Contract Checking #1949

Open
wg21bot opened this issue May 22, 2024 · 5 comments
Open

P3297 R1 C++26 Needs Contract Checking #1949

wg21bot opened this issue May 22, 2024 · 5 comments
Labels
contracts Contracts info Informational paper
Milestone
2024-telecon

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented May 22, 2024 •
edited by jfbastien
Loading

P3297R0 C++26 Needs Contract Checking (Ryan McDougall, Christian Eltzschig, Mathias Kraus, Pez Zarifian)
@wg21bot wg21bot added EWG Evolution SG21 Contracts SG23 Safety and Security labels May 22, 2024
@wg21bot wg21bot added this to the 2024-telecon milestone May 22, 2024
@jfbastien jfbastien removed the EWG Evolution label May 25, 2024
@jfbastien
Copy link
Collaborator

SG21/SG23 should consider and bring to EWG.

@timuraudio
Copy link
Collaborator

Considered by SG21; sending to EWG.

SG21 Teleconference 2024-05-30

SG21 recommends that the ship vehicle for the Contracts MVP be a TS and not the C++ IS (C++26 if possible or C++29 if C++26 is not possible)
SF F N A SA
1 3 3 12 10
Consensus against

@timuraudio timuraudio added EWG Evolution contracts Contracts info Informational paper and removed SG21 Contracts labels Jun 20, 2024
@rogerorr
Copy link
Collaborator

rogerorr commented Jun 25, 2024 •
edited
Loading

Presented in SG23 2024-06-25.

POLL: We would prefer to ship a watered down P2900 as described in D3297R1 than nothing in C++26.

Strongly Favor Favor Neutral Against Strongly Against
6 7 1 3 0

@hanickadot
Copy link
Collaborator

Seen by EWG in St. Louis

@hanickadot hanickadot removed the EWG Evolution label Jun 28, 2024
@wg21bot
Copy link
Collaborator Author

wg21bot commented Jul 16, 2024

P3297R1 C++26 Needs Contract Checking (Ryan McDougall, Jean-Francois Campeau, Christian Eltzschig, Mathias Kraus, Pez Zarifian)

@wg21bot wg21bot changed the title P3297 R0 C++26 Needs Contract Checking P3297 R1 C++26 Needs Contract Checking Jul 16, 2024
@rogerorr rogerorr removed the SG23 Safety and Security label Oct 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
contracts Contracts info Informational paper
Projects
None yet
Milestone
2024-telecon
Development

No branches or pull requests
5 participants
@jfbastien @hanickadot @rogerorr @timuraudio @wg21bot