Skip to content

Conversation

DrMichaelPetter
Copy link
Collaborator

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 DrMichaelPetter self-assigned this Jul 3, 2025
@DrMichaelPetter DrMichaelPetter added in progress relational Relational analyses (Apron, affeq, lin2var) labels Jul 3, 2025
@michael-schwarz michael-schwarz added the performance Analysis time, memory usage label Jul 3, 2025
@michael-schwarz
Copy link
Member

I guess this is a draft, right?

@michael-schwarz michael-schwarz marked this pull request as draft July 15, 2025 11:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
in progress performance Analysis time, memory usage relational Relational analyses (Apron, affeq, lin2var)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants