Issues

• Bug in newpolka: assertion triggered when projecting away a dimension

  antoinemine/apron#131 · Filter by author ezaffanella opened on Aug 4, 2026
  2

• Issue with polyhedra assign_linexpr

  antoinemine/apron#130 · Filter by author tigerrex9 opened on Jul 27, 2026
  1

• Soundness bug while handling texprs containing pow

  antoinemine/apron#129 · Filter by author sgomber opened on May 12, 2026
  2

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

  antoinemine/apron#127 · Filter by author svenkeidel opened on Sep 24, 2025

• Assigning Multiple Real Variables at Once Results in Bottom Octagon

  antoinemine/apron#125 · Filter by author svenkeidel opened on Sep 10, 2025
  1

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

  antoinemine/apron#124 · Filter by author DivyaRathore09 opened on Aug 13, 2025
  1

• Octagons widening is not widening?

  antoinemine/apron#123 · Filter by author caterinaurban opened on Jun 12, 2025
  5

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

  antoinemine/apron#121 · Filter by author eponier opened on Apr 30, 2025

• bound_texpr could be more precise for non-linear expressions

  enhancement
  antoinemine/apron#96 · Filter by author rmonat opened on Dec 5, 2023

• hasVar() for level 1

  antoinemine/apron#94 · Filter by author winnieros opened on Sep 27, 2023
  6

• Suggestion: integer division and linearization could be more precise

  enhancement
  antoinemine/apron#88 · Filter by author rmonat opened on Jul 7, 2023

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

  enhancement
  antoinemine/apron#73 · Filter by author rmonat opened on Apr 4, 2023
  1

• Minimize for octagons

  enhancement
  antoinemine/apron#44 · Filter by author sim642 opened on Jun 13, 2022

• Move headers in a subdirectory

  enhancement
  antoinemine/apron#16 · Filter by author arthaud opened on Aug 19, 2019
  2

• Review README & build instructions

  enhancement
  antoinemine/apron#1 · Filter by author antoinemine opened on Jan 10, 2019
  7