PVS icon indicating copy to clipboard operation
PVS copied to clipboard

Published 20 hours ago • verified publisher icon SRI-CSL

Fix C errors for the SBCL-based ARM Mac build

Open kai-e opened this issue 1 year ago • 0 comments

These trivial fixes help with getting PVS compiled on ARM-based Macs.

kai-e avatar Apr 02 '23 13:04 kai-e