PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
442 stars 93 forks source link

Fix issue #561 (missing check for long-long signed overflow) #567

Closed andrew-appel closed 2 years ago

andrew-appel commented 2 years ago

and also, fix a bug with extendM that was inadvertently introduced in P.R. #555.

closes #561