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
Sven
V
erdoolaege
isl_output
.
c: extract out c
o
mmo
n
print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Verdoo
l
aege
isl_input
.
c:
read_tupl
e
: construct i
s
l
_
dim instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
g
e
do
c
:
remove description of how to get the piplib s
u
b
m
o
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ve
r
doolae
g
e
i
s
l_printer_print_pw_qp
o
ly
n
o
m
ial_fol
d
: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_pw
_
q
p
olynomial_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
add isl
_
set_in
s
ert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
a
d
d isl_basi
c
_map_ima
g
e_is_b
o
unded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdo
o
la
e
ge
avoid NULL pointer exception i
n
isl_
b
as
i
c
_
ma
p
_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
f
i
x is
l
_
p
w
_qpo
l
ynomial_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
a
d
d
isl_mat_add_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
add
i
sl_mat_add
_
zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven
Verd
o
olaege
exp
o
rt is
l
_
b
asic_map_move
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
e
rdoolaege
hide
is
l
_dim intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
add isl_dim_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
is
l
_basic_map_reset_dim: finali
z
e resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
isl_trans
i
tive_closur
e
.
c: a
n
o
nymize in
p
ut m
a
p
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoolaege
is
l
_transitive_closure
.
c
:
keep tr
a
ck of domains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
i
s
l
_dim_drop: al
w
ay
s
r
emove
tupl
e
name,
even if nu
m
be
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olaege
isl_di
m
_set
_
tuple_name: allow
explici
t
removal of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
a
d
d
s
up
p
ort
for u
n
ion sets and re
l
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaege
is
l
_transitive_cl
o
sur
e
.
c
:
extract out som
e
reusab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
add isl_pw_qpolynomi
a
l_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olaege
ad
d
isl_map_has
_
equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add is
l
_dim
_
get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
s
l
_dim: allow spec
i
ficati
o
n of
tup
l
e na
m
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_map_from_domain_
a
nd_range: imp
l
e
ment in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaeg
e
isl_ba
s
ic_m
a
p_domain: properly set dimension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
privately e
x
p
o
r
t
isl_set_rese
t
_
dim and isl_map_reset
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
Verdo
o
laege
is
l
_map_
r
ead: ex
t
ract out read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
i
sl_hash_
t
ab
l
e_fo
r
each:
p
a
s
s
pointe
r
to entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_hash_t
a
ble
_
foreach: ad
d
user argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoo
l
aege
i
sl_transiti
v
e_clo
s
ure
.
c
:
f
ix
d
ouble free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
i
sl_ma
p
_g
i
st: use si
m
ple hu
l
l
i
nste
a
d of conv
e
x hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laeg
e
isl_map
.
c: f
i
x
t
yp
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
is
l
_
c
a
t
: read
generic objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoo
l
aege
isl_printer: add
NULL chec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
make i
s
l_obj_non
e
a
c
onstant
e
xpre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
a
ege
ad
d
isl_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_fast
_
is
_
univ
e
r
s
e: also
detect re
d
undant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verd
o
o
l
aeg
e
add isl
_
map_reaching_path_len
g
ths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaege
isl_
m
ap
_
power: d
e
lay equatin
g
pa
t
h lengths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
Verdo
o
laege
isl_m
a
p_po
w
er: apply Floyd-
W
arshal
l
to com
p
ute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rd
o
olaeg
e
is
l
_map_lex
m
a
x
:
p
roduce
l
ess cryptic e
r
ror messag
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
do
o
la
e
ge
f
i
x
isl_ba
s
ic_map
_
m
ove_dims in
presence of exi
s
tent
i
ally
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
rdoolaege
isl_test: drop de
b
u
g
gi
n
g output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verd
o
olaege
isl_transitive_closure
.
c:
fi
x
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven
V
erdool
a
ege
fi
x
isl_map_lex_ge
a
n
d isl_m
a
p_lex_le in the zero-dimens
i
ona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
ven V
e
rd
o
olae
g
e
isl_prin
t
e
r
_print_map: replace variab
l
e
by its defin
i
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n
Verdoolaeg
e
pr
i
va
t
el
y
expo
r
t
isl_basic_map_fast_cmp a
n
d isl_basi
c
_map_f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoolaege
i
s
l
_dim_set_name: don't acc
e
pt names
t
hat look l
i
ke
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias
Gr
o
sser
Remove co
m
m
a at
t
he
end of enumeration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
v
en V
e
rdoolaege
isl_convex_hu
l
l
.
c: a
v
oid side-eff
e
cts in ca
l
l
s to
i
s
l_int
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdool
a
ege
add isl_hash_built
i
n
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdoolaege
a
d
d isl_int_get
_
st
r
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
rdoo
l
aege
doc:
fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdool
a
ege
Mak
e
file
.
am: r
e
all
y
include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_map_is_
b
ijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
d
o
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
d
oc:
drop duplic
a
t
e
booktitle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
d
o
c
: use more explicit notation to
a
void confusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
a
dd isl_cons
t
r
aint_
i
s
_div_constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ver
d
o
o
l
aege
isl_map_sim
p
l
i
fy
.
c: separa
t
e out i
s
l
_basic_map
_
is
_
div_constrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
isl_b
a
sic_map_from_
c
onstraint:
keep all divs, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
ola
e
ge
isl_bas
i
c_
m
ap_fro
m
_co
n
straint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
isl_const
r
aint_add_d
i
v
: correctly set
l
ine to fi
r
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
i
s
l
_
pip: rename pip_options to avoid co
n
flic
t
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
i
sl_co
n
ve
x
_hu
l
l
.
c: initial_face
t
_c
o
n
s
traint
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
doc: describe bac
k
ward in
c
o
m
patible changes
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olae
g
e
doc: mention
discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
rename isl_b
a
sic
_
map_convex_hul
l
to isl_ba
s
ic_map_
r
emove_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_affine_
h
ull
.
c
:
outsid
e
_po
i
n
t: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_roll
b
ack: avoid doub
l
e
fr
e
e on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab
.
c
:
t
a
b_mat_
p
rodu
c
t: avo
i
d N
U
LL
p
o
i
n
ter de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
is
l
_tab_exte
n
d_con
s
: avoid NULL pointer de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
mpleme
n
t antiq
u
ated isl_basic_se
t
_n_* in t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_convex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
a
b_
a
d
d_valid_
e
q: return in
t
i
nstead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
er
d
oola
e
ge
isl
_
affine_
h
ull
.
c
:
aff
i
n
e
_hu
l
l_with_co
n
e: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_equ
a
li
t
ies
.
c: param
e
ter
_
c
ompressi
o
n_mul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doola
e
ge
isl_basic
_
map_project_out: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
a
lesce
.
c: c
o
alesce_p
a
ir
:
avoid NULL p
o
inter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conv
e
x_hull
.
c: extend
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
im
p
l
ement antiqua
t
ed isl_s
e
t_n_* in
terms of isl_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_
m
a
p_simp
l
i
f
y
.
c: normali
z
e_d
i
vs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_in
p
ut
.
c
:
var
s
_drop: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_conve
x
_hull
.
c
:
u
s
et_conv
e
x_hull
_
w
r
ap_bounded:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Ve
r
doolae
g
e
isl_set_wrap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_tab_min
:
avoid NU
L
L poi
n
ter
d
erefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine
_
hul
l
.
c
: ex
t
end_af
f
ine_hull: avoid N
U
L
L
po
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_basic_map_extend: plug memory
leak on
e
rror p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
o
olaege
i
s
l_affine_hu
l
l
.
c: equali
t
ies_in_underlying_set:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_set_prei
m
age: avoid NULL
pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
isl_tab
_
pip
.
c:
no_sol
_
in_strict: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doo
l
aege
isl_affine_hul
l
.
c: e
q
ualities_i
n
_unde
r
lying_set:
p
lug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
isl_
a
f
f
ine_
h
u
l
l
.
c
:
a
ffine_hull: fix erro
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
m
a
p
_project_
o
u
t
: fix
er
r
or return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_
b
asic_map_inte
r
s
ect_
r
ange
:
avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
i
s
l_ta
b
_pip
.
c
:
find_solut
i
ons: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
laege
isl_basic_map_al
l
oc_di
m
: fix er
r
o
r
handling
commit
|
commitdiff
|
tree
next