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.

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

list_term is not documented in the SAW manual #785

Closed
ChrisEPhifer opened this issue Jul 20, 2020 · 0 comments · Fixed by #786
Closed

list_term is not documented in the SAW manual #785

ChrisEPhifer opened this issue Jul 20, 2020 · 0 comments · Fixed by #786
Assignees
@ChrisEPhifer
Labels
documentation Issues involving documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors usability An issue that impedes efficient understanding and use

Comments

@ChrisEPhifer
Copy link
Member

The list_term function should be documented in the SAW manual, probably somewhere around eval_list (extending the example that's being worked in this section to demonstrate the eval_ primitives.
@ChrisEPhifer ChrisEPhifer added documentation Issues involving documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors usability An issue that impedes efficient understanding and use labels Jul 20, 2020
@ChrisEPhifer ChrisEPhifer self-assigned this Jul 20, 2020
@ChrisEPhifer ChrisEPhifer linked a pull request Jul 20, 2020 that will close this issue
Added documentation for the list_term function to the SAW manual #786
Merged
@ChrisEPhifer ChrisEPhifer mentioned this issue Jul 20, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ChrisEPhifer ChrisEPhifer

Labels
documentation Issues involving documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors usability An issue that impedes efficient understanding and use
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Added documentation for the list_term function to the SAW manual GaloisInc/saw-script
1 participant
@ChrisEPhifer