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_output.c: extract out common print_dim
2010-08-05
S
v
en Ver
d
oolaege
isl_output
.
c: extract out commo
n
p
rint_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoolaege
i
s
l
_
input
.
c: read_tuple: const
r
u
c
t is
l
_
dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oolaege
doc
:
r
e
m
o
v
e
descript
i
on of
h
o
w
to get
the piplib
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
isl_pr
i
nter_print_pw_qpolynomia
l
_
fold: print dim
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erd
o
olaeg
e
add isl_pw_qp
o
lynomial_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
s
e
t
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
add isl_bas
i
c_map_imag
e
_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verd
o
olaege
avoid NULL point
e
r exceptio
n
i
n
i
sl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
f
ix i
s
l
_pw_q
p
olynomial_
r
eset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_
m
at_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
d
d is
l
_ma
t
_add_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
S
v
en
Verd
o
olaege
export isl_basic_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
o
l
ae
g
e
h
i
de isl_di
m
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
add isl_dim_
g
e
t_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
isl_basic_map_reset_d
i
m: finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdoolaege
isl_transitive
_
c
l
o
sure
.
c: anony
m
i
ze input map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_transiti
v
e_closure
.
c: keep tra
c
k
o
f domains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_drop: always re
m
ove tuple name, ev
e
n i
f
numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verd
o
olaege
isl_dim_set_tupl
e
_
n
a
m
e
: all
o
w exp
l
i
c
it remova
l
of
t
uple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add support for union
s
ets and rela
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ve
r
doola
e
ge
i
sl_tra
n
sitive_closure
.
c: extract
o
ut some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
ad
d
i
s
l_pw_qpoly
n
om
i
al_r
e
set_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
add
i
s
l_map_h
a
s_equa
l
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
isl_dim_get_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_dim: allow specif
i
cation
o
f tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
m
ap_fr
o
m_domain_and_range: implement
i
n
t
er
m
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_basic_ma
p
_doma
i
n: p
r
o
p
e
r
l
y
s
e
t
dimension
o
f result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
p
r
ivately
export isl_set_reset_dim a
n
d
i
s
l_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdool
a
ege
isl_map_read
:
extract
out
read_var_
d
ef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
i
s
l
_
h
ash_table_foreach: pass point
e
r to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_table_foreach
:
ad
d
user argumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdo
o
la
e
ge
i
s
l_transitive
_
closure
.
c: fix double free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
e
rdoolaege
i
sl_map_gist: use si
m
ple hu
l
l instead of
convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl
_
m
a
p
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_ca
t
: read generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
isl_printer
:
add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
rdoolaeg
e
make i
s
l
_
o
bj_none a con
s
tant exp
r
e
ssion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdo
o
laege
ad
d
isl_ma
p
_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_fast_is
_
u
n
iverse:
also detect
redundant repre
s
enta
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdool
a
e
g
e
ad
d
isl
_
m
ap_rea
c
hing_
p
ath_length
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoo
l
aege
isl_ma
p
_po
w
er:
d
elay equating pat
h
lengths to pow
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_power: ap
p
ly Floyd-Wars
h
all to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Ver
d
oo
l
aege
isl_map_lexm
a
x: pro
d
u
ce less cr
y
ptic
e
rror messag
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolaege
fix isl_basic_map_m
o
v
e_
d
ims in presence of existentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
o
l
aege
isl_test: d
r
op d
e
bu
g
ging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
isl_transi
t
ive
_
closure
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Ve
r
d
o
olaege
f
i
x is
l
_map_lex_ge and isl_
m
ap_lex_le in the zero-
d
imens
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en
Ver
d
oolaege
i
s
l_pri
n
ter_print_map: repl
a
ce variabl
e
by its de
f
init
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoo
l
aeg
e
p
r
ivately e
x
port isl
_
basic_map_f
a
st_cm
p
a
n
d isl_basic_
m
ap_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Ve
r
doolaege
i
sl_d
i
m_set_name
:
don't accept names
t
hat look l
i
k
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Re
m
o
v
e comma
a
t
the end of en
u
meration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
is
l
_convex_hull
.
c
: avoid side-effects in
c
alls t
o
i
s
l
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
erdoolaege
add isl_hash_bu
i
l
tin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
ven Ver
d
oolae
g
e
doc
:
f
i
x
s
o
me typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
l
a
e
ge
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolae
g
e
Ma
k
efile
.
am: re
a
l
ly include include/isl
_
v
e
rtices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doolaege
add
isl_
m
ap_is_
b
ijec
t
ive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
doc: drop duplicat
e
booktitle fro
m
Kelly1
9
96closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
e
rdoolae
g
e
doc: us
e
m
o
re ex
p
licit nota
t
io
n
to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
add isl_constraint_is
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_map_simplify
.
c
:
separate out is
l
_basic_map_is
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
oolaege
isl_basic_map_fr
o
m_constraint: keep a
l
l
d
i
vs, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
a
e
g
e
i
sl_basic_map_
f
rom_constraint: only return cop
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolae
g
e
i
sl_
c
o
n
straint_add_d
i
v: correctly se
t
line to
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_p
i
p:
rena
m
e pip
_
options to avoid c
o
nflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_co
n
vex_hull
.
c: initia
l
_fac
e
t_constraint: fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
doc: describ
e
backward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
aeg
e
d
oc: mention d
i
sc
u
ssion
g
ro
u
p
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
re
n
ame isl_basic_m
a
p_convex_hull to isl_
b
asic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
ola
e
ge
isl_af
f
ine_hull
.
c: outside_p
o
i
n
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_rollback:
avoid doubl
e
free on err
o
r pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
:
t
ab_mat_product
:
a
void NUL
L
point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
s
l_tab_ex
t
end
_
cons: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
impleme
n
t a
n
tiquated isl_ba
s
ic_
s
et_n_* in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
isl_m
a
p_
c
onvex_hull: a
v
oid NULL poi
n
t
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_add_val
i
d_eq: return i
n
t instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: affi
n
e_hull_wit
h
_cone: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_e
q
ualities
.
c: parameter_
c
ompression_multi: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_project_out
:
a
vo
i
d
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_coale
s
ce
.
c: coalesc
e
_
p
air: a
v
oid NU
L
L pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
o
l
aege
is
l
_conve
x
_
h
u
ll
.
c:
e
x
t
end
:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
d
oolaege
implement a
n
tiquate
d
isl
_
set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c:
n
ormaliz
e
_divs:
avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
i
sl_inp
u
t
.
c: vars
_
drop
:
fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
isl_convex_hull
.
c: u
s
et_convex_hull_wrap_bound
e
d: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
set_wrap_face
t
: fix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_mi
n
:
avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affin
e
_hull
.
c: extend
_
affine_hull: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_basic_
m
ap_extend: plug
m
e
mory leak on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hul
l
.
c: equali
t
i
e
s
_in_
u
nderlyin
g
_
s
et: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_set_preimage
:
avoid
N
ULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolae
g
e
isl_tab_pip
.
c: no_s
o
l
_
i
n
_strict: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_affine_hull
.
c: equalit
i
es_i
n
_underlyin
g
_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doola
e
ge
isl_affine_hull
.
c: affine_hull:
fix
e
rro
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_project_out: fix error
r
etur
n
value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
as
i
c_
m
ap_
i
ntersect
_
range: a
v
oid
NUL
L
pointer
d
ereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_pip
.
c:
find_solutions: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_allo
c
_dim: fi
x
err
o
r handl
i
ng
commit
|
commitdiff
|
tree
next