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
isl_bound: accept folds as input
2010-06-29
Sven Verdool
a
ege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoolaege
Makefile
.
am:
r
eally
i
nclude in
c
lude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
l
a
ege
add isl_map
_
is
_
bijective
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
rdoolaege
do
c
: drop du
p
li
c
ate booktitle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n Verdoolaege
doc:
use more explicit notation
t
o avoid
con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
g
e
a
d
d
i
sl_constraint_is_div_co
n
stra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_map_simpl
i
fy
.
c: separate out isl_basic_map
_
i
s
_div
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdo
o
l
a
ege
isl_ba
s
ic
_
map_from
_
c
o
n
s
t
r
aint: keep all divs
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
laege
isl_ba
s
ic_map_f
r
om_constr
a
int: o
n
l
y
return copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_cons
t
raint_add_div: cor
r
ectly set
line to firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip: rename
pip_o
p
tions
to avoid confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l
_
c
o
n
v
ex_hull
.
c
:
in
i
tial_facet_c
o
n
s
traint: fix
er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
doc: describe backwar
d
incom
p
atible chan
g
es
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
d
o
c: me
n
t
ion discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
rename i
s
l_basic_map_convex_hull to isl_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_affine_hull
.
c: outside_point: fix e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
is
l
_tab_rollb
a
ck:
a
vo
i
d
d
ou
b
le f
r
ee on
e
rr
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
i
sl_tab
.
c: tab_mat_product
:
avoid NU
L
L pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
i
s
l_tab_extend_cons: avoi
d
NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laeg
e
implement an
t
i
q
u
ated isl_basic_set_n_*
i
n terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_convex_hull: av
o
i
d
N
ULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
isl_tab_a
d
d_valid_eq: return in
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hu
l
l
.
c
: affine_hull_wit
h
_cone:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equalities
.
c
: p
a
ra
m
et
e
r_compress
i
o
n_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_
b
a
sic
_
ma
p
_project_ou
t
: av
o
id NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
ool
a
ege
isl_coalesce
.
c:
coa
l
e
s
ce
_
pair: avoi
d
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_convex
_
hull
.
c: extend: fix
e
rror han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
im
p
lement
a
ntiquated isl_set_n_* in
t
erms of isl_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_map_s
i
mplify
.
c:
n
or
m
a
l
iz
e
_divs: a
v
o
i
d NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars_drop:
f
ix
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
ege
isl
_
c
o
nvex_hull
.
c: use
t
_
convex_hull_wrap_bounded
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_se
t
_
wra
p
_facet
:
fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_t
a
b_min: avoid
N
ULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
a
ffine_hull
.
c:
e
xt
e
nd_aff
i
ne_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
e
g
e
i
s
l_basic_
m
ap_
e
xten
d
: p
l
ug memory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_af
f
ine_hull
.
c
:
equa
l
ities_in_u
n
d
erlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoo
l
aege
isl_basic
_
s
e
t_prei
m
a
g
e: avoid NULL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_ta
b
_pip
.
c: no_sol_in_stric
t
: fix
e
rror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_
a
f
fi
n
e_hull
.
c
: equalities_
i
n_underly
i
ng_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_affine_
h
ull
.
c: af
f
ine_hull:
f
i
x erro
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_m
a
p_proj
e
ct
_
ou
t
: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
er
d
oolaege
isl
_
basic_map_inters
e
c
t
_
range: avoi
d
NULL
p
o
i
n
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_tab_pip
.
c
:
f
ind_solutions: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_basic_ma
p
_
i
n
tersect: a
v
oid NULL pointe
r
d
e
re
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_t
a
b_pip
.
c
:
sol_map
_
ini
t
: avoid NULL
p
o
inter
der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doola
e
ge
isl_b
a
sic_
m
ap_i
n
ter
s
ect_do
m
ain: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
fl
o
w
.
c: compute_val_based_depend
e
nces: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_flo
w
_alloc:
fix er
r
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
i
s
l_
a
ccess_i
n
fo_comput
e
_flow: fi
x
err
o
r
h
and
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
{se
t
,
m
ap}_fast_is_empty:
a
void NULL poin
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_flow
.
c: avoid accessi
n
g dim
f
ield directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl
_
access_i
n
fo
_
compute_flow: avoid NUL
L
p
oint
e
r dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_i
n
pu
t
.
c:
o
b
j
_
read:
avoid N
U
LL poi
n
t
er
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtract
.
c: tab_add_constraints:
avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_t
a
b
.
c: clo
s
e_row: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
aege
i
sl
_
map_sim
p
l
i
f
y
.
c: remove_duplicate_div
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_ma
p
_a
f
f
ine_hull: avoid
N
ULL pointer de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_add_eq: return
int inst
e
ad
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
o
o
laege
i
s
l_map_simplify
.
c
:
remo
v
e_d
u
pl
i
cate_con
s
t
r
aint
s
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_m
a
p_simplify
.
c:
e
l
i
m
inate_divs_ineq: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_elimi
n
ate_va
r
s: avoid NULL po
i
nter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_s
a
m
p
le
.
c: interval
_
sample: avo
i
d NULL poi
n
t
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
s
a
mple
.
c
:
d
rop
_
constr
a
ints
_
involv
i
n
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
st
r
eam_n
e
w: read_defined_var_l
i
st: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
do
o
laege
isl_basic_map_i
n
t
ersect: av
o
id NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_sample
.
c: gbr_sam
p
le: avoid
NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
laege
isl_test
.
c:
a
vo
i
d
NULL po
i
n
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
sl_
t
est: avoid accessing
basic s
e
t internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
i
nput
.
c: read_def
i
ned_var_
l
ist: avoid doub
l
e fre
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
m
ap_convex_hull: avoid N
U
LL p
o
inte
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_ma
p
_normalize_
c
onstraints: avoid NUL
L
p
o
inte
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_basic_map_total
_
dim: avoid NULL
p
ointer
d
ere
f
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_basic_m
a
p_
o
rder_divs:
av
o
id NULL point
e
r derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
e
g
e
i
sl_convex_hull
.
c: isl_bas
i
c_set_
a
d
d
_eq
u
ality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
dool
a
e
ge
is
l
_conve
x
_hul
l
.
c: compute_facet
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_test
.
c: m
a
p_is
_
eq
u
al: check
input
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
is
l
_di
m
.
c
: copy_name
s
: check
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_dim_dup: c
h
e
c
k input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_basic_map_cow:
check resu
l
t of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_stream
_
new
_
str: check res
u
l
t of al
l
o
c
ati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
isl_str
e
am
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_tab_pip
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolae
g
e
isl_tab
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_
polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_v
e
rtices
.
c: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_morph
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
m
ap
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
i
s
l
_
m
a
p_simplify
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolae
g
e
isl_
i
nput
.
c:
accept more gene
r
al affine exp
r
essio
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
o
lae
g
e
add i
s
l_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add isl
_
vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
add isl_se
t
_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map
_
i
s
_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
export isl_qpolynomial
_
involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
isl_polyn
o
mia
l
.
c
: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdool
a
ege
is
l
_map_transiti
v
e_clos
u
re: check whe
t
her deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven
V
erdoolaege
add isl_stream_fl
u
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl_stream_s
k
ip_l
i
ne
commit
|
commitdiff
|
tree
next