search

NASA-SW-VnV / ikos

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

Release IKOS 3.3 #266

Closed ivanperez-keera closed 7 months ago

ivanperez-keera commented 7 months ago

Final release.

ivanperez-keera commented 7 months ago

This version is just a maintenance release.