analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

sparseOctagons: a new sparse implementation of Miné's Octagons

Open DrMichaelPetter opened this issue 7 months ago • 1 comments

This PR is for experimenting with a re-implementation of Miné's Octagons in Ocaml with a focus on sparsity. For now we are just interested, how this re-implementation does perform in comparison to the 'standard' apron implementation.

DrMichaelPetter avatar Jul 03 '25 08:07 DrMichaelPetter