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

Defining new preconditions #448

Closed
mnot opened this issue Sep 8, 2020 · 0 comments · Fixed by #487
Closed

Defining new preconditions #448

mnot opened this issue Sep 8, 2020 · 0 comments · Fixed by #487

Comments

@mnot
Copy link
Member

@mnot mnot commented Sep 8, 2020

Some guidance about how and if new preconditions can be defined would be helpful.

See mailing list thread.

@mnot mnot added the semantics label Sep 8, 2020
@mnot mnot self-assigned this Oct 22, 2020
mnot added a commit that referenced this issue Oct 22, 2020
@mnot mnot closed this in #487 Nov 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging a pull request may close this issue.

1 participant