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

Symbolic bound resolution with difference #22

Closed

nmacedo opened this issue Dec 5, 2017 · 1 comment · Fixed by #29

Assignees

Labels

Milestone

Member

nmacedo commented Dec 5, 2017

When resolving bounds with difference the upper bound cannot be used directly; any other problematic operators?

nmacedo added the prd-symbolic label

nmacedo added this to the v1.0 milestone

nmacedo self-assigned this

Member Author

nmacedo commented Oct 15, 2018

Fixed in 0577ba1.

nmacedo closed this as completed

nmacedo mentioned this issue

Version 1.1.0 #29

Merged

nmacedo modified the milestones: v1.0, v1.1

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