Skip to content
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

Open calls #156

Merged
merged 4 commits into from
Jan 12, 2022
Merged

Open calls #156

merged 4 commits into from
Jan 12, 2022

Conversation

lucaneg
Copy link
Member

@lucaneg lucaneg commented Jan 12, 2022

Description
Introducing OpenCallPolicy to customize what happens when an open call is executed. This comes as an interface so that users can declare their onw policies.

Implemented features
Closes #151

@lucaneg lucaneg added 🎆 type:feature New feature or request 🛠 type:refactoring Refactoring of the codebase labels Jan 12, 2022
@lucaneg lucaneg added this to the 0.1b4 milestone Jan 12, 2022
@lucaneg lucaneg self-assigned this Jan 12, 2022
@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Jan 12, 2022
@github-actions

This comment has been minimized.

@lucaneg lucaneg removed the 🏗 resolution:wip Incomplete work - do not review yet label Jan 12, 2022
@VincenzoArceri VincenzoArceri merged commit 943c8e5 into master Jan 12, 2022
@VincenzoArceri VincenzoArceri deleted the open-calls branch January 12, 2022 12:23
@github-actions
Copy link

All Test Results (unit + cron)

  44 files  ±0    44 suites  ±0   18s ⏱️ +5s
227 tests ±0  227 ✔️ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 943c8e5. ± Comparison against base commit ea27871.

@lucaneg lucaneg added the 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms label Jan 21, 2022
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 🛠 type:refactoring Refactoring of the codebase
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[FEATURE REQUEST] Parametrize open call behavior
2 participants