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
add isl_union_map_read_from_str
2010-07-30
Sve
n
Verdoolaege
isl_tr
a
nsit
i
ve_closure
.
c: f
i
x double free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_map_g
i
st:
u
se sim
p
le hu
l
l
instead of convex
hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoola
e
ge
is
l
_cat: read
generic
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
Verdoolaege
isl_
p
rinter: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
laege
m
ake isl_obj_none a
c
onstant expressio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaeg
e
add isl_
m
ap_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_map_fast_is_universe: also dete
c
t redundant r
e
pr
e
sentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
ad
d
i
s
l_map
_
reaching_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
isl_map_power: delay equ
a
tin
g
pat
h
length
s
to
p
ower
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
is
l
_map_powe
r
: apply Floyd-Warshall to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
isl_map_lexmax: produce less
cryptic err
o
r
m
e
ss
a
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
ool
a
ege
f
i
x is
l
_basic_map_m
o
ve_dims in pr
e
sence of existent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
V
erdo
o
laege
i
s
l_
t
est
:
dr
o
p debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laege
isl_
t
ransi
t
ive_closure
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
r
doolaege
f
i
x i
s
l_
m
ap_lex_ge and isl
_
m
ap_lex
_
l
e
i
n
th
e
zero-d
i
mensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdool
a
ege
isl_
p
rinter_print_
m
ap: replace var
i
able by its
definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdool
a
ege
privately e
x
port isl_basic
_
map_fast_c
m
p an
d
isl_ba
s
ic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n
V
e
rdoola
e
ge
is
l
_di
m
_set_name: don't accept names
t
hat look lik
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tob
i
as Grosser
R
e
move comma at the end of e
n
um
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Verd
o
ol
a
e
g
e
isl_convex_hull
.
c: avoid side-
e
ffec
t
s in calls t
o
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
add is
l
_has
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add
i
sl_int
_
get_str
commit
|
commitdiff
|
tree
2010-07-02
S
ven Verdoola
e
g
e
doc: fix some typ
o
s
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolaege
isl
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am: really include inclu
d
e/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdo
o
laege
add isl
_
map_is
_
b
ij
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
d
o
c
: drop duplicate
booktitle
fr
o
m Ke
l
ly1
9
96closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: use more expl
i
cit notation to avoi
d
con
f
u
sion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add
is
l
_con
s
t
raint
_
i
s_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l
_
m
a
p_simplify
.
c
:
separ
a
te o
u
t
i
sl_
b
asic_
m
ap_
i
s
_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoo
l
aege
isl_basic_map_from_co
n
straint: k
e
ep al
l
di
v
s, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_basic_map_from_
c
onstraint: on
l
y
retu
r
n cop
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
isl_constraint_add_div: correctly set line to f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oola
e
ge
is
l
_pip: ren
a
m
e
p
i
p_
o
ptions to avoid conflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_convex_hull
.
c: initial_f
a
cet
_
constraint: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
doc: d
e
s
c
ribe backward
i
nc
o
mpatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
doc: mentio
n
discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rena
m
e isl_basic_map_conv
e
x_hull
t
o
isl_basi
c
_map_
r
emove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c:
ou
t
s
ide
_
p
o
int:
fix erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_ta
b
_rollback:
a
void double free on er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
d
o
olaege
is
l
_tab
.
c: tab_ma
t
_product: av
o
id NULL
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaeg
e
isl_tab_extend_cons: avoid
N
ULL
p
ointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
implement an
t
iquated
isl_ba
s
i
c
_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_map_
c
on
v
ex_hul
l
: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
a
dd_
v
alid_eq: return int instead of isl
_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ffine_hull
.
c
:
aff
i
ne_hull_wi
t
h
_con
e
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
a
ege
isl_equalitie
s
.
c: pa
r
ame
t
er_
c
ompression_multi: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdool
a
eg
e
isl_
b
asic_ma
p
_project_ou
t
: av
o
id NULL pointe
r
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aeg
e
isl_coa
l
esce
.
c: coalesce_pair: avoid NULL pointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
c
onvex_hull
.
c: ext
e
nd: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
implement a
n
tiquat
e
d i
s
l_set_n_* in term
s
of isl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
i
sl_map_simpl
i
fy
.
c: normalize_divs: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_inpu
t
.
c: vars
_
drop: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
c
onvex_
h
ull
.
c:
uset_co
n
vex_hu
l
l_
w
rap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_set_wrap_facet:
fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_
t
ab_min: avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_af
f
ine_hull
.
c: extend_affine
_
hull: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_b
a
sic_
m
ap_
e
x
t
end: plug memory leak o
n
error p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_affine_hu
l
l
.
c:
equ
a
l
i
ties
_
in_underlying_
s
et: av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_se
t
_
preimage: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_tab_pip
.
c: no_sol_in
_
strict: fi
x
e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl
_
affine_
h
ull
.
c: equalities_in_und
e
rlyin
g
_s
e
t: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ola
e
ge
i
sl_affine_hull
.
c: affine_hull: fix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
i
sl_map_project_out:
f
ix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
b
asic_map_i
n
ter
s
ect_range: avoid NULL pointer deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
dool
a
e
g
e
isl_tab_pip
.
c
: fin
d
_so
l
u
t
ions: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_basic_map_allo
c
_dim: fix er
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oola
e
g
e
isl
_
basic_m
a
p
_
intersec
t
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
i
s
l_tab_pip
.
c: so
l
_
m
a
p
_init: avoid
N
ULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_m
a
p_i
n
t
e
rsect_do
m
ain: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
l
aege
i
s
l_
f
low
.
c
:
c
ompute_v
a
l_
b
ased
_
de
p
endences
:
fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_flow_alloc: f
i
x er
r
or
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_access_info_compute_flow:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_{set,map}_fast_
i
s
_em
p
ty: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
do
o
l
a
ege
isl_flow
.
c:
a
void accessing dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ccess_i
n
fo_compute_flow: avoid NULL
p
o
i
nter der
e
f
ere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_input
.
c: obj_read: avoid
NU
L
L
po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdool
a
ege
isl_map_subtract
.
c: tab_
a
dd_constr
a
ints: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
sl_
t
ab
.
c: close_row: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_
m
ap_sim
p
lif
y
.
c: remove_duplic
a
te_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_bas
i
c_map_
a
ffine_hull: a
v
oid NULL point
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_
a
dd_eq:
retur
n
int i
n
stead
of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_map_simplify
.
c:
remove_
d
upli
c
ate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_map_si
m
plify
.
c: eliminate_div
s
_
ineq
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
i
sl_basic_map_el
i
m
in
a
te_vars: avoid NULL p
o
inter d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
ampl
e
.
c: interv
a
l_
s
ample: a
v
oid NU
L
L p
o
in
t
er de
r
efe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
sl_sample
.
c: drop_
c
onstraints_involving: avo
i
d N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_stream_
n
e
w
:
read
_
defined_va
r
_lis
t
: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_m
a
p_in
t
ersect: a
v
oid NULL
p
oint
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_sa
m
ple
.
c: gbr_s
a
mple:
avoid NU
L
L pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_test
.
c
:
a
v
oid N
U
LL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
e
st: avoid accessing basic
set
internals
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaeg
e
isl_inp
u
t
.
c: r
e
a
d_defi
n
ed_var
_
list: avoid double fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_co
n
vex_hull: avoid
N
ULL
p
ointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_basic_map_normal
i
ze_constra
i
nts: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_map_total_dim: avo
i
d
NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_bas
i
c
_
m
ap_order_divs: avoid
NULL pointer
d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hul
l
.
c:
i
sl_basic_set_add_equality:
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
next