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.

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

Soundness proof for if/else #7

Open
gebn opened this issue Feb 19, 2015 · 2 comments
Open

Soundness proof for if/else #7

gebn opened this issue Feb 19, 2015 · 2 comments
Assignees
@RenuAB
Labels
proof

Comments

@gebn
Copy link
Owner

gebn commented Feb 19, 2015

Assigned to @sam066 and @mikeyt103.
@gebn gebn added the proof label Feb 19, 2015
@gebn gebn closed this as completed in 162d56c Feb 20, 2015
@gebn gebn assigned gebn and unassigned sdjnes Feb 20, 2015
@gebn
Copy link
Owner Author

gebn commented Feb 20, 2015

I hadn't realised the extent to which the restrictions imposed on this construct's use made it trivial to prove - it was almost done by accident. It may be worth looking into how we can extend its use to make the proof more interesting.

@gebn
Copy link
Owner Author

gebn commented Mar 17, 2015

Reassigned after refactor to @RenuAB.

@gebn gebn reopened this Mar 17, 2015
@gebn gebn assigned RenuAB and mikeyt103 and unassigned gebn, RenuAB and mikeyt103 Mar 17, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RenuAB RenuAB

Labels
proof
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@gebn @mikeyt103 @sdjnes @RenuAB