Dear community,
Today we are releasing PhASAR v2503. These are the main changes:
- Update LLVM version to LLVM-15 (with opaque pointers)
- Integrate the new IterativeIDESolver: A drop-in replacement for IDESolver giving better performance in terms of both runtime and memory
- Add support for SparseIFDS and SparseIDE
- Add conan2 support
- Include PhASAR using cmake's FetchContent
- Various API improvements (LLVMBasedICFG, TypeHierarchy, ...)
- Various bug fixes
For details, please have a look at the merging PR #758.
Thank you for using PhASAR. We appreciate your feedback, bug reports and contributions.
The PhASAR team