issues
search
antoinemine
/
apron
Apron Numerical Abstract Domain Library
Other
114
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Difficulty installing apron with LLVM14 using Homebrew on MacosX
#118
ivanperez-keera
opened
3 months ago
2
Segmentation fault in oct_free
#117
svenkeidel
closed
3 months ago
4
Missing simplification opportunity in `linexpr` assignment
#116
Mm7
closed
4 months ago
2
Infinity floating-point values in Octagons
#115
svenkeidel
closed
4 months ago
2
Loading Octagons breaks floating point addition
#114
svenkeidel
closed
5 months ago
2
fix float rounding of linear expressions for very large rationals
#113
antoinemine
closed
3 months ago
2
Initialize local roots with `Val_unit` to fix segfault
#112
sim642
closed
4 months ago
3
Unsoundness of 64-bit floating point rounding
#111
svenkeidel
closed
5 months ago
5
Please add to the README how to run tests
#110
yurivict
closed
3 months ago
1
Issues with DISEQ constraint?
#109
DivyaRathore09
closed
6 months ago
2
Fix and document comparisons in OCaml bindings
#108
antoinemine
closed
6 months ago
1
Fix library search on recent Mac (ARM) with homebrew
#107
antoinemine
closed
6 months ago
0
Generating negation of TconsArray
#106
DivyaRathore09
closed
6 months ago
1
Apron wrapper for PPLite 0.12.
#105
ezaffanella
closed
6 months ago
7
disable PPL and PPLite when no c++ compiler is detected
#104
antoinemine
closed
7 months ago
0
Opam installation fails on WSL/Ubuntu (v0.9.14 with OCaml 5.1.1)
#103
MERCEcousineau
closed
7 months ago
5
Different widening results across instantiations
#102
culechetoo
closed
9 months ago
3
fix interval division case
#101
antoinemine
closed
9 months ago
0
Integer division of `n/d` where `n = [-1, 1], d = -1` yields bottom
#100
rmonat
closed
6 months ago
4
Unlawful `compare` implementations
#99
sim642
closed
5 months ago
5
Regression in 0.9.14: illegal option -- -
#98
yurivict
closed
3 months ago
4
Use strip --strip-unneeded for stripping.
#97
antoinemine
closed
7 months ago
0
`bound_texpr` could be more precise for non-linear expressions
#96
rmonat
opened
12 months ago
0
Tentative fix for hasVar (bug #94).
#95
antoinemine
opened
1 year ago
0
hasVar() for level 1
#94
winnieros
opened
1 year ago
6
install --strip causing problems on Mac
#93
caballa
closed
3 months ago
2
Distinct Test fails
#92
winnieros
closed
1 year ago
4
Publishing Apron
#91
winnieros
closed
1 year ago
4
Fix the variable permutation performed at the end of level 1 fold.
#90
antoinemine
closed
1 year ago
1
OCaml 5 support
#89
FeldrinH
closed
12 months ago
2
Suggestion: integer division and linearization could be more precise
#88
rmonat
opened
1 year ago
0
LGPL quicksort
#87
antoinemine
closed
1 year ago
0
Optional debug installation and strip non-debug.
#86
antoinemine
closed
1 year ago
0
Fix for sat_tcons (#31).
#85
antoinemine
closed
1 year ago
0
Improved checks for FLINT and PPL libraries.
#84
ezaffanella
closed
1 year ago
1
Patch from issue #72: Improved use of minimization routines in PPL wrapper
#83
antoinemine
closed
1 year ago
0
Fix for bug #69.
#82
antoinemine
closed
1 year ago
0
Fix for bug #76: division by 0 in texpr assignment in Polka domain.
#81
antoinemine
closed
1 year ago
0
Fix/compilation warnings
#80
antoinemine
closed
1 year ago
0
Disable ap_pplite build if there is no C++ compiler.
#79
ezaffanella
closed
1 year ago
0
New Java finalizer
#78
antoinemine
closed
3 months ago
0
Uninterpreted Functions
#77
winnieros
closed
1 year ago
4
Segfault when dividing by zero with Polka MPQ domain
#76
jboillot
closed
1 year ago
0
Solving build problems with ppl and glpk on custom paths
#75
lucaneg
closed
1 year ago
1
Java compiliation incorrect
#74
baierd
closed
1 year ago
3
Is there a way to have precise assignments on PPL Grid?
#73
rmonat
opened
1 year ago
1
Improved use of minimization routines in PPL wrapper
#72
ezaffanella
closed
1 year ago
0
PPLite 0.11 integration in Apron (C, Java and OCaml bindings)
#71
ezaffanella
closed
1 year ago
1
Installation via opam fails
#70
haselwarter
closed
1 year ago
5
Crash on call to `of_lincons_array` with constraint `x+inf>=0`
#69
Mm7
closed
1 year ago
0
Next