Skip to content

Add auxiliar interval methods#267

Merged
lucaneg merged 5 commits intomasterfrom
interval-methods
Jan 10, 2023
Merged

Add auxiliar interval methods#267
lucaneg merged 5 commits intomasterfrom
interval-methods

Conversation

@VincenzoArceri
Copy link
Member

Description
This pull request makes the class IntInterval iterable and adds some support methods to convert the finite value of a MathNumber to a numeric Java type

@VincenzoArceri VincenzoArceri added 🎆 type:feature New feature or request 🏗 resolution:wip Incomplete work - do not review yet labels Jan 10, 2023
@VincenzoArceri VincenzoArceri self-assigned this Jan 10, 2023
@lucaneg lucaneg added this to the 0.1b8 milestone Jan 10, 2023
@lucaneg lucaneg added 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🛠 type:refactoring Refactoring of the codebase and removed 🎆 type:feature New feature or request 🏗 resolution:wip Incomplete work - do not review yet labels Jan 10, 2023
@lucaneg lucaneg merged commit ccad56e into master Jan 10, 2023
@lucaneg lucaneg deleted the interval-methods branch January 10, 2023 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🛠 type:refactoring Refactoring of the codebase

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants