search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
132 stars 32 forks source link

Fix C errors for the SBCL-based ARM Mac build #96

Open kai-e opened 1 year ago

kai-e commented 1 year ago

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