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

P2712 Classification of Contract-Checking Predicates #1398

Closed

wg21bot opened this issue Dec 5, 2022 · 1 comment

Labels

info SG21

Milestone

Collaborator

wg21bot commented Dec 5, 2022

P2712R0 Classification of Contract-Checking Predicates (Joshua Berne)

wg21bot added the SG21 label

wg21bot added this to the 2022-telecon milestone

jensmaurer modified the milestones: 2022-telecon, 2023 Telecons

jensmaurer modified the milestones: 2023-telecon, 2024-telecon

timuraudio added the info label

Collaborator

timuraudio commented Jun 20, 2024

Informational paper, considered by SG21, nothing further to do

timuraudio closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment