-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: overturetool/language
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Redefining VDM recursive measures as well-founded lexicographic tuples
#58
opened Nov 13, 2023 by
leouk
Inconsistency with eq_T and ord_T signatures
Request for Clarification
#50
opened Nov 1, 2020 by
nickbattle
VDM Annotations
enhancement
Investigation
VSCode Review
Issue to be reviewed once VSCode has replaced Overture and is stable.
#46
opened Nov 18, 2018 by
nickbattle
RC: Total Functions
Request for Clarification
VSCode Review
Issue to be reviewed once VSCode has replaced Overture and is stable.
#44
opened Nov 18, 2017 by
paulch42
ProTip!
Find all open issues with in progress development work with linked:pr.