Annoucement: IKOS 3.5

[ivanperez-keera]

The IKOS team is delighted to announce the release of IKOS 3.5. This is a maintenance release compatibility issues with newer versions of python and with future versions of LLVM.

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

Metrics

3 issues were closed as part of IKOS 3.5.

The net balance including all files (e.g., code, docs) is that IKOS 3.5 the same size as the previous version.

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

Notes

In the last release, we received a report of an installation issue on MacOS related to homebrew not detecting the Xcode SDK correctly. A workaround has been published here: #306 (comment). We'll publish a definitive solution soon. Until then, we recommend that MacOS users interested in trying IKOS 3.5 follow the instructions in that comment.