Skip to content

feat: Handle more OPA semantics in RVM compiler - #515

Merged
Anand Krishnamoorthi (anakrish) merged 3 commits into
microsoft:mainfrom
anakrish:rvm-opa-1
Dec 3, 2025
Merged

feat: Handle more OPA semantics in RVM compiler#515
Anand Krishnamoorthi (anakrish) merged 3 commits into
microsoft:mainfrom
anakrish:rvm-opa-1

feat: Soft-assert mode for builtin out-params under not

b7b3d3e
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / clippy succeeded Dec 2, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.