Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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

[Question][Hw2] #155

Closed
08kmc09 opened this issue Sep 20, 2023 · 1 comment
Closed

[Question][Hw2] #155

08kmc09 opened this issue Sep 20, 2023 · 1 comment

Comments

@08kmc09
Copy link
Contributor

08kmc09 commented Sep 20, 2023 •
edited
Loading

Name: Mincheol Kwon

YOUR QUESTION

src_x = tgt_x /\ src_y + 0 = src_x /\ not (src_y = tgt_x)

In the README.md, the explanation of Program Equivalence Checker is defined as above.

However, I think it should be replaced with src_x = tgt_x /\ src_y = src_x + 0 /\ not (src_y = tgt_x)

I think the intentional derivation was functional congruence. So the body part calculation is misleading.
@goodtaeeun
Copy link
Contributor

I am sorry for the late reply.
Thank you for suggesting a correction for the homework description.

You are correct.
src_x = tgt_x /\ src_y = src_x + 0 /\ not (src_y = tgt_x) will be the right formula for the given example.

@08kmc09 08kmc09 closed this as completed Sep 26, 2023
@KihongHeo KihongHeo reopened this May 30, 2024
@KihongHeo KihongHeo added the Q&A label May 31, 2024
@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 31, 2024
@KihongHeo KihongHeo converted this issue into discussion #274 May 31, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@KihongHeo @goodtaeeun @08kmc09