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

refZero: zero out a reference. #75

Closed

leepike wants to merge 2 commits into master from refzero

Contributor

leepike commented May 3, 2016

@elliottt this is the refZero statement I mentioned. Let me know if you see any issues.

leepike added 2 commits

May 2, 2016 21:41


          refZero: zero out a reference.

d3a22c1


          ivory-model-check: error on RefZero until implemented.

fbfe2d0

Contributor Author

leepike commented May 3, 2016

Actually, it's not this easy, since this allows us to zero a ref to a ref. I retract this merge request.

leepike closed this

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

Labels

None yet