-
Notifications
You must be signed in to change notification settings - Fork 2
Issues: rlepigre/pml
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
We should be able to use constraint ordering on ordinals.
Wait use case
#39
opened Jul 27, 2022 by
craff
PML can not always use function equalities that it learned
Incompleteness
Wait use case
#22
opened Nov 10, 2017 by
craff
Checking for singleton type could be more complete (mantis #52)
Incompleteness
Wait use case
#10
opened Nov 1, 2017 by
craff
Better handling of mu abstraction and stack in equivalence (mantis #45)
Incompleteness
#7
opened Nov 1, 2017 by
craff
Use unification variables parametrized by ordinals (mantis #57)
Incompleteness
Wait use case
#5
opened Nov 1, 2017 by
craff
managment of unification variable in equivalence Description (mantis #50)
Incompleteness
Wait use case
#4
opened Nov 1, 2017 by
craff
ProTip!
What’s not been updated in a month: updated:<2024-07-30.