Search results

Manager.wasExact does not return true, even if Manager.setExactFlag is set

Status: Open.

#127 In antoinemine/apron;

· svenkeidel opened on Sep 24, 2025

Assigning Multiple Real Variables at Once Results in Bottom Octagon

Status: Open.

#125 In antoinemine/apron;

· svenkeidel opened on Sep 10, 2025

Runtime for Octagon domain exceeds Polyhedral domain in programs with large number of variables

Status: Open.

#124 In antoinemine/apron;

· DivyaRathore09 opened on Aug 13, 2025

Octagons widening is not widening?

Status: Open.

#123 In antoinemine/apron;

· caterinaurban opened on Jun 12, 2025

PPL is silently not detected if there is no C++ compiler installed

Status: Open.

#121 In antoinemine/apron;

· eponier opened on Apr 30, 2025

<code>bound_texpr</code> could be more precise for non-linear expressions

enhancementNew feature or requestNew feature or request

Status: Open.

#96 In antoinemine/apron;

· rmonat opened on Dec 5, 2023

hasVar() for level 1

Status: Open.

#94 In antoinemine/apron;

· winnieros opened on Sep 27, 2023

Suggestion: integer division and linearization could be more precise

enhancementNew feature or requestNew feature or request

Status: Open.

#88 In antoinemine/apron;

· rmonat opened on Jul 7, 2023

Is there a way to have precise assignments on PPL Grid?

enhancementNew feature or requestNew feature or request

Status: Open.

#73 In antoinemine/apron;

· rmonat opened on Apr 4, 2023

Minimize for octagons

enhancementNew feature or requestNew feature or request

Status: Open.

#44 In antoinemine/apron;

· sim642 opened on Jun 13, 2022

Move headers in a subdirectory

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In antoinemine/apron;

· arthaud opened on Aug 19, 2019

Review README &amp; build instructions

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In antoinemine/apron;

· antoinemine opened on Jan 10, 2019