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

#49 - adds JNI include path for MacOS

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

#48 - Fix segmentation fault due to varargs on Apple M1

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

#48 - Fix segmentation fault due to varargs on Apple M1

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

#47 - Apron uses deprecated fpsetround(3) on FreeBSD

Issue - State: closed - Opened by yurivict over 2 years ago - 2 comments

#47 - Apron uses deprecated fpsetround(3) on FreeBSD

Issue - State: closed - Opened by yurivict over 2 years ago - 2 comments

#46 - Add #include <ieeefp.h> for fpsetround() on FreeBSD

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

#46 - Add #include <ieeefp.h> for fpsetround() on FreeBSD

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

#45 - Fixed a bug preventing build on FreeBSD

Pull Request - State: closed - Opened by dwRchyngqxs over 2 years ago - 1 comment

#45 - Fixed a bug preventing build on FreeBSD

Pull Request - State: closed - Opened by dwRchyngqxs over 2 years ago - 1 comment

#44 - Minimize for octagons

Issue - State: open - Opened by sim642 over 2 years ago
Labels: enhancement

#44 - Minimize for octagons

Issue - State: open - Opened by sim642 over 2 years ago
Labels: enhancement

#43 - Fix box is_empty after adding linear contraint

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

#43 - Fix box is_empty after adding linear contraint

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

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

Issue - State: closed - Opened by dvynjli over 2 years ago

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

Issue - State: closed - Opened by dvynjli over 2 years ago

#41 - Create codeql-analysis.yml

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

#41 - Create codeql-analysis.yml

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

#40 - Build OCaml opam package without C++ and Java

Issue - State: closed - Opened by sim642 about 3 years ago - 4 comments

#40 - Build OCaml opam package without C++ and Java

Issue - State: closed - Opened by sim642 about 3 years ago - 4 comments

#39 - cosine benchmark

Issue - State: closed - Opened by chenxi-yang over 3 years ago - 2 comments

#39 - cosine benchmark

Issue - State: closed - Opened by chenxi-yang over 3 years ago - 2 comments

#38 - Installs libraries without extension

Issue - State: closed - Opened by yurivict over 3 years ago - 2 comments

#38 - Installs libraries without extension

Issue - State: closed - Opened by yurivict over 3 years ago - 2 comments

#36 - Cannot find ap_ppl.h after installation [MacOS]

Issue - State: closed - Opened by ForeverZyh over 3 years ago - 2 comments

#36 - Cannot find ap_ppl.h after installation [MacOS]

Issue - State: closed - Opened by ForeverZyh over 3 years ago - 2 comments

#35 - Registering of an exception printer for manager errors

Pull Request - State: closed - Opened by ghilesZ over 3 years ago - 1 comment

#35 - Registering of an exception printer for manager errors

Pull Request - State: closed - Opened by ghilesZ over 3 years ago - 1 comment

#34 - handle UTF-8 characters for javadoc

Pull Request - State: closed - Opened by bichselb over 3 years ago - 1 comment

#34 - handle UTF-8 characters for javadoc

Pull Request - State: closed - Opened by bichselb over 3 years ago - 1 comment

#33 - Adding fppol&avoct

Pull Request - State: closed - Opened by lqchen almost 4 years ago - 3 comments

#33 - Adding fppol&avoct

Pull Request - State: closed - Opened by lqchen almost 4 years ago - 3 comments

#32 - inconsistency between the origin expression and the result expression

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

#32 - inconsistency between the origin expression and the result expression

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

#31 - sat_tcons wrong behaviour

Issue - State: closed - Opened by ghilesZ about 4 years ago - 3 comments

#31 - sat_tcons wrong behaviour

Issue - State: closed - Opened by ghilesZ about 4 years ago - 3 comments

#30 - Fix/java config

Pull Request - State: closed - Opened by antoinemine over 4 years ago

#30 - Fix/java config

Pull Request - State: closed - Opened by antoinemine over 4 years ago

#29 - Using apron with ocaml dune build system

Issue - State: closed - Opened by clauverjat over 4 years ago - 4 comments

#29 - Using apron with ocaml dune build system

Issue - State: closed - Opened by clauverjat over 4 years ago - 4 comments

#28 - add -L flags when linking native plugin

Pull Request - State: closed - Opened by jberdine over 4 years ago - 1 comment

#28 - add -L flags when linking native plugin

Pull Request - State: closed - Opened by jberdine over 4 years ago - 1 comment

#27 - ppl.hh seems missing

Issue - State: closed - Opened by kghorbal over 4 years ago - 1 comment

#27 - ppl.hh seems missing

Issue - State: closed - Opened by kghorbal over 4 years ago - 1 comment

#26 - doc: minor grammar and spelling fixes

Pull Request - State: closed - Opened by SantiagoBautista over 4 years ago

#26 - doc: minor grammar and spelling fixes

Pull Request - State: closed - Opened by SantiagoBautista over 4 years ago

#25 - 'best' and 'exact' flags not set correctly for octagons?

Issue - State: closed - Opened by SantiagoBautista over 4 years ago - 2 comments

#25 - 'best' and 'exact' flags not set correctly for octagons?

Issue - State: closed - Opened by SantiagoBautista over 4 years ago - 2 comments

#24 - Installs shared libraries without .so suffix which are also unstripped

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

#24 - Installs shared libraries without .so suffix which are also unstripped

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

#23 - Switch from texi2dvi & texi2html to texi2any

Pull Request - State: closed - Opened by D4N almost 5 years ago

#23 - Switch from texi2dvi & texi2html to texi2any

Pull Request - State: closed - Opened by D4N almost 5 years ago

#22 - fix typo in itv header file

Pull Request - State: closed - Opened by bennostein almost 5 years ago

#22 - fix typo in itv header file

Pull Request - State: closed - Opened by bennostein almost 5 years ago

#21 - Java version check broken in 0.9.12 if _JAVA_OPTIONS is set

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

#21 - Java version check broken in 0.9.12 if _JAVA_OPTIONS is set

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

#20 - issue #14: macros (C) and functions (OCaml) to get APRON version

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

#20 - issue #14: macros (C) and functions (OCaml) to get APRON version

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

#19 - Do not autodetect perl

Pull Request - State: closed - Opened by antoinemine about 5 years ago - 1 comment

#19 - Do not autodetect perl

Pull Request - State: closed - Opened by antoinemine about 5 years ago - 1 comment

#18 - tentative fix for issue #17

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

#18 - tentative fix for issue #17

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

#17 - Segfault on linearization

Issue - State: closed - Opened by antoinemine about 5 years ago - 1 comment

#17 - Segfault on linearization

Issue - State: closed - Opened by antoinemine about 5 years ago - 1 comment

#16 - Move headers in a subdirectory

Issue - State: open - Opened by arthaud about 5 years ago - 2 comments
Labels: enhancement

#16 - Move headers in a subdirectory

Issue - State: open - Opened by arthaud about 5 years ago - 2 comments
Labels: enhancement

#15 - fix build java bindings

Pull Request - State: closed - Opened by cgcgbcbc over 5 years ago

#15 - fix build java bindings

Pull Request - State: closed - Opened by cgcgbcbc over 5 years ago

#14 - Add a function to get the version number

Issue - State: closed - Opened by arthaud over 5 years ago - 4 comments
Labels: enhancement

#14 - Add a function to get the version number

Issue - State: closed - Opened by arthaud over 5 years ago - 4 comments
Labels: enhancement

#13 - Import OPAM package specification

Pull Request - State: closed - Opened by nberth over 5 years ago - 4 comments

#13 - Import OPAM package specification

Pull Request - State: closed - Opened by nberth over 5 years ago - 4 comments

#12 - Segfault after many operations in the taylor1plus domain.

Issue - State: closed - Opened by gavlegoat over 5 years ago - 3 comments

#12 - Segfault after many operations in the taylor1plus domain.

Issue - State: closed - Opened by gavlegoat over 5 years ago - 3 comments

#11 - Fixed memory leak in t1p_meet_lincons_array

Pull Request - State: closed - Opened by gavlegoat over 5 years ago

#11 - Fixed memory leak in t1p_meet_lincons_array

Pull Request - State: closed - Opened by gavlegoat over 5 years ago

#10 - Removing 5 or more dimensions from a taylor1+ value causes a double free.

Issue - State: closed - Opened by gavlegoat over 5 years ago - 1 comment

#10 - Removing 5 or more dimensions from a taylor1+ value causes a double free.

Issue - State: closed - Opened by gavlegoat over 5 years ago - 1 comment

#9 - Assign_texpr on box and taylor1+ are not strict in option type

Issue - State: closed - Opened by jmid over 5 years ago - 1 comment

#9 - Assign_texpr on box and taylor1+ are not strict in option type

Issue - State: closed - Opened by jmid over 5 years ago - 1 comment

#8 - Update windows compilation instructions

Pull Request - State: closed - Opened by yakobowski over 5 years ago - 16 comments

#7 - Add support for windows compilation

Pull Request - State: closed - Opened by yakobowski over 5 years ago - 2 comments

#6 - Use mpfr_rootn_ui instead of deprecated mpfr_root

Pull Request - State: closed - Opened by skcho over 5 years ago - 1 comment

#5 - Update ap_scalar.c

Pull Request - State: closed - Opened by caterinaurban almost 6 years ago

#3 - Import improvements & fixes from the other Apron repositories out there

Issue - State: closed - Opened by antoinemine almost 6 years ago - 2 comments
Labels: enhancement, help wanted

#2 - Generate API documentation

Issue - State: closed - Opened by antoinemine almost 6 years ago - 1 comment
Labels: enhancement

#1 - Review README & build instructions

Issue - State: open - Opened by antoinemine almost 6 years ago - 7 comments
Labels: enhancement