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.

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

[basic.stc.dynamic] Rework presentation #4451

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

jensmaurer
Copy link
Member

Clarify syntactic vs. semantic constraints.
Split off treatment of global (de)allocation functions.

Fixes #3315

@jensmaurer jensmaurer closed this Jan 14, 2021
@jensmaurer jensmaurer reopened this Jan 14, 2021
@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Jun 15, 2021
@jensmaurer jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Jun 15, 2021
@jensmaurer
Copy link
Member Author

@tkoeppe, how would you like to proceed here?

@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Jan 23, 2022
Clarify syntactic vs. semantic constraints.
Split off treatment of global (de)allocation functions.
@jensmaurer jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Jan 23, 2022
@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Aug 19, 2022
@tkoeppe
Copy link
Contributor

tkoeppe commented Aug 22, 2022

@jensmaurer: interested, but maybe to be discussed in a meeting.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs rebase The pull request needs a git rebase to resolve merge conflicts.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[basic.stc.dynamic.deallocation] Use of incorrect grammar
3 participants