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

Inconsistencies between the paper and implementation #42

Open
xFrednet opened this issue Oct 29, 2024 · 0 comments
Open

Inconsistencies between the paper and implementation #42

xFrednet opened this issue Oct 29, 2024 · 0 comments
Labels
enhancement New feature or request
Milestone

Comments

@xFrednet
Copy link
Collaborator

xFrednet commented Oct 29, 2024

Paper FrankenScript Resolution
freeze only work on regions freeze work on all node types ¯\_(ツ)_/¯
Mentions the owner field explicitly Knows about the parent region, but is not shown in the Mermaid diagram ¯\_(ツ)_/¯
drop deletes a region drop sets the value to None TODO Remove Drop
exit("sting") TODO
taint_cown() function that sets the cown status to acquired and then taints stuff TODO
Regions have a status free/captured (Section 3.2) Not visually highlighted or indicator TODO
merge(b1, b2) merges two regions into one. Can also be used to move a region into the local region Open issue #51 and #13 TODO
Grammar uses not No not keyword and only != TODO
@xFrednet xFrednet added bug Something isn't working enhancement New feature or request and removed bug Something isn't working labels Oct 29, 2024
@xFrednet xFrednet added this to the PLDI milestone Nov 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant