search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.36k stars 171 forks source link

Update version number to 3.2 (#255). #256

Closed ivanperez-keera closed 10 months ago

ivanperez-keera commented 11 months ago

Final release of IKOS 3.2.

ivanperez-keera commented 11 months ago

I'm keeping this ready, but it's on hold for a day or so to give any last testers an opportunity to come forward.

ivanperez-keera commented 10 months ago

I will merge tomorrow Thursday if all goes well. If you need to do any last minute checks, @arthaud , please go ahead.