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

Optimize symbolic heap #208

Open

sorawee wants to merge 2 commits into emina:master from sorawee:opt-symbolic-heap

Collaborator

sorawee commented Nov 19, 2021

No description provided.

sorawee force-pushed the opt-symbolic-heap branch from 8d22354 to d8c1576 Compare

November 10, 2022 20:10

sorawee changed the title ~~[WIP] optimize symbolic heap~~ Optimize symbolic heap

Collaborator Author

sorawee commented Nov 10, 2022

This is now ready for a review, though it depends on #248, so #248 should be merged first. I will then rebase again, so that it can be merged.

sorawee marked this pull request as ready for review

November 11, 2022 00:24

sorawee added 2 commits

November 11, 2022 14:57


          optimize symbolic heap with hasheq

9b09365


          Add some notes + clean up

7485e4c

sorawee force-pushed the opt-symbolic-heap branch from fb94e51 to 7485e4c Compare

November 11, 2022 22:58

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