NASA-SW-VnV / ikos

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

Remove info on releases available on Github; move old history to `doc/` #238

Closed ivanperez-keera closed 11 months ago

ivanperez-keera commented 1 year ago

Because we have a releases section on Github, having a releases document just adds unnecessary duplication.

This commit removes information on releases, which has already been published and documented via Github.

EDIT: All releases are now documented publicly, so the document can be removed altogether.