Draft: Add new CPA for numeric libraries (Apron and Elina) as replacement of ApronCPA and OctagonCPA (!41) · Merge requests · SoSy-Lab / Software / CPAchecker

Karlheinz Friedberger requested to merge octagon-upgrade into trunk Dec 28, 2020

This branch is the result of a bachelor thesis and will be integrated soon. The existing components are not maintained and the native libraries are outdated. The new approach will use a newer library named Elina as backend. The idea is to replace the existing CPAs for Octagon and Apron with one new CPA for numeric operations based on Elina.

Fixes: #452

Edited Jan 11, 2023 by Philipp Wendler

Draft: Add new CPA for numeric libraries (Apron and Elina) as replacement of ApronCPA and OctagonCPA

Merge request reports