-
Notifications
You must be signed in to change notification settings - Fork 32
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
Prototype mru #43
Prototype mru #43
Conversation
504ead5
to
122f25d
Compare
Details about my implementation, I made |
122f25d
to
6efe7a9
Compare
// mem: { 1 <= V1 <= 2; V1 < V2; ... } | ||
// The cache line will be: | ||
// cache_lines: { 1 <= V1 <= 2; V1 < V2; } | ||
void expand(const variable_t &rgn) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The name expand
already exists. I would call it differently. I would use a name like materialize
so we use fold
and materialize
like in shape abstract domains.
new implementation on PR #60. |
fold
: add three examples;expand
: add two examples.