search

NASA-SW-VnV / ikos

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

Release IKOS 3.4 #287

Closed ivanperez-keera closed 1 day ago

ivanperez-keera commented 4 days ago

Final release.