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_printer_print_map: fix printing in latex format
2010-08-07
Sv
e
n Verdoolaege
isl_printe
r
_print_map: f
i
x prin
t
ing in
l
atex
forma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verdoolaege
isl_set_wrap_face
t
: normalize
r
e
su
l
ting
f
ac
e
t constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdo
o
lae
g
e
isl_coalesce
.
c: fix
typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoola
e
ge
i
s
l
_
pw
_
qpolyno
m
i
al
_
i
ntersect_domai
n
: sim
p
lify poly
n
omials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ve
r
doolaege
isl_qpolyno
m
ial_m
o
ve
_
d
i
m
s: plu
g
me
m
ory leak and fix
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
add isl
_
p
w
_qpolynomial_read
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoolaege
a
dd i
s
l_qpolyn
o
mial_fold_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_pw_qpolynomial_interse
c
t_domain: drop p
i
eces th
a
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_p
r
oduct: used nested s
p
aces in result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoola
e
g
e
i
s
l_pw_qpolynomi
a
l_bound: h
a
ndle isl_p
w
_
qpolyno
m
ials
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
e
rdo
o
laege
support nested is
l
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
do
c
:
fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
export isl_di
m
_tuple_match
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl
_
output
.
c: extr
a
ct out c
o
mmon print_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
S
ven V
e
rdoo
l
aege
isl_i
n
put
.
c: read_tuple: construct is
l
_dim instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoo
l
aege
doc: re
m
ove descr
i
pt
i
o
n
of ho
w
t
o get the piplib submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_printe
r
_prin
t
_pw_qpolynomi
a
l
_
fold: print dim as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
add isl_pw
_
qpoly
n
omia
l
_i
n
sert
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
a
d
d
isl_set_ins
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
bas
i
c_ma
p
_image_is_
b
ounded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdoolaege
a
v
o
i
d
N
ULL poin
t
er e
x
ception in
i
sl_basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Verdoolaeg
e
fix isl_pw
_
q
polynomial_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdo
o
laege
add
i
sl_mat_add_row
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
i
sl_ma
t
_
add_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-03
Sven
Verdoo
l
aege
exp
o
rt i
s
l
_
basic_map_mo
v
e
_
d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
Verdoolaege
hide isl_dim internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
add i
s
l_d
i
m_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
ba
s
ic_map_reset_dim: fin
a
l
ize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
doolaege
isl_transitiv
e
_clo
s
ure
.
c: anonym
i
z
e input map duri
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Ve
r
doolaege
isl_
t
r
a
nsitive_closure
.
c: kee
p
track of
d
omains for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
d
o
olaege
isl_di
m
_drop:
a
l
w
ays remove tuple nam
e
, even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
i
s
l_dim_
s
et_
t
u
p
le_name: all
o
w ex
p
licit removal of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add s
u
pport for union sets a
n
d
r
e
lations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
V
erdoola
e
ge
isl_trans
i
tive_cl
o
sure
.
c: extract out some
r
e
usable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verd
o
olaege
add isl
_
pw_qpolynomia
l
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
dool
a
ege
add
i
sl_map_has_equa
l
_
d
im
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
isl_
d
im: allow sp
e
cific
a
tion
o
f tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
isl_
m
ap
_
f
r
om
_
doma
i
n
_and_ran
g
e: imple
m
en
t
in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
doolaege
i
s
l_basic_map_doma
i
n: pro
p
erly
s
et
d
i
m
ension of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
privatel
y
export isl_set
_
res
e
t_dim
and isl_ma
p
_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_read:
e
x
t
ract
out re
a
d_var_de
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdool
a
ege
isl_
h
a
s
h
_
tab
l
e_fore
a
ch: pass pointer to entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_hash_table_f
o
rea
c
h: ad
d
user ar
g
um
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaeg
e
isl_tr
a
n
sitive_clos
u
re
.
c
:
fix double f
r
ee on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
lae
g
e
i
s
l_map_gist: use
simpl
e
hull
ins
t
ead of convex
h
ull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl
_
cat: read gen
e
ric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_printer: add NUL
L
checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ve
n
Verdoola
e
ge
mak
e
i
sl_ob
j
_none
a const
a
nt e
x
pr
e
ssio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n V
e
rdoolaege
add isl_
m
ap_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_map_fa
s
t
_is_uni
v
e
r
se: also detec
t
redundant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
doolaege
a
dd isl_m
a
p
_
reachin
g
_p
a
th_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
is
l
_map_p
o
wer: dela
y
equa
t
ing path len
g
ths t
o
power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verd
o
o
l
aeg
e
isl_map_powe
r
: apply Floyd-Warshall to compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
o
o
laege
i
sl_map
_
l
ex
m
ax: produce les
s
cryptic
e
rro
r
messa
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n Ve
r
doolaege
fi
x
i
s
l_ba
s
ic_map_mov
e
_dims in p
r
esence of ex
i
stential
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_test: drop debugging ou
t
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
o
o
l
a
ege
i
s
l_transitive_closure
.
c: f
i
x ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
fix isl_map_lex_ge
a
nd
isl_m
a
p
_
lex_le
in the zero-dimension
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolaege
isl_
p
rinter_print_map: repla
c
e var
i
able by its
definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en
V
erdoolaege
priv
a
tely
e
xp
o
rt isl_basic_map_fa
s
t_
c
m
p
and
i
sl_ba
s
ic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaege
isl_dim_set_name: don
'
t accept
n
a
m
e
s that look li
k
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sven Ve
r
doolaege
isl_c
o
nvex_hull
.
c: a
v
oid
s
ide
-
effec
t
s in calls
t
o isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoo
l
aege
add isl_h
a
sh_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven
V
e
rdoolaeg
e
a
d
d
isl_int
_
g
e
t
_str
commit
|
commitdiff
|
tree
2010-07-02
S
ven Ve
r
doo
l
ae
g
e
doc: f
i
x som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
l
a
ege
is
l
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
Makefile
.
am: really include includ
e
/
isl
_
vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
add
i
sl_map_is_bije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oo
l
aege
do
c
:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: drop duplicate book
t
i
tle from Kelly199
6
closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
doc
:
use
m
ore expl
i
cit notation to avoi
d
conf
u
sion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
la
e
ge
add isl_constraint_is_div_const
r
aint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdool
a
ege
i
s
l_map_simplify
.
c: separate out isl_basic_map_is_
d
iv_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
isl
_
basic_map
_
f
r
om_constraint
:
keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
laege
i
s
l_
b
asi
c
_ma
p
_from_cons
t
r
a
i
nt:
o
nly return
copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_con
s
traint_ad
d
_div:
c
orrectl
y
se
t
l
ine t
o
fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaege
isl_pip
:
rename pip_o
p
tions to avoid co
n
flic
t
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_
c
onvex_hull
.
c:
i
nitial_fac
e
t_constraint: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
descri
b
e b
a
ckward inc
o
mpati
b
le
cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
l
aeg
e
doc: menti
o
n discussion g
r
ou
p
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
rename i
s
l
_
ba
s
i
c_m
a
p
_
convex_hull to i
s
l_basic
_
map_r
e
mov
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_affine_h
u
ll
.
c
: ou
t
side_po
i
n
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_t
a
b
_
rollback: a
v
oid do
u
ble fre
e
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_
t
ab
.
c
:
tab_ma
t
_prod
u
ct
:
avoid NU
L
L p
o
inter
d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolae
g
e
isl_tab_
e
xtend_co
n
s: avoid NUL
L
poi
n
ter
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
implem
e
nt antiquated isl
_
bas
i
c_set_
n
_
*
in ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
i
sl_m
a
p_c
o
nvex
_
hull:
a
void NULL pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
tab_add_v
a
lid_eq:
return int
i
nstea
d
of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_a
f
fine_hull
.
c
:
a
f
fine_hull_with_
c
one: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_equalities
.
c: p
a
rameter_c
o
mpr
e
ssi
o
n_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_b
a
sic_
m
ap_proj
e
ct
_
out: avoi
d
NULL pointer
derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_coale
s
ce
.
c:
coalesce_pair: avoid
N
ULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
i
s
l_convex_
h
ull
.
c
:
ex
t
en
d
: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
la
e
g
e
imple
m
e
n
t anti
q
uated
isl_
s
et_n_*
in terms
o
f isl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
i
sl_map_simpli
f
y
.
c:
normali
z
e_divs: avoid NULL
p
ointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Ver
d
oolaege
isl_input
.
c: var
s
_drop: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c
:
u
s
e
t_c
o
nvex
_
hull_wrap_bo
u
nded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
s
et_wrap_fa
c
et: fix er
r
or
handling
commit
|
commitdiff
|
tree
next