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

[ProVerif] Translate early return version of question marks #562

Closed

Tracked by

jschneider-bensch opened this issue Mar 11, 2024 · 1 comment

Closed

Tracked by

[ProVerif] Translate early return version of question marks #562

jschneider-bensch opened this issue Mar 11, 2024 · 1 comment

Assignees

Collaborator

jschneider-bensch commented Mar 11, 2024 •

edited

Loading

The translation of question marks into early returns (cf. #559) means the handling of question marks by the backend has to be adapted.

jschneider-bensch mentioned this issue

[ProVerif / Meta] Bertie Extraction Milestone #541

Closed

4 tasks

github-project-automation bot added this to hax

jschneider-bensch self-assigned this

jschneider-bensch mentioned this issue

Adapt translation to early return question mark #564

Merged

Collaborator Author

jschneider-bensch commented Apr 2, 2024

Addressed in #564 .

jschneider-bensch closed this as completed

github-project-automation bot moved this to Done in hax

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