Skip to content

Open calls#156

Merged
VincenzoArceri merged 4 commits intomasterfrom
open-calls
Jan 12, 2022
Merged

Open calls#156
VincenzoArceri merged 4 commits intomasterfrom
open-calls

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