Announcement: IKOS 3.3

[ivanperez-keera]

The IKOS team is delighted to announce the release of IKOS 3.3. This is a maintenance release that addresses bugs related to supporting new versions of dependencies, both in Python and C++, and changing the order of passes in the frontend to avoid an error when switches are expanded.

For a detailed list of changes, see: https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.3

Metrics

4 issues were closed as part of IKOS 3.3.

The net balance including all files (e.g., code, docs) is that IKOS 3.4 is 4 lines bigger than the previous version.

We had submissions from 1 new author who had never submitted patches to IKOS before. Thanks!