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_map_gist: also perform gist in universe context
2010-08-11
Sven Verdoolaege
isl_map_gist: also
per
f
orm gist in universe context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaeg
e
isl_
u
nion_map: con
s
truc
t
new isl
_
union_ma
p
o
n
op
e
r
a
t
io
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
isl_union_map_is_empty:
f
ix typo t
h
a
t
resulted in me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
add isl_basic
_
map_has_defining_e
q
uality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sve
n
Ve
r
doolae
g
e
add isl_set_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-08
Uday Kumar Reddy
u
pdat
e
.
g
i
tignore
commit
|
commitdiff
|
tree
2010-08-07
Sv
e
n Verdoolaege
is
l
_printer_pri
n
t_map: fix printing in la
t
ex f
o
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Ver
d
oolaege
isl_set_wra
p
_facet: normalize res
u
lt
i
ng facet cons
t
rai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaeg
e
i
s
l
_coalesce
.
c: fix
t
ypo
in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verd
o
olaege
isl
_
pw_q
p
ol
y
n
omi
a
l_intersect_
d
om
a
in: simplify polynomial
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven V
e
rdoolaege
i
s
l
_
qpolyn
o
mial_move_dims: p
l
ug memory le
a
k and fix
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
v
en Verdoo
l
a
ege
a
dd isl_pw_qpol
y
nomial_read_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolae
g
e
add isl_q
p
ol
y
nomial_fold_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verd
o
olaeg
e
isl_pw_qpo
l
ynomial_inters
e
ct_do
m
a
in: dr
o
p piec
e
s that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en V
e
r
do
o
l
a
ege
isl_map_
p
r
o
duct:
u
sed ne
s
ted spaces in re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rd
o
olae
g
e
isl
_
pw_
q
poly
n
omial_bound: handle i
s
l_p
w
_qpoly
n
omials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
support
n
ested
i
s
l_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
expor
t
isl_d
i
m_tup
l
e_
m
atch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ve
r
dool
a
ege
isl_output
.
c:
extract out common print
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
i
n
p
u
t
.
c: read_tuple: con
s
truc
t
i
sl_d
i
m
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
doc: re
m
ove descr
i
pti
o
n of how to get the piplib submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
i
s
l_printer_print_
p
w_qpoly
n
omia
l
_fold: pr
i
nt dim
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en V
e
rdoolaege
a
d
d isl
_
pw_qpoly
n
omial_i
n
sert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add
i
sl_set_in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdool
a
ege
ad
d
isl_ba
s
ic_m
a
p_
i
ma
g
e_is_bounde
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verd
o
olaege
avoid NULL pointer
e
xcep
t
ion
i
n
isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoo
l
aege
fix i
s
l_pw_qpolynomial_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
lae
g
e
add isl_mat_add_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
erdoolaeg
e
add
i
sl_mat_add_z
e
ro
_
cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven V
e
rdool
a
ege
export isl
_
b
a
sic
_
map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
V
erdoolaege
hide isl_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olae
g
e
add isl_dim_
g
et_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ven Ver
d
oola
e
ge
isl_
b
asic_ma
p
_reset_dim: fina
l
iz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
isl_transitive_closure
.
c
: anonymize input map
d
uring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdoolae
g
e
isl_transi
t
ive_closure
.
c: keep track of domains
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolae
g
e
isl
_
dim_drop:
always remove tuple
n
a
m
e, even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rdo
o
laege
is
l
_di
m
_s
e
t_tuple_name: allow ex
p
l
i
cit
r
e
m
o
val of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add support
for union sets
and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_tr
a
nsitive_closure
.
c: e
x
tract o
u
t some re
u
sable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
isl_p
w
_qpolynomia
l
_rese
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
a
d
d isl_map_
h
a
s
_eq
u
al_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olaege
add isl_dim
_
get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdo
o
laege
i
s
l
_
dim: allow specifi
c
ation
o
f tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
a
e
ge
isl_map_from_domain_and_range: i
m
p
l
ement in te
r
ms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_b
a
sic_m
a
p_domain: prop
e
rly
s
e
t di
m
ension of
r
esu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
p
rivately
e
xport isl_set_reset_dim a
n
d isl
_
m
ap_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
do
o
laege
isl
_
map_rea
d
: extract out rea
d
_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Ve
r
doolaege
isl_hash_table_fo
r
each:
pass pointer
t
o
entr
y
data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
i
s
l_hash_table_fo
r
ea
c
h: add us
e
r
a
r
g
umen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
g
e
isl_transitive_closur
e
.
c: fix dou
b
le free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
isl_map_gist: use si
m
p
l
e hull inst
e
ad of c
o
n
v
e
x hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
doolaege
isl_map
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
is
l
_cat: read generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
ae
g
e
isl_printer
:
add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven V
e
rdool
a
e
ge
make isl_obj_
n
one a co
n
stant expr
e
s
sion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
a
dd isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
laege
isl_map_fast_is_uni
v
e
rse: a
l
so d
e
tect redunda
n
t
r
epresentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
Verdoola
e
ge
add
i
sl_map_reaching_
p
ath_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaeg
e
isl_ma
p
_p
o
we
r
:
delay eq
u
ating
p
ath lengths to p
o
w
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
isl_map_po
w
er: apply F
l
oy
d
-Wars
h
all to compute po
w
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
isl
_
map_lexmax:
produ
c
e less cryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoo
l
aege
fix isl_basic_map_move_dims in pre
s
e
nce of
exi
s
tent
i
al
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolae
g
e
i
s
l_test: dro
p
debuggi
n
g output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdool
a
ege
isl_t
r
a
ns
i
tive_closure
.
c: fix
typ
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdo
o
laege
fi
x
isl_map_le
x
_ge and i
s
l_map_lex_le in
t
he zero-
d
imens
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdoo
l
a
ege
isl_printer_pr
i
nt_m
a
p:
rep
l
a
ce v
a
riable
by its def
i
n
i
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Verdoolaeg
e
privatel
y
export isl_
b
asic_map_fast_cmp and i
s
l_basic
_
map
_
fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaeg
e
isl_dim_set_name:
don
'
t accept
names
t
hat loo
k
like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobi
a
s Grosser
Remove comma
a
t
the
e
nd
of enume
r
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
erdoolaege
isl_convex_hull
.
c:
avoid
side-effect
s
in cal
l
s t
o
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n Verdoolaeg
e
add isl_
h
ash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdo
o
laege
add isl_in
t
_
ge
t
_
s
t
r
commit
|
commitdiff
|
tree
2010-07-02
Sv
e
n Verdoolaege
doc: fix some
t
ypos
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
M
a
kefile
.
a
m
: really include include/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdoolaege
add
isl_m
a
p_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
S
v
en V
e
rdoolaege
d
o
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
V
e
rdoolaege
doc: dro
p
duplicate b
o
ok
t
itle from Kelly1996closu
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc:
u
s
e m
o
re e
x
plic
i
t n
o
tation to avoi
d
confu
s
ion
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
d
oolaege
add isl_constraint_is_div_c
o
n
strai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
i
sl_map_simpl
i
fy
.
c: se
p
a
rate
o
ut isl_basic_map_is_d
i
v_constrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
is
l
_basic
_
map_fr
o
m_cons
t
raint: keep all div
s
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Ve
r
d
o
olae
g
e
isl_basic_map_fr
o
m_
c
on
s
traint: onl
y
ret
u
rn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven V
e
rdool
a
e
ge
isl_constraint_add
_
div: correctly set lin
e
to
f
i
rst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
l
a
ege
isl_pip
:
rename pip_optio
n
s t
o
avoid conf
l
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
i
s
l_convex_hul
l
.
c: initial_face
t
_constraint: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
do
c
: describe backward
i
ncompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
o
c: mention dis
c
us
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename
i
sl_b
a
sic_map_convex_hull to isl_
b
asic
_
m
ap_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rd
o
ol
a
ege
i
s
l_af
f
ine
_
hull
.
c: outs
i
de_point: fix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_tab
_
rollback: avoid do
u
ble free on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_tab
.
c
:
ta
b
_mat_pro
d
uct: av
o
id NULL poin
t
er
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
isl_
t
a
b
_ext
e
nd_cons: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement anti
q
uated isl_basic_
s
et_
n
_
*
in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map
_
convex_hull: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_tab_add_valid_eq: return
i
nt inste
a
d of
i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_af
f
ine_hull
.
c: affine_hull_
w
ith_cone: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_equa
l
ities
.
c: p
a
r
a
m
eter_compr
e
ss
i
on_
m
u
lti: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoola
e
ge
isl
_
basic_m
a
p_project
_
out: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
next