Skip to content

OMP pin unchecked while Orca reports no OMP status (0.23.1) - #64

Merged
hieuphung97 merged 4 commits into
mainfrom
fix/omp-unchecked-pin
Oct 5, 2026
Merged

OMP pin unchecked while Orca reports no OMP status (0.23.1)#64
hieuphung97 merged 4 commits into
mainfrom
fix/omp-unchecked-pin

Record the live verification of c7e96e4 and the OMP attention finding.

3ebb66c
Select commit
Loading
Failed to load commit list.

There are no checks for this commit