search

antoinemine / apron

Apron Numerical Abstract Domain Library
Other
114 stars 33 forks source link

Fix/compilation warnings #80

Closed antoinemine closed 1 year ago

antoinemine commented 1 year ago

Fix various C/C++ compiler warnings for cleaner compilation.