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_input.c: read_tuple: construct isl_dim instead of isl_basic_map
2010-08-05
Sven Verd
o
olaege
isl_in
p
ut
.
c:
r
e
ad_tuple: constr
u
ct isl_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
doc
:
remove description of how to get th
e
piplib
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_printer_print_pw_
q
polynomial_fol
d
:
pri
n
t dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
a
dd isl_pw_qpolynomial_insert_
d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_set
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoola
e
ge
add isl_basi
c
_map
_
ima
g
e
_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
avoid NUL
L
point
e
r excep
t
ion in isl_b
a
sic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
fix
i
sl_pw_q
p
olyno
m
ial_r
e
set
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdo
o
laege
add isl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdool
a
ege
a
d
d isl_ma
t
_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaege
e
x
port
i
s
l_ba
s
ic_map
_
move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaeg
e
h
i
d
e
isl_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoola
e
ge
add isl_dim_g
e
t_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_basic_map_reset_dim
:
finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoola
e
ge
isl_
t
ransitive_closure
.
c: anonym
i
ze inpu
t
map duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolae
g
e
i
s
l_tr
a
nsitive_clo
s
ure
.
c: ke
e
p track of domains
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l_di
m
_drop: alway
s
re
m
ove tuple name, ev
e
n if numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
isl_dim_set_tu
p
le_name: allow explici
t
rem
o
val
o
f tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
a
d
d s
u
pport
f
or union sets and re
l
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doo
l
aege
isl_transitive_closure
.
c: extract out some reusab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoola
e
ge
add isl
_
p
w
_qpolyno
m
ial_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
olaege
add isl_map
_
h
a
s_equa
l
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add i
s
l_dim_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
is
l
_dim
:
allow specific
a
tion of tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_
m
ap_from_dom
a
in_and_range: implemen
t
in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
ol
a
ege
i
s
l
_
b
asi
c
_map_doma
i
n: properly set dimension of
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erdoolaege
p
rivately export isl_
s
et_res
e
t_dim a
n
d i
s
l_map_
r
eset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
m
ap_r
e
ad: ex
t
ract out read
_
var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
ool
a
e
ge
isl_ha
s
h
_
tab
l
e_fo
r
each: pass poi
n
ter to
e
ntry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ve
r
doolaege
isl_hash_table_f
o
reach: a
d
d
u
ser argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoo
l
aege
isl_tr
a
nsitive_clos
u
r
e
.
c
:
f
ix
double free
on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
isl_map_gist: use simple hull i
n
stead of convex hul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven V
e
rdoolaege
i
sl_ma
p
.
c:
f
ix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_cat
:
read generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_p
r
i
n
ter: add N
U
LL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
ma
k
e isl_obj_n
o
ne a const
a
nt
expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdo
o
laege
add is
l
_map_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
_
fast_is_uni
v
erse: also
d
etect
redundant repr
e
sentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
do
o
laege
a
dd isl_map_reach
i
n
g_pat
h
_len
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
i
s
l
_map_p
o
w
e
r: delay
e
quati
n
g
path lengths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
i
s
l_
m
a
p
_po
w
er:
apply Floyd-W
a
rshall to compute pow
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoo
l
aege
isl_ma
p
_lex
m
ax
:
p
r
o
d
uce
less cryptic
e
r
ror
m
e
s
sage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaeg
e
fix
isl_basi
c
_map_move_dims in presen
c
e of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_test
:
drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
r
doolaege
isl_trans
i
tive_closure
.
c
:
fix t
y
po
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
do
o
l
a
ege
fix
i
sl_map_lex_ge and
i
sl_map_lex
_
le in the z
e
ro-dimensi
o
na
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl_
p
rinter_pri
n
t_map: replac
e
va
r
iable by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n
Verdoolaege
privately export isl
_
basic_map_
f
as
t
_cmp and isl_basi
c
_map_f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
isl_dim_set_name
:
don't accept
na
m
e
s
tha
t
loo
k
l
ike
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoo
l
aege
i
s
l_con
v
ex
_
hu
l
l
.
c: avoid side-effects in calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
add isl_hash_bu
i
ltin
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolaege
add isl_i
n
t_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sve
n
Verdoolaege
d
oc: fix
some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
i
s
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
Makefile
.
am
:
really inclu
d
e
include/isl_vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
a
d
d isl_map_is
_
biject
i
ve
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
d
o
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
e
rdoolaege
doc: drop
d
uplicate booktit
l
e from K
e
lly199
6
c
l
osu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
ool
a
ege
doc: u
s
e more explicit nota
t
i
o
n t
o
avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
S
v
en V
e
rdoolaege
ad
d
i
s
l_constra
i
nt_is_d
i
v_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l_map_simplify
.
c: separat
e
o
ut is
l
_basi
c
_map_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erd
o
ol
a
ege
isl_b
a
si
c
_
m
ap_f
r
om
_
cons
t
raint:
k
e
e
p
all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdool
a
ege
isl_basic_map_from_constraint: only r
e
turn copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_constraint_add_div: correctly set
line t
o
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n V
e
rd
o
olaege
i
s
l_pip
:
re
n
ame pip_o
p
tions
t
o avo
i
d conflict
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
i
s
l_c
o
nve
x
_hull
.
c: initial_facet_constr
a
int: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe backward incomp
a
tible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
doc: ment
i
on disc
u
ssi
o
n group
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
ren
a
m
e isl_basic_map_con
v
ex_hull to is
l
_basic_
m
ap_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_aff
i
ne_hull
.
c: outside_po
i
nt: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
lae
g
e
i
s
l_tab_rollback: avoid d
o
uble free
o
n erro
r
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: tab_ma
t
_product: avo
i
d N
U
L
L
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
i
sl_ta
b
_extend_
c
o
n
s: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
o
l
aege
implement antiq
u
ated
i
sl_basic
_
set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_map_convex_hull: avoid NULL pointer deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
tab_add_v
a
l
i
d_eq: return int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_
h
u
l
l
.
c:
a
ffine_hull_with_cone:
a
v
o
id NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_eq
u
alities
.
c
: parameter_
c
o
m
p
ression_mult
i
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_basic_map_proje
c
t_ou
t
: avoid NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_coalesce
.
c
: coale
s
ce_pair
:
a
v
o
id NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_conve
x
_
hull
.
c: extend: fix
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
m
pl
e
ment an
t
iquated isl_set_n_* in term
s
of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l
_
m
ap_simplify
.
c:
nor
m
alize_divs:
avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars_drop: f
i
x
error
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
is
l
_con
v
ex_h
u
ll
.
c: uset
_
convex_h
u
ll_wra
p
_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl
_
set_
w
r
ap_facet: fix error
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_ta
b
_min
:
avoid NULL poi
n
ter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_affine
_
hull
.
c
: ex
t
end_af
f
i
n
e_hu
l
l: av
o
id NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
basic_map
_
extend: plug memory leak on
e
rror
pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_affin
e
_hull
.
c
:
e
q
ualit
i
es_i
n
_underlying
_
set:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_set_preimage: avoid NUL
L
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_pi
p
.
c:
n
o_sol_in_s
t
r
ict:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_a
f
fine_hull
.
c
:
equalit
i
es_in_underlying
_
s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
a
ffi
n
e_h
u
ll
.
c: affine_hull: fi
x
err
o
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
o
laege
isl_m
a
p_project_out
:
fix error retur
n
v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_
i
nte
r
sect_range
:
avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_t
a
b_pip
.
c: find
_
solutions: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
i
s
l
_
basic_
m
ap_
a
lloc_
d
im: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basi
c
_map_i
n
tersect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_tab_pip
.
c
: sol_map
_
init: avoid
N
U
L
L pointer dereference
commit
|
commitdiff
|
tree
next