repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
implement antiquated isl_set_n_* in terms of isl_set_dim
2010-06-26
S
ve
n
Verd
o
olaege
implemen
t
antiquated
i
s
l_set_n_* in terms of
isl
_
set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_
m
a
p_s
i
mplify
.
c:
normalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
e
ge
isl_input
.
c: vars_drop: fi
x
er
r
or
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoo
l
aege
isl_convex
_
hull
.
c: uset_convex_hu
l
l_wrap_b
o
unded
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_set_wrap_facet: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
i
sl
_
tab_mi
n
: avoi
d
NULL pointer dere
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affine_hull
.
c
:
extend_affi
n
e_hull:
avoid
N
ULL p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_basic_m
a
p_e
x
tend: plug memor
y
leak
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_affine_
h
u
l
l
.
c
:
e
qualities
_
in_unde
r
l
y
ing_s
e
t: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avoid NUL
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_tab_pip
.
c: no_sol_in
_
strict:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
o
o
laege
isl_affine_hul
l
.
c: equalities
_
in_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
e
g
e
isl_affine_h
u
ll
.
c:
a
ffine_hull: f
i
x erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_proj
e
ct_out: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
isl
_
basic_map_i
n
tersect_range: a
v
oid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oola
e
ge
isl_tab_pip
.
c:
f
ind_s
o
lutions
:
fix er
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
lae
g
e
isl_basic_m
a
p
_alloc_dim: fix
e
r
ror h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_basic_map
_
interse
c
t: avoi
d
NU
L
L p
o
inter de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c
: sol_map_init: avo
i
d NULL po
i
nter de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erd
o
olaege
isl_basic_m
a
p_intersect_do
m
ain: avoid
N
ULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl
_
flow
.
c: compute_val_based_depende
n
ce
s
: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow_allo
c
: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_ac
c
ess_i
n
fo_
c
omp
u
t
e
_
flow:
fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
laege
isl_{set,map}_fa
s
t_is_empty: avoid NUL
L
poin
t
er
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_flow
.
c: av
o
id ac
c
es
s
in
g
dim fiel
d
directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_access_inf
o
_com
p
ute_flow: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_re
a
d: a
v
oid NULL pointer der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_map_subtrac
t
.
c
:
t
ab_add_constraints: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
a
e
ge
isl_tab
.
c: cl
o
s
e_ro
w
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simp
l
ify
.
c
: remove_d
u
pli
c
ate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_
a
ffine_hull: avoi
d
N
ULL
p
ointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b_add_eq: return
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_m
a
p_s
i
mp
l
ify
.
c: remove_duplicate_const
r
aints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
is
l
_map_simplify
.
c
: eliminat
e
_
divs_ineq: avoid
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_b
a
sic_map_el
i
minate_vars:
a
void NU
L
L pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
laege
isl_sample
.
c: interval_sample
:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
sample
.
c: dr
o
p_c
o
nstraints_in
v
o
l
ving:
a
void N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_stre
a
m_new: read_def
i
ne
d
_v
a
r_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_b
a
sic_map
_
int
e
rsect: avo
i
d NULL p
o
in
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_sample
.
c: gbr_sample: avoid N
U
LL
p
ointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_test
.
c: avoid NULL pointer deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olae
g
e
i
sl_
t
est: av
o
i
d
acc
e
ssing b
a
sic s
e
t
internals
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdool
a
eg
e
isl_inp
u
t
.
c: read_defined
_
var_list:
a
vo
i
d
d
o
uble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_map_convex_hull:
avoid NU
L
L
p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
i
sl_basic_map_normaliz
e
_co
n
st
r
ai
n
ts: av
o
id NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
i
s
l_basic
_
map_total_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map_ord
e
r_div
s
: avo
i
d NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_c
o
n
vex
_
hull
.
c: isl_basic_set_
a
dd_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
e
g
e
isl_convex_hull
.
c: co
m
p
ute_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
is
l
_test
.
c: map_is_equal
:
check input
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
olaege
isl_dim
.
c
:
c
o
p
y_names: che
c
k input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
is
l
_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_ma
p
_cow: chec
k
result
of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_strea
m
_new_str: check result of a
l
loca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Ve
r
doolaege
isl
_
s
t
ream
.
c: fix
typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaeg
e
isl_t
a
b_pip
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdoolaege
isl_ta
b
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n V
e
rdoolaege
isl_polynomi
a
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_vertices
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdo
o
l
aege
isl_
m
or
p
h
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
e
rdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simp
l
ify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_inp
u
t
.
c: ac
c
ept more g
e
neral affine exp
r
es
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdoolaege
a
d
d isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verd
o
olaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven V
e
rdoolaege
a
d
d isl_m
a
p_is_translat
i
on
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdool
a
eg
e
ex
p
ort isl
_
q
polynomi
a
l_in
v
olves
_
dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
isl
_
poly
n
om
i
al
.
c:
a
d
d
m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
isl_map_transit
i
ve_closure: check whether
d
ecomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add i
s
l
_
s
tream_flush_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Verdoolae
g
e
add
i
sl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudim
e
ntary e
r
ro
r
re
p
orting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
ae
g
e
ad
d
i
s
l_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
isl_point_alloc: avoi
d
pot
e
nt
i
al memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
erdo
o
laege
doc: doc
u
ment isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
l
a
ege
isl_t
a
b_pip
.
c: compare all c
o
eff
i
cie
n
ts
when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
Verdo
o
l
aege
isl
_
pw_qpolynomial{,_fold}_gist: u
s
e simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
i
sl_set
_
set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoola
e
ge
add isl_stream_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
d
o
c
: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
a
eg
e
isl_qpolyno
m
i
al_lift: fi
x
lift
i
n
g
i
n
a
bsence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally (and by defau
l
t) use bernste
i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately exp
o
rt isl_qpolynomial_fold_fold_on
_
dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
add isl_pw_
q
poly
n
omial_fold_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add parametric vertex
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_morph_dom_dim and isl
_
morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolae
g
e
add isl_basic_m
a
p_is_rati
o
n
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
private
l
y
export isl
_
basic_set_sort_constrain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
i
s
l
_ta
b
_detect
_
i
m
plicit_equalities: a
l
so detect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab: option
a
lly only
mark stric
t
l
y redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
gen
e
ralize isl_pw_qpoly
n
omi
a
l
_
bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
extract out gener
i
c part
o
f
i
s
l_p
w
_qpoly
n
omi
a
l_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
isl_pw_qpolynomial_boun
d
_range: also set
e
x
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
a
dd isl_ba
s
ic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
export
i
sl_pw_qpo
l
ynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oola
e
ge
exp
o
rt isl_q
p
olynomia
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_
q
polyno
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
a
dd isl_qpol
y
nomial
_
from_a
f
fine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_q
p
olynomial_add
_
dim
s
commit
|
commitdiff
|
tree
next