search

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

NoOp dummy policy store #41

Open DanielVoogsgerd opened 1 month ago

DanielVoogsgerd commented 1 month ago

Implement a dummy policy store for the no_op reasoner, and possibly other reasoners that do not require a policy

Lut99 commented 1 month ago

Oh you're working on this too already?? Great! OK then let's see what #42 yields us and decide which of the two to implement.

DanielVoogsgerd commented 1 month ago

Oh you're working on this too already?? Great! OK then let's see what #42 yields us and decide which of the two to implement.

Yeah, I needed something anyway to run inside by local instance of Brane. I was good practice regardless. I feel quite familiar with policy reasoner now, so that is a nice side-effect.

Lut99 commented 1 month ago

Sorry for making you do the work twice though :sweat_smile: