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
add isl_
b
asic_ma
p
_has_def
i
ning_eq
u
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven
V
erdoolaege
add isl_set_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-07
S
v
en Verdoolaeg
e
isl_prin
t
er_p
r
int_map: fix
prin
t
ing in latex format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n
V
erdoolaege
isl_set_wra
p
_fac
e
t: no
r
m
a
lize resulting
f
ace
t
c
o
n
straint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaeg
e
isl_coales
c
e
.
c: fix ty
p
o in
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n Verdoolaege
isl
_
pw
_
qpolynomial_intersect_domai
n
:
s
im
p
l
ify pol
y
no
m
ials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven
Verdoo
l
aege
isl_qpolynomial_move
_
dims
:
plug
memory leak and fi
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verd
o
olaege
add isl_pw_qpolynomial_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
V
erdoolaege
add isl_qpolynomial
_
f
old_
s
ubstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_pw_q
p
o
l
y
n
omial_in
t
e
rs
e
ct_d
o
main: drop pi
e
c
es that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
isl_map_product:
u
sed ne
s
ted sp
a
ces i
n
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaege
is
l
_pw_qpolynomi
a
l_bound: h
a
ndle isl_pw_qp
o
lynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
suppor
t
nes
t
ed isl_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
e
ge
e
x
por
t
isl_dim_tuple_
m
atch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
ven
Verdoolaege
isl_out
p
ut
.
c: extrac
t
out common print_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
is
l
_input
.
c: read_t
u
ple: construct isl_
d
i
m instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
ege
doc: re
m
ove
d
escrip
t
ion of
ho
w
to
g
et the
p
iplib s
u
bmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
isl_
p
rinter_print_
p
w_qpolynomial_fold:
print di
m
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
Ve
r
doolaeg
e
add is
l
_
p
w_qpolyn
o
mial
_
insert
_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
ad
d
is
l
_set_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Ver
d
oolaege
add isl_basic_map_image_is_bound
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdoolaege
a
v
oid
N
ULL p
o
inter
e
x
ce
p
t
i
on in isl_basic_map
_
n
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
fix isl_pw
_
q
polynomial_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_ma
t
_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaeg
e
add isl_ma
t
_add_z
e
r
o_col
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoo
l
ae
g
e
export
i
sl_basic
_
map_move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoolaege
hide is
l
_
dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoo
l
aege
add isl
_
dim
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_basic_map_reset_dim:
finaliz
e
resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_transitive_
c
losur
e
.
c
: anonymize input map
d
ur
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l
_
transit
i
ve_closure
.
c: keep track
of d
o
mains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdoolae
g
e
isl_dim_drop:
a
lways remove
t
uple name, ev
e
n i
f
nu
m
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdoo
l
aege
isl
_
dim_set_tuple_name: allow explic
i
t r
e
moval of tu
p
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
s
upport for union set
s
and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n V
e
rdoolaege
isl_transitive_closure
.
c:
e
xtract ou
t
so
m
e reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
add isl_pw_qpolynomial
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
a
d
d
i
sl_map_
h
as_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add i
s
l_dim
_
get
_
h
as
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
oolaege
isl_dim: allow specification of tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verd
o
olaeg
e
i
s
l_map_f
r
om_domain_an
d
_
r
ange: implement
i
n terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_ba
s
ic_
m
a
p
_domain: properly
s
et dimension o
f
re
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
pr
i
vate
l
y
e
x
port i
s
l_
s
et_rese
t
_dim and
i
sl_map_re
s
et_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdo
o
l
a
ege
isl_
m
ap_
r
ead: extract out read_var_de
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_hash_tab
l
e
_fore
a
ch: pass pointer to entry d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
o
o
laege
isl_hash
_
tabl
e
_forea
c
h: add user a
r
g
umen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_transitive
_
c
losure
.
c
:
fix d
o
ub
l
e
free o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoo
l
aege
isl_map_gis
t
: u
s
e simple h
u
ll inste
a
d of co
n
vex
h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
is
l
_map
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl_cat: read gen
e
ric o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl_print
e
r:
add
N
ULL check
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
make isl_obj_no
n
e
a constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
add
i
sl_map_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_ma
p
_fast_is_universe: also de
t
ect
r
e
dundant re
p
resentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolae
g
e
a
d
d
isl_map_r
e
aching_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
rdoo
l
aege
isl_map_powe
r
:
d
e
lay
eq
u
ating
p
a
th l
e
ngths to powe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
i
s
l_map_power: apply Fl
o
yd
-
War
s
h
all to c
o
mpute pow
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
isl
_
map_lexmax: produce less
c
r
y
ptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolae
g
e
fi
x
isl_ba
s
i
c_map_move_dims i
n
presence of
e
xistentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rdoolaege
isl_tes
t
: drop de
b
ugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaeg
e
isl_tran
s
itiv
e
_
c
losure
.
c: fix typo
in co
m
men
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
fix isl_map_lex_ge a
n
d
i
sl_map_l
e
x_le in the zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdo
o
laege
isl_printer_
p
rint_ma
p
: replace v
a
ri
a
b
le by
its def
i
nition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verd
o
olae
g
e
pri
v
ately exp
o
rt isl_b
a
sic_map_fa
s
t
_
c
mp an
d
isl
_
bas
i
c_
m
ap_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
isl_dim_set_
n
a
me: don't accept n
a
mes t
h
at look
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdo
o
la
e
g
e
isl_co
n
vex_hull
.
c
:
avoid
s
i
de-e
f
fects
i
n calls to
isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_hash_bu
i
l
tin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verdoolaege
add isl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdool
a
ege
doc: fix
some typ
o
s
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n Verdoo
l
aege
Makefile
.
am
:
re
a
lly includ
e
include/isl_vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Ve
r
doolaege
add isl_map_is_biject
i
ve
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolae
g
e
doc
:
drop du
p
l
i
c
ate booktitle from Kelly1996c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n V
e
rdoola
e
ge
doc: use more ex
p
licit notation to avoid
confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolae
g
e
add isl_constraint_is_d
i
v_cons
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
d
o
olaeg
e
isl_map_simplify
.
c
:
s
e
parate ou
t
isl_basic_m
a
p
_i
s
_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
i
s
l_basi
c
_map
_
from_con
s
t
r
aint: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
Verdoolaege
isl_basic_
m
ap_from_constraint: only ret
u
r
n
copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoolaege
is
l
_
constraint_
a
d
d_div: correc
t
ly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl
_
pip: rename pip_o
p
tions
to avoid
conf
l
ict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_con
v
ex_
h
ull
.
c: initial_facet_constrain
t
:
fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
doc: d
e
scribe
ba
c
kward incom
p
atibl
e
changes
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
doc: mention d
i
scussion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolaege
rename isl_basic_map_conv
e
x_hull t
o
isl_basic
_
map_
r
e
m
ove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affine_hul
l
.
c:
outsi
d
e_point: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_roll
b
ack:
a
void doubl
e
fr
e
e on er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
a
b
.
c: tab_mat_pro
d
u
ct:
a
void NULL
p
ointer d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl
_
tab_ext
e
nd_cons: av
o
id NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
implem
e
nt
antiquated isl_basic_set_n_*
i
n t
e
rm
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_convex_hull
:
avoid NULL po
i
nter d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_tab_add_valid_eq: return int instead of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
la
e
ge
isl_affine_hull
.
c: affine_hull_with_cone
:
avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_equal
i
ti
e
s
.
c: para
m
eter_compression_mult
i
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_basic_map_project_out: avoid NULL pointer de
r
efer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolae
g
e
isl
_
coalesce
.
c: coalesce_pair: avoid NULL poi
n
t
e
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_convex
_
h
ull
.
c: extend: fi
x
err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
implement a
n
t
i
q
u
ated isl_se
t
_n_* in terms
of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
ae
g
e
isl
_
ma
p
_
s
implify
.
c: normali
z
e_
d
ivs: avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
input
.
c: vars_drop: fix error handli
n
g
commit
|
commitdiff
|
tree
next