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

Fix monadic transform for ?s #399

Closed
2 tasks done
W95Psp opened this issue Dec 21, 2023 · 0 comments · Fixed by #439
Closed
2 tasks done

Fix monadic transform for ?s #399

W95Psp opened this issue Dec 21, 2023 · 0 comments · Fixed by #439
Labels
backend Issue in one of the backends (i.e. F*, Coq, EC...) engine Issue in the engine

Comments

@W95Psp
Copy link
Collaborator

W95Psp commented Dec 21, 2023 •
edited
Loading

  • Add tests
  • F*
@W95Psp W95Psp added backend Issue in one of the backends (i.e. F*, Coq, EC...) engine Issue in the engine labels Dec 21, 2023
@W95Psp W95Psp mentioned this issue Dec 21, 2023
Closed
7 tasks
W95Psp added a commit that referenced this issue Jan 17, 2024
@W95Psp
feat(engine/phase/question-marks): rework, fix #399
6fa0aa7
@W95Psp W95Psp mentioned this issue Jan 17, 2024
Merged
W95Psp added a commit that referenced this issue Jan 17, 2024
@W95Psp
feat(engine/phase/question-marks): rework, fix #399
9369adb
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
backend Issue in one of the backends (i.e. F*, Coq, EC...) engine Issue in the engine
Projects
No open projects
hax
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix question marks hacspec/hax
1 participant
@W95Psp