Announcement: IKOS 3.4

[ivanperez-keera]

The IKOS team is delighted to announce the release of IKOS 3.4. This release addresses a false positive that may arise when snprintf is used a program, and addresses several smaller bugs due to updates of compilers and dependencies.

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

Metrics

4 issues were closed as part of IKOS 3.4, as well as another issue that pertained to a different project.

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

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