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

Agda translation relation for CaseOfCase UPLC phase #5916

Open

Tracked by

ramsay-t opened this issue Apr 22, 2024 · 0 comments · May be fixed by #5947

Open

Tracked by

Agda translation relation for CaseOfCase UPLC phase #5916

ramsay-t opened this issue Apr 22, 2024 · 0 comments · May be fixed by #5947

Assignees

Labels

Internal status: triaged Untyped Plutus Core

Contributor

ramsay-t commented Apr 22, 2024 •

edited

The CaseOfCase phase in the UPLC compiler needs an Agda translation relation of the form defined in the paper.

ramsay-t mentioned this issue

Compiler certification #5893

Open

8 tasks

ramsay-t self-assigned this

github-actions bot added the status: needs triage label

ramsay-t added Untyped Plutus Core status: triaged Internal and removed status: needs triage labels

ramsay-t linked a pull request

that will close this issue

UCaseOfCase Translation Relation #5947

Open

8 tasks

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