Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / antoinemine/apron issues and pull requests

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

Issue - State: closed - Opened by rmonat 9 months ago - 4 comments

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

Issue - State: closed - Opened by rmonat 9 months ago - 4 comments

#99 - Unlawful `compare` implementations

Issue - State: closed - Opened by sim642 10 months ago - 5 comments

#99 - Unlawful `compare` implementations

Issue - State: closed - Opened by sim642 10 months ago - 5 comments

#98 - Regression in 0.9.14: illegal option -- -

Issue - State: closed - Opened by yurivict 11 months ago - 4 comments

#98 - Regression in 0.9.14: illegal option -- -

Issue - State: closed - Opened by yurivict 11 months ago - 4 comments

#97 - Use strip --strip-unneeded for stripping.

Pull Request - State: closed - Opened by antoinemine 11 months ago

#97 - Use strip --strip-unneeded for stripping.

Pull Request - State: closed - Opened by antoinemine 11 months ago

#96 - `bound_texpr` could be more precise for non-linear expressions

Issue - State: open - Opened by rmonat 12 months ago
Labels: enhancement

#96 - `bound_texpr` could be more precise for non-linear expressions

Issue - State: open - Opened by rmonat 12 months ago
Labels: enhancement

#95 - Tentative fix for hasVar (bug #94).

Pull Request - State: open - Opened by antoinemine about 1 year ago

#95 - Tentative fix for hasVar (bug #94).

Pull Request - State: open - Opened by antoinemine about 1 year ago

#94 - hasVar() for level 1

Issue - State: open - Opened by winnieros about 1 year ago - 6 comments

#94 - hasVar() for level 1

Issue - State: open - Opened by winnieros about 1 year ago - 6 comments

#93 - install --strip causing problems on Mac

Issue - State: closed - Opened by caballa about 1 year ago - 2 comments

#93 - install --strip causing problems on Mac

Issue - State: closed - Opened by caballa about 1 year ago - 2 comments

#92 - Distinct Test fails

Issue - State: closed - Opened by winnieros about 1 year ago - 4 comments

#92 - Distinct Test fails

Issue - State: closed - Opened by winnieros about 1 year ago - 4 comments

#91 - Publishing Apron

Issue - State: closed - Opened by winnieros about 1 year ago - 4 comments

#91 - Publishing Apron

Issue - State: closed - Opened by winnieros about 1 year ago - 4 comments

#90 - Fix the variable permutation performed at the end of level 1 fold.

Pull Request - State: closed - Opened by antoinemine over 1 year ago - 1 comment

#90 - Fix the variable permutation performed at the end of level 1 fold.

Pull Request - State: closed - Opened by antoinemine over 1 year ago - 1 comment

#89 - OCaml 5 support

Issue - State: closed - Opened by FeldrinH over 1 year ago - 2 comments

#89 - OCaml 5 support

Issue - State: closed - Opened by FeldrinH over 1 year ago - 2 comments

#88 - Suggestion: integer division and linearization could be more precise

Issue - State: open - Opened by rmonat over 1 year ago
Labels: enhancement

#88 - Suggestion: integer division and linearization could be more precise

Issue - State: open - Opened by rmonat over 1 year ago
Labels: enhancement

#87 - LGPL quicksort

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#87 - LGPL quicksort

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#86 - Optional debug installation and strip non-debug.

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#86 - Optional debug installation and strip non-debug.

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#85 - Fix for sat_tcons (#31).

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#85 - Fix for sat_tcons (#31).

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#84 - Improved checks for FLINT and PPL libraries.

Pull Request - State: closed - Opened by ezaffanella over 1 year ago - 1 comment

#84 - Improved checks for FLINT and PPL libraries.

Pull Request - State: closed - Opened by ezaffanella over 1 year ago - 1 comment

#82 - Fix for bug #69.

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#82 - Fix for bug #69.

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#81 - Fix for bug #76: division by 0 in texpr assignment in Polka domain.

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#81 - Fix for bug #76: division by 0 in texpr assignment in Polka domain.

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#80 - Fix/compilation warnings

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#80 - Fix/compilation warnings

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#79 - Disable ap_pplite build if there is no C++ compiler.

Pull Request - State: closed - Opened by ezaffanella over 1 year ago

#79 - Disable ap_pplite build if there is no C++ compiler.

Pull Request - State: closed - Opened by ezaffanella over 1 year ago

#78 - New Java finalizer

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#78 - New Java finalizer

Pull Request - State: closed - Opened by antoinemine over 1 year ago

#77 - Uninterpreted Functions

Issue - State: closed - Opened by winnieros over 1 year ago - 4 comments

#77 - Uninterpreted Functions

Issue - State: closed - Opened by winnieros over 1 year ago - 4 comments

#76 - Segfault when dividing by zero with Polka MPQ domain

Issue - State: closed - Opened by jboillot over 1 year ago

#76 - Segfault when dividing by zero with Polka MPQ domain

Issue - State: closed - Opened by jboillot over 1 year ago

#75 - Solving build problems with ppl and glpk on custom paths

Pull Request - State: closed - Opened by lucaneg over 1 year ago - 1 comment

#75 - Solving build problems with ppl and glpk on custom paths

Pull Request - State: closed - Opened by lucaneg over 1 year ago - 1 comment

#74 - Java compiliation incorrect

Issue - State: closed - Opened by baierd over 1 year ago - 3 comments

#74 - Java compiliation incorrect

Issue - State: closed - Opened by baierd over 1 year ago - 3 comments

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

Issue - State: open - Opened by rmonat over 1 year ago - 1 comment
Labels: enhancement

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

Issue - State: open - Opened by rmonat over 1 year ago - 1 comment
Labels: enhancement

#72 - Improved use of minimization routines in PPL wrapper

Issue - State: closed - Opened by ezaffanella over 1 year ago

#72 - Improved use of minimization routines in PPL wrapper

Issue - State: closed - Opened by ezaffanella over 1 year ago

#71 - PPLite 0.11 integration in Apron (C, Java and OCaml bindings)

Pull Request - State: closed - Opened by ezaffanella over 1 year ago - 1 comment

#71 - PPLite 0.11 integration in Apron (C, Java and OCaml bindings)

Pull Request - State: closed - Opened by ezaffanella over 1 year ago - 1 comment

#70 - Installation via opam fails

Issue - State: closed - Opened by haselwarter almost 2 years ago - 5 comments

#70 - Installation via opam fails

Issue - State: closed - Opened by haselwarter almost 2 years ago - 5 comments

#69 - Crash on call to `of_lincons_array` with constraint `x+inf>=0`

Issue - State: closed - Opened by Mm7 almost 2 years ago

#69 - Crash on call to `of_lincons_array` with constraint `x+inf>=0`

Issue - State: closed - Opened by Mm7 almost 2 years ago

#68 - Fix bsearch2 prototype, fixing segfault on Apple M1

Pull Request - State: closed - Opened by thierry-martinez almost 2 years ago - 1 comment

#68 - Fix bsearch2 prototype, fixing segfault on Apple M1

Pull Request - State: closed - Opened by thierry-martinez almost 2 years ago - 1 comment

#67 - Polka widening does not overapproximate the join operator

Issue - State: closed - Opened by rmonat almost 2 years ago - 1 comment

#67 - Polka widening does not overapproximate the join operator

Issue - State: closed - Opened by rmonat almost 2 years ago - 1 comment

#66 - fixes to compile with OCaml 5.0.0

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#66 - fixes to compile with OCaml 5.0.0

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#65 - put .class files into jar, not .java (...)

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#65 - put .class files into jar, not .java (...)

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#64 - jar packages do not contain .class files

Issue - State: closed - Opened by ezaffanella almost 2 years ago - 2 comments

#63 - 0-dimensional boxes can be top

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#63 - 0-dimensional boxes can be top

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#62 - ensure ap_version.h is built, and kept for installation

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#61 - use fesetround instead of fpsetround on FreeBSD

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#61 - use fesetround instead of fpsetround on FreeBSD

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#60 - capitalize JAVA_HOME and JNIINC

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#60 - capitalize JAVA_HOME and JNIINC

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#59 - Fix for make 4.4: ignore errors including depend if it does not exist

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

#59 - Fix for make 4.4: ignore errors including depend if it does not exist

Pull Request - State: closed - Opened by antoinemine almost 2 years ago

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

Issue - State: closed - Opened by ezaffanella almost 2 years ago - 4 comments

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

Issue - State: closed - Opened by ezaffanella almost 2 years ago - 4 comments

#57 - Java binding does not compile on my machine (Arch Linux)

Issue - State: closed - Opened by gernst almost 2 years ago - 1 comment

#57 - Java binding does not compile on my machine (Arch Linux)

Issue - State: closed - Opened by gernst almost 2 years ago - 1 comment

#56 - Make 4.4 build issue

Issue - State: closed - Opened by jamesjer almost 2 years ago - 3 comments

#55 - custom Makefile

Pull Request - State: closed - Opened by MariaGamal about 2 years ago

#55 - custom Makefile

Pull Request - State: closed - Opened by MariaGamal about 2 years ago

#54 - fix japron compilation on Windows

Pull Request - State: closed - Opened by antoinemine about 2 years ago

#54 - fix japron compilation on Windows

Pull Request - State: closed - Opened by antoinemine about 2 years ago

#53 - Building the java wrapper: "conflicting types for ‘Java_gmp_Mpfr_jn’"

Issue - State: closed - Opened by AronSchnakenbeck about 2 years ago - 4 comments

#53 - Building the java wrapper: "conflicting types for ‘Java_gmp_Mpfr_jn’"

Issue - State: closed - Opened by AronSchnakenbeck about 2 years ago - 4 comments

#52 - Write soname field in Linux-based shared libraries

Pull Request - State: closed - Opened by rmonat about 2 years ago - 4 comments

#52 - Write soname field in Linux-based shared libraries

Pull Request - State: closed - Opened by rmonat about 2 years ago - 4 comments

#51 - Soname not defined within generated posix shared libraries

Issue - State: closed - Opened by rmonat about 2 years ago - 3 comments

#51 - Soname not defined within generated posix shared libraries

Issue - State: closed - Opened by rmonat about 2 years ago - 3 comments

#50 - Floating point numbers using Polka manager

Issue - State: closed - Opened by armandlego about 2 years ago - 1 comment

#50 - Floating point numbers using Polka manager

Issue - State: closed - Opened by armandlego about 2 years ago - 1 comment

#49 - adds JNI include path for MacOS

Pull Request - State: closed - Opened by seba-- over 2 years ago