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

Migrate some documentation about attributes #5390

Merged
merged 6 commits into from Nov 10, 2020
Merged

Conversation

ajreynol
Copy link
Member

@ajreynol ajreynol commented Nov 3, 2020

From old wiki.

@ajreynol ajreynol added minor Priority simple Complexity labels Nov 3, 2020
Copy link
Member

@aniemetz aniemetz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some minor things, else LGTM.

src/expr/attribute.h Outdated Show resolved Hide resolved
src/expr/attribute.h Outdated Show resolved Hide resolved
src/expr/attribute.h Outdated Show resolved Hide resolved
src/expr/attribute.h Outdated Show resolved Hide resolved
@aniemetz aniemetz added the do not merge Do not merge this PR if you are not the author label Nov 9, 2020
Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
@ajreynol ajreynol removed the do not merge Do not merge this PR if you are not the author label Nov 9, 2020
@ajreynol ajreynol merged commit 0df0954 into cvc5:master Nov 10, 2020
@ajreynol ajreynol deleted the attrDoc branch November 10, 2020 02:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
minor Priority simple Complexity
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants