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
add isl_basic_map_has_defining_equality
2010-08-09
Sven
Verdoolaege
a
d
d isl_basic
_
map_has_definin
g
_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven
V
erdoolae
g
e
add
is
l
_set_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-08
Uday Kumar Re
d
dy
u
p
date
.
gitig
n
ore
commit
|
commitdiff
|
tree
2010-08-07
Sven Verdoolaege
isl_pri
n
ter_pri
n
t_m
a
p: fix p
r
i
n
t
ing in l
a
tex fo
r
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
Verdoolaege
i
sl_s
e
t_wrap_facet: normaliz
e
r
esu
l
tin
g
face
t
constr
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ver
d
oolaege
isl
_
coa
l
e
sce
.
c: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
ven
V
erd
o
olaege
isl
_
p
w_
q
polynomial_inter
s
ect_domain: simp
l
ify polynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdo
o
laege
isl_qp
o
l
ynomial_m
o
v
e
_dims: plug me
m
ory leak and
f
ix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoolaege
add is
l
_pw_qp
o
l
y
nom
i
al_read_fro
m
_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
a
d
d isl_qp
o
lynomial_fold_s
u
bstit
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verd
o
olaeg
e
isl_
p
w_qpolynom
i
al_int
e
rsect_domain:
d
rop pieces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
isl_map_product: u
s
ed nest
e
d spaces in resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl
_
pw_q
p
olynomial
_
bound: ha
n
dle isl_p
w
_
q
p
o
lynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ve
r
d
o
olaege
support nested isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
erdoolae
g
e
doc
:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
d
oolaege
exp
o
rt isl_d
i
m
_tu
p
le_ma
t
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
isl_
o
utput
.
c:
e
xtract out
c
o
mmo
n
prin
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
r
doolaeg
e
isl_
i
nput
.
c: read_tuple
:
construct
i
s
l
_
d
im i
n
ste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
d
o
c: remove
d
escription of
h
ow to
g
et the piplib submo
d
u
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n V
e
rdoolaege
isl_printer_print_pw_qp
o
lynomial_fold: pri
n
t di
m
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
pw_qpolynomial_i
n
se
r
t_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
erdoola
e
ge
add
i
sl_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
a
d
d isl_basi
c
_
m
ap_imag
e
_is_
b
ounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
avoi
d
NULL pointer exce
p
tio
n
in isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
fi
x
isl_p
w
_qp
o
lyn
o
mial
_
re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
a
d
d
isl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoolaege
a
dd isl_mat_ad
d
_ze
r
o_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sve
n
V
e
rdoolae
g
e
export isl_basic_map
_
mov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
h
id
e
i
sl_dim in
t
er
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaeg
e
add
i
sl_dim_get_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
is
l
_basic
_
map_reset_dim: finali
z
e resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
V
erdo
o
laege
is
l
_transitive_closur
e
.
c:
a
non
y
mize inpu
t
map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_transitive_clo
s
ure
.
c: ke
e
p
t
r
ack of domains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Ver
d
oolaege
isl_dim_dr
o
p
:
a
l
w
ays re
m
ove t
u
ple name, e
v
en
if
numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_
d
im_s
e
t_tuple_
n
a
me
:
allow ex
p
licit rem
o
v
al of tupl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd support for
union sets and relatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aeg
e
i
s
l
_
t
ransitive_closur
e
.
c
: extra
c
t out som
e
reu
s
able
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_pw_
q
polyn
o
mial_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoola
e
g
e
a
dd isl_map_has_equal_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
add
i
sl_dim_get_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aege
i
s
l_dim
:
all
o
w specification
of tup
l
e names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
ola
e
ge
isl_map_from_doma
i
n_and_range: implement in term
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
g
e
isl_basic_map_domain: pro
p
erly
s
et dimens
i
o
n of resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
priv
a
tely export isl_set_reset_dim and isl_m
a
p_
r
e
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoola
e
ge
isl_m
a
p
_
r
ead:
e
x
t
r
act out
read_var_d
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ve
r
d
o
olaege
i
s
l_hash_t
a
ble_foreach
:
p
a
ss po
i
nter to entry
d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_hash_tab
l
e_foreach:
a
dd user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
la
e
ge
isl_transitive_closure
.
c: fix
d
o
u
ble free
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
V
erdoolaege
isl
_
map_gist: use simple h
u
ll instead of
convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoo
l
a
ege
isl_cat: re
a
d ge
n
er
i
c
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
i
s
l_p
r
inter: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
Verdoola
e
g
e
make
i
s
l
_
o
bj_n
o
ne
a
co
n
sta
n
t expressi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doo
l
aege
add i
s
l_map_get
_
ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdo
o
laege
i
sl_
m
ap_fast_is_
u
niverse: al
s
o
d
etect redundant repr
e
s
entati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verd
o
olaege
add i
s
l_m
a
p_rea
c
hing_path
_
lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdool
a
ege
isl_ma
p
_power: dela
y
equating p
a
th length
s
to
powe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map
_
power: apply Flo
y
d-
W
arsha
l
l t
o
co
m
p
u
te powe
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
isl_map_
l
e
xmax: produce less
c
ryptic error
m
essage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
fix
i
sl_basic_
m
ap
_
mo
v
e_dims
i
n presence
o
f ex
i
ste
n
tially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoola
e
g
e
isl_test:
drop
d
e
bugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verd
o
olaege
isl_transitive_closure
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolaege
fix isl_map_le
x
_ge and isl_map_lex_
l
e in
the zero-d
i
mensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verd
o
olaege
isl_printer_print_ma
p
: rep
l
ac
e
variable
b
y it
s
definitio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoo
l
aege
p
rivatel
y
export i
s
l_basi
c
_map_fa
s
t
_c
m
p and isl_b
a
sic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdo
o
l
aege
i
sl_dim_set_name: don't ac
c
ept
n
am
e
s that look l
i
ke
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Gro
s
ser
Rem
o
ve comma at the end
o
f e
n
um
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven V
e
r
d
o
olaege
isl_con
v
ex_hul
l
.
c: avo
i
d side
-
effects
i
n calls
t
o
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verdoola
e
ge
add
isl_hash_b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
en
V
erdoolaege
doc: fix some
t
ypo
s
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolae
g
e
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolae
g
e
M
a
ke
f
i
l
e
.
am:
reall
y
inclu
d
e inc
l
ude/i
s
l
_vert
i
ces
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
a
dd
i
s
l
_
m
ap_is_bije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Ve
r
doolaege
do
c
: drop duplicate b
o
ok
t
itle fr
o
m Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolae
g
e
d
oc: use more
explicit notation
t
o avoid
con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdool
a
ege
add
i
s
l
_
constraint_is
_
div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
ve
n
Verdoolaege
isl_map
_
simplify
.
c
: separate o
u
t i
s
l_ba
s
ic_map_is_
d
iv_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
Ve
r
d
oolaege
is
l
_basic_
m
ap_from_constraint: kee
p
all d
i
vs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
i
s
l
_basic_map_from_
c
o
n
s
traint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en V
e
rdoolaege
isl_c
o
nstrain
t
_add_div: correctly s
e
t line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
isl_pip: re
n
a
m
e
pip_options to a
v
o
i
d conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onv
e
x
_hull
.
c:
i
n
iti
a
l_fa
c
et_cons
t
raint
:
fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
doc: describe backward in
c
o
mpatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
d
o
c: mention di
s
c
us
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
rename isl_basi
c
_map_convex_hull
to
i
sl_ba
s
ic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
f
fine_hull
.
c: outside_po
i
n
t: fix error h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
tab_rollback: avoid double free o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab
.
c: tab_m
a
t_product: avoid NUL
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
ae
g
e
isl_tab_e
x
tend_cons:
a
void NULL
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
imp
l
ement antiquated
is
l
_ba
s
ic_set_n
_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_m
a
p_convex_
h
ull
:
a
v
oid
N
ULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaeg
e
isl_ta
b
_add_valid_eq: re
t
urn int
instead o
f
isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_affine_hu
l
l
.
c:
affine_h
u
ll
_
w
i
th_cone: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_equa
l
i
ties
.
c
: paramet
e
r_
c
ompression_
m
ulti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
b
asic_ma
p
_
proj
e
ct_
o
ut: a
v
o
i
d
NULL p
o
inter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_coal
e
s
c
e
.
c: coalesce_pair: avoid
NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
convex_hull
.
c: ex
t
end: fix error
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
imple
m
ent ant
i
quated isl_set_n_* in
terms of isl_set_dim
commit
|
commitdiff
|
tree
next