Release date
December 2024
Summary
This release addresses forward portability issues that manifest with newer versions of Python and will manifest with newer versions of LLVM.
List of changes
analyzer
- Remove use of deprecated python module pipes (#292).
frontend
- Replace calls to deprecated function
getAlignment(#304).
Overall changes
- Version bump (#310).
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 is exactly the same number of lines as the previous version.
We had submissions from 1 new author who had never submitted patches to IKOS before.
Full Changelog: v3.4...v3.5