Workflow no calls - Githubissues

epi-project / policy-reasoner

Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.

1 stars 1 forks source link

Workflow no calls #13

Closed Lut99 closed 10 months ago

Lut99 commented 10 months ago

Removed the call-support from the checker workflow.

Accordingly, added preprocessing step that attempts to inline functions as much as possible before compilation.

Fixes #12