P1494 R4 Partial program correctness #376

New issue

Copy link

New issue

Copy link

Closed

cplusplus/draft

#7681

cplusplus/draft#7681

Closed

P1494 R4 Partial program correctness#376

cplusplus/draft

#7681

Copy link

Labels

C++26Targeted at C++26Targeted at C++26CWGCoreCoreISShip vehicle: ISShip vehicle: ISLWGLibraryLibraryplenary-approvedPapers approved for inclusion in their target vehicle by plenary vote.Papers approved for inclusion in their target vehicle by plenary vote.size - tinypaper size estimate, smaller than smallpaper size estimate, smaller than smallstraw-pollStraw pollStraw poll

Milestone

 

2025-telecon

Description

wg21bot

opened on Mar 20, 2019

P1494R0 Partial program correctness (S. Davis Herring)

Activity

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

Metadata

Assignees

No one assigned

Labels

C++26Targeted at C++26Targeted at C++26CWGCoreCoreISShip vehicle: ISShip vehicle: ISLWGLibraryLibraryplenary-approvedPapers approved for inclusion in their target vehicle by plenary vote.Papers approved for inclusion in their target vehicle by plenary vote.size - tinypaper size estimate, smaller than smallpaper size estimate, smaller than smallstraw-pollStraw pollStraw poll

Type

No type

Projects

CWG

• Status

  Approved for plenary vote

2024-11 Wrocław Library Evolution Agenda

• Status

  Done

Milestone

• 2025-telecon

Relationships

None yet

Development

No branches or pull requests

Issue actions