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
update .gitignore
2010-08-07
Sve
n
Verdo
o
laeg
e
is
l
_printer_print_ma
p
: fix
printing in latex f
o
r
m
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
erdoolaege
i
sl_set_wrap_f
a
cet:
normalize resulting facet constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven
V
e
r
d
oolaege
isl_
c
oale
s
c
e
.
c: fix typo in
c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
ven
V
erdoolae
g
e
isl_pw_
q
polyno
m
i
al
_
in
t
ers
e
ct_
d
omai
n
: simplify
p
o
l
ynom
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en
Verdoolaege
isl_
q
p
olynomi
a
l_move_dims: plug memor
y
le
a
k and
fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoola
e
g
e
add isl_pw_qp
o
lynomial_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoolaege
add
i
sl_qp
o
lyn
o
mial_fold_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
is
l
_pw_qpol
y
nomial
_
i
n
tersect_d
o
mai
n
: drop pieces
t
hat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
l
_map_product: used neste
d
s
p
ac
e
s in r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpolynomial_bound:
h
and
l
e isl_pw_
q
polynomials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laege
support nested is
l
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
doc: f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
export isl_dim_tu
p
le_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oolaege
isl_out
p
ut
.
c: extract out com
m
on print_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
o
l
ae
g
e
isl_i
n
put
.
c: re
a
d_tuple: co
n
s
t
r
uct isl_dim instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
doc: remove
d
escrip
t
ion of how to get the piplib
s
ub
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoolaege
isl_print
e
r_print_pw_qpolynomial_fold: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verd
o
olaege
a
dd isl_pw_qpolyn
o
mi
a
l_ins
e
r
t
_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
add
i
s
l_set_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
add isl_basic_map_image_is
_
bounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdoolaege
avoid NULL poin
t
er exception in isl_basic_map_n
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolaege
fi
x
i
s
l_pw_qpolyno
m
ial_reset
_
d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
add isl_mat_ad
d
_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
a
d
d
i
sl_
m
a
t
_add_zer
o
_c
o
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
S
ven Ve
r
dool
a
eg
e
export isl_basic_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
hide isl_dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
add isl_dim_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Ver
d
oolaege
is
l
_ba
s
ic_map_reset_dim: f
i
n
a
liz
e
re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
is
l
_transitiv
e
_closure
.
c: anonymize input map
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdo
o
la
e
ge
isl
_
transitive_closur
e
.
c
:
keep
track of domains f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_dro
p
:
a
l
w
ays remove
tupl
e
na
m
e
, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
isl_dim_set_tuple_
n
ame: allow
e
xplicit remov
a
l of tu
p
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
ge
add
s
uppor
t
f
o
r
union
se
t
s and relati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
isl_tra
n
sitive_closur
e
.
c: extract ou
t
s
o
me r
e
usable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
d
oolaege
a
d
d isl
_
pw_qpo
l
ynomial_
r
eset_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoo
l
ae
g
e
add isl_map_has_e
q
ual_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
r
doolaege
add isl_di
m
_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
isl_dim:
a
l
low specific
a
tion of tu
p
le n
a
mes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_m
a
p_from_domain_and_ran
g
e: implement in t
e
rms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
is
l
_
b
asic
_
ma
p
_domain: p
r
op
e
rly set dime
n
sion of re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n V
e
rdool
a
ege
p
r
ivately expo
r
t i
s
l_set_re
s
et_dim an
d
isl
_
map_r
e
set_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_
m
a
p
_
r
ead: extract out read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
e
rdoola
e
ge
isl_hash_table_
f
or
e
ach: pa
s
s pointer to entry
d
ata
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl_ha
s
h_table_foreach: add u
s
er argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolae
g
e
i
sl
_
t
r
ansitive_closure
.
c: f
i
x double free
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
a
e
ge
i
s
l_map_gist: use simple hull instead of convex hu
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Ve
r
doo
l
a
ege
is
l
_
map
.
c:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
aege
isl_cat: read generic object
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
i
sl_p
r
inter
:
a
d
d N
U
LL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaeg
e
make isl_obj_
n
one
a
constant express
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
add
i
sl_map_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_fas
t
_is_univer
s
e:
a
lso detect redund
a
n
t
r
e
prese
n
tati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
oolaege
a
dd
i
sl_map_reachin
g
_
p
ath_l
e
n
g
ths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_power:
d
elay e
q
uat
i
n
g
path leng
t
hs
t
o power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Ve
r
doolaege
isl_map_
p
ower: apply Floyd-Wars
h
all to compute p
o
wers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verdoolaege
i
sl_map_lexmax: produce le
s
s cr
y
ptic
e
rror me
s
sage
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
f
i
x isl_b
a
sic_map_
m
ove_dims
in presence of exis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
i
s
l_test: d
r
op debuggin
g
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
isl
_
t
r
ans
i
t
i
v
e_closure
.
c
:
fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix
isl_
m
ap_
l
ex_ge
and isl_ma
p
_lex_le
in the
zero-dimensi
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoo
l
aeg
e
i
s
l
_printer_print_map
:
replace va
r
iable by i
t
s defini
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
laeg
e
priva
t
e
l
y exp
o
rt isl_basic_map_fast_cmp and
isl_bas
i
c
_
map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdoolaeg
e
isl_dim_
s
e
t_name: don't
a
ccept names
that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Verdoolaege
isl_convex_
h
ull
.
c: avoid side-effects in calls to
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
oola
e
g
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdo
o
laeg
e
add
isl_int
_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc:
fix s
o
m
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
i
sl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
Makefile
.
am: really include i
n
c
lude/isl_v
e
rtice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
add is
l
_m
a
p_is_
b
ij
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdool
a
ege
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: drop dup
l
icate
b
oo
k
ti
t
le
f
rom Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaege
doc
:
use more
e
xplicit nota
t
i
o
n to avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
add isl_const
r
a
int_is_
d
iv_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdoolaege
isl_map_simplify
.
c: separate ou
t
isl_basi
c
_m
a
p_is_d
i
v_co
n
straint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdool
a
eg
e
isl_b
a
sic_m
a
p_
f
rom_const
r
aint: keep
a
ll
divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doo
l
aege
isl_basic_map
_
f
rom_constr
a
int:
o
nly retur
n
copy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
isl_c
o
nst
r
a
i
nt_add_di
v
:
c
or
r
e
ct
l
y s
e
t
li
n
e to fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoo
l
aege
i
s
l
_pip: r
e
name pi
p
_op
t
ions to avoid
co
n
f
lict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_convex_
h
u
ll
.
c: i
n
itial_facet_con
s
traint:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
doc: d
e
s
cribe
backward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
doc: me
n
tion
d
is
c
ussion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename isl_ba
s
ic_ma
p
_convex_hull to
i
sl_basic_
m
a
p_remove_r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_aff
i
ne_hull
.
c
:
o
uts
i
de_point: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_tab_rollbac
k
:
a
v
o
i
d
double
f
r
e
e
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_tab
.
c: ta
b
_mat_produc
t
:
a
voi
d
NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
i
sl_tab_extend_con
s
: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
implement an
t
iqua
t
e
d
isl_
b
asic_set
_
n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map
_
c
on
v
ex_hull: avoid NULL pointer der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
olaege
isl_tab_add_valid_
e
q
:
r
e
tur
n
int i
n
stead
of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_
a
f
f
ine_h
u
ll
.
c: affine_hull_with_cone: avoid
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_equalities
.
c: par
a
meter_compression_mult
i
: a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
bas
i
c_map_project_ou
t
: avoid N
U
LL
p
o
i
nter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
ales
c
e
.
c: coa
l
esce_pa
i
r
:
avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_convex_
h
ul
l
.
c: exten
d
:
fix error ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
implement antiquated
i
sl_set_
n
_* in terms of
i
sl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simpli
f
y
.
c
:
normali
z
e_di
v
s: av
o
i
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_in
p
ut
.
c
:
vars_drop
:
fix err
o
r h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_conv
e
x_hull
.
c: uset_convex_hu
l
l
_
wr
a
p_bo
u
nded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_
w
rap_fac
e
t: fix e
r
ror handling
commit
|
commitdiff
|
tree
next