antoinemine/apron

Issues

• Difficulty installing apron with LLVM14 using Homebrew on MacosX

  #118 opened 4 months ago by ivanperez-keera
  2

• Please add to the README how to run tests

  #110 opened 5 months ago by yurivict
  1

• install --strip causing problems on Mac

  #93 opened 5 months ago by caballa
  2

• Regression in 0.9.14: illegal option -- -

  #98 opened 5 months ago by yurivict
  4

• Segmentation fault in oct_free

  #117 opened 5 months ago by svenkeidel
  4

• Missing simplification opportunity in `linexpr` assignment

  #116 opened 6 months ago by Mm7
  2

• Infinity floating-point values in Octagons

  #115 opened 6 months ago by svenkeidel
  2

• Loading Octagons breaks floating point addition

  #114 opened 6 months ago by svenkeidel
  2

• Unsoundness of 64-bit floating point rounding

  #111 opened 6 months ago by svenkeidel
  5

• Unlawful `compare` implementations

  #99 opened 7 months ago by sim642
  5

• Issues with DISEQ constraint?

  #109 opened 7 months ago by DivyaRathore09
  2

• Generating negation of TconsArray

  #106 opened 7 months ago by DivyaRathore09
  1

• `bound_texpr` could be more precise for non-linear expressions

  #96 opened a year ago by rmonat
  0

• Suggestion: integer division and linearization could be more precise

  #88 opened 2 years ago by rmonat
  0

• Integer division of `n/d` where `n = [-1, 1], d = -1` yields bottom

  #100 opened 8 months ago by rmonat
  4

• Opam installation fails on WSL/Ubuntu (v0.9.14 with OCaml 5.1.1)

  #103 opened 9 months ago by MERCEcousineau
  5

• Different widening results across instantiations

  #102 opened a year ago by culechetoo
  3

• OCaml 5 support

  #89 opened a year ago by FeldrinH
  2

• Distinct Test fails

  #92 opened a year ago by winnieros
  4

• hasVar() for level 1

  #94 opened a year ago by winnieros
  6

• Publishing Apron

  #91 opened a year ago by winnieros
  4

• Uninterpreted Functions

  #77 opened a year ago by winnieros
  4

• Installation via opam fails

  #70 opened a year ago by haselwarter
  5

• Installs shared libraries without .so suffix which are also unstripped

  #24 opened 2 years ago by yurivict
  2

• sat_tcons wrong behaviour

  #31 opened 2 years ago by ghilesZ
  3

• Improved use of minimization routines in PPL wrapper

  #72 opened 2 years ago by ezaffanella
  0

• Segfault when dividing by zero with Polka MPQ domain

  #76 opened 2 years ago by jboillot
  0

• Crash on call to `of_lincons_array` with constraint `x+inf>=0`

  #69 opened 2 years ago by Mm7
  0

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

  #73 opened 2 years ago by rmonat
  1

• Minimize for octagons

  #44 opened 3 years ago by sim642
  0

• Java compiliation incorrect

  #74 opened 2 years ago by baierd
  3

• jar packages do not contain .class files

  #64 opened 2 years ago by ezaffanella
  2

• Polka widening does not overapproximate the join operator

  #67 opened 2 years ago by rmonat
  1

• Unexpected behavior for of_box() and to_box() for 0-dim domain elements

  #58 opened 2 years ago by ezaffanella
  4

• Make 4.4 build issue

  #56 opened 2 years ago by jamesjer
  3

• Apron uses deprecated fpsetround(3) on FreeBSD

  #47 opened 2 years ago by yurivict
  2

• Java binding does not compile on my machine (Arch Linux)

  #57 opened 2 years ago by gernst
  1

• Building the java wrapper: "conflicting types for ‘Java_gmp_Mpfr_jn’"

  #53 opened 2 years ago by AronSchnakenbeck
  4

• Floating point numbers using Polka manager

  #50 opened 2 years ago by armandlego
  1

• Soname not defined within generated posix shared libraries

  #51 opened 2 years ago by rmonat
  3

• Build OCaml opam package without C++ and Java

  #40 opened 2 years ago by sim642
  4

• States with interval [0,-1] is not bottom in newer versions

  #42 opened 3 years ago by dvynjli
  0

• Installs libraries without extension

  #38 opened 3 years ago by yurivict
  2

• cosine benchmark

  #39 opened 3 years ago by chenxi-yang
  2

• Disequality constraint has no effect on abstract value representing equality

  #37 opened 4 years ago by SantiagoBautista
  4

• inconsistency between the origin expression and the result expression

  #32 opened 4 years ago by shengfeng
  4

• Cannot find ap_ppl.h after installation [MacOS]

  #36 opened 4 years ago by ForeverZyh
  2

• Using apron with ocaml dune build system

  #29 opened 4 years ago by clauverjat
  4

• ppl.hh seems missing

  #27 opened 5 years ago by kghorbal
  1

• 'best' and 'exact' flags not set correctly for octagons?

  #25 opened 5 years ago by SantiagoBautista
  2