-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Audit the next OVK release candidate
help wantedExtra attention is neededExtra attention is neededStatus: Open.#21 In fraware/open-verification-kernel;Run an external advisory-mode pilot
help wantedExtra attention is neededExtra attention is neededStatus: Open.#20 In fraware/open-verification-kernel;Add one external agent-authored PR fixture
good first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#19 In fraware/open-verification-kernel;- Status: Open.#15 In fraware/open-verification-kernel;
Add native Z3 parity for authorization reachability
help wantedExtra attention is neededExtra attention is neededStatus: Open.#3 In fraware/open-verification-kernel;Run self-protection checks through native OPA
help wantedExtra attention is neededExtra attention is neededStatus: Open.#1 In fraware/open-verification-kernel;