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

Summarize function bodies #31

Closed

hermanventer opened this issue Jan 10, 2019 · 0 comments · Fixed by #66

Assignees

Labels

Milestone

Track state changes

Collaborator

hermanventer commented Jan 10, 2019

Implement the code to extract a suitable summary from the state constructed by the visitor for a function body.

hermanventer added the enhancement label

hermanventer self-assigned this

hermanventer mentioned this issue

Bundle DefId value with function constant to help with summary caching. #43

Merged

5 tasks

hermanventer added this to the Track state changes milestone

hermanventer mentioned this issue

Include side-effects into function summaries. #66

Merged

5 tasks

hermanventer closed this as completed in #66

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