Skip to content

Public Interval constructors#186

Merged
lucaneg merged 1 commit intomasterfrom
public-intervals
Feb 8, 2022
Merged

Public Interval constructors#186
lucaneg merged 1 commit intomasterfrom
public-intervals

Conversation

@lucaneg
Copy link
Member

@lucaneg lucaneg commented Feb 8, 2022

Description
Closes #185

@lucaneg lucaneg added 🎆 type:feature New feature or request 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Feb 8, 2022
@lucaneg lucaneg added this to the 0.1b5 milestone Feb 8, 2022
@lucaneg lucaneg self-assigned this Feb 8, 2022
@lucaneg lucaneg added 🏗 resolution:wip Incomplete work - do not review yet and removed 🏗 resolution:wip Incomplete work - do not review yet labels Feb 8, 2022
@github-actions
Copy link

github-actions bot commented Feb 8, 2022

Unit Test Results

  35 files    35 suites   21s ⏱️
207 tests 207 ✔️ 0 💤 0 ❌

Results for commit 709c18a.

@github-actions

This comment has been minimized.

@lucaneg lucaneg merged commit 12ab2fb into master Feb 8, 2022
@lucaneg lucaneg deleted the public-intervals branch February 8, 2022 17:33
@github-actions
Copy link

github-actions bot commented Feb 8, 2022

All Test Results (unit + cron)

  45 files  ±0    45 suites  ±0   26s ⏱️ -1s
229 tests ±0  229 ✔️ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 12ab2fb. ± Comparison against base commit 9f032e3.

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:feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[FEATURE REQUEST] Make Interval constructors public

1 participant