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_stream_read_obj: read reductions
2010-08-18
Sv
e
n Verd
o
o
l
ae
g
e
isl_
s
tream_read_obj:
r
ead reduction
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
i
s
l_inp
u
t
.
c: read
_
factor: fix read after free i
n
e
r
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
isl_strea
m
_er
r
o
r
: pri
n
t unexpected identifier name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
rena
m
e isl_pw_qpolynom
i
al_fold_a
d
d to i
s
l_pw_qpolyno
m
ia
l
_
fol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
do
c
: min
o
r
cla
r
i
fication
o
n
o
p
eration
s
on union
sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
a
dd isl
_
union_set_get
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-11
Sve
n
Verdool
a
ege
isl_map_gi
s
t:
a
lso perform gist in universe co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
S
ve
n
Verdoolaege
is
l
_un
i
on
_
map: constr
u
ct n
e
w isl_union_map o
n
o
p
erati
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
olaege
isl_
u
nion_ma
p
_is_emp
t
y:
f
i
x typo th
a
t
r
esulte
d
in memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Ve
r
doolaege
add isl_basic_map_h
a
s_defin
i
ng_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdo
o
laeg
e
add isl_
s
et_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-08
Uday Kumar Red
d
y
u
p
d
ate
.
gitign
o
re
commit
|
commitdiff
|
tree
2010-08-07
Sven
Verdoola
e
ge
isl
_
printe
r
_pr
i
nt_map
:
fix
printing
in l
a
tex
f
ormat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl
_
set_wrap_fac
e
t:
normalize resulting
f
acet constr
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdo
o
laege
isl_coalesce
.
c: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sven Verdoolaege
isl
_
pw_qpolynomial_
i
nte
r
sect_do
m
ain: simplify
p
o
l
ynomi
a
ls
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sv
e
n
Verdoolaege
isl_qpolyno
m
ial
_
move
_
dims: plug memory le
a
k
a
nd
f
i
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
Sve
n
Verdoolaege
a
dd
i
sl_pw_
q
polynomia
l
_rea
d
_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-06
S
ven Verdoolaege
add isl_qpolynomial_fold
_
substi
t
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdo
o
laege
isl_p
w
_qpolynomial
_
intersect_domain:
d
rop p
i
eces that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Ve
r
doolaege
isl_m
a
p_
p
roduct:
used
n
ested spaces in result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
isl_pw_qpolynomial_b
o
und:
h
an
d
l
e
isl_pw_q
p
olynomials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
s
upport nes
t
ed isl_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
ege
do
c
: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Ve
r
doolaege
expor
t
i
sl_
d
im_tuple
_
m
atc
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
isl_output
.
c: extrac
t
o
ut common
p
rint_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
V
erdoo
l
aege
isl
_
input
.
c: read_tuple:
c
onstruct
i
s
l
_dim instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
doc: remove descriptio
n
of how to ge
t
the piplib subm
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdo
o
laeg
e
isl_p
r
inter_p
r
in
t
_pw_qpolyn
o
mial_fold:
print dim as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
Verdoolaege
add
isl_pw_
q
polynomial_
i
n
s
ert_
d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaeg
e
a
d
d isl_s
e
t
_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl
_
bas
i
c
_
m
a
p
_
i
mage_is_bounded
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ve
r
doolaege
avoid NULL poi
n
t
er exception in isl_basic
_
map_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
fix
i
sl_pw_qpolyn
o
m
i
al_
r
es
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
add isl_mat_
a
dd_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
v
e
n Verdoolaege
add is
l
_mat_add_z
e
r
o_col
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sve
n
Ver
d
oolaege
export i
s
l
_basic_map
_
m
ove_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolae
g
e
hide isl_
d
i
m in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
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
S
v
en Ve
r
doolaege
isl_b
a
si
c
_map_reset_dim: f
i
nalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
Verdoola
e
g
e
i
sl_transitive_cl
o
sure
.
c:
anonymize
input map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
aege
isl_transit
i
ve_closure
.
c: ke
e
p t
r
ack of
d
omains for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl
_
dim_drop: always rem
o
ve
t
uple
n
ame,
even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
i
sl_dim_set_tuple_name: allo
w
exp
l
icit removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add support for union s
e
ts and
r
e
lations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
isl_tran
s
itive_closure
.
c
: extract out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
add isl_pw_q
p
oly
n
o
m
i
a
l_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoolaege
a
d
d isl_
m
ap_has_equal_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaeg
e
a
dd isl_dim_get_has
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_dim: allow specification
o
f
t
uple
names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_map_
f
r
om_domain_
a
nd_range: implement
i
n terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_basic_map_domain: pro
p
erly
s
et dimension of res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ve
r
dool
a
ege
p
r
ivately
e
xpo
r
t isl_set_reset_dim
and
i
s
l
_
map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
l
a
ege
isl_map_rea
d
: extract
o
ut read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
i
sl_h
a
sh_tabl
e
_
f
oreach: pa
s
s p
o
inter to e
n
tr
y
d
a
ta
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_tab
l
e
_
forea
c
h:
a
dd u
s
er argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdool
a
ege
isl_transitive_closu
r
e
.
c: fix doubl
e
f
r
e
e on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verdoola
e
ge
isl_map_g
i
st: use simple
h
u
ll instead of conv
e
x hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_
m
a
p
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
r
d
oolaeg
e
isl_cat: read gen
e
ric obj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoolaege
isl_printer: a
d
d
NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
e
r
doolaege
make isl_obj_none
a
c
o
n
stant exp
r
ession
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add
i
sl_map_g
e
t_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Ve
r
doola
e
ge
isl_map_fast_is_
u
nivers
e
: also
detect red
u
nd
a
nt repr
e
sentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
add isl_map_re
a
ch
i
n
g
_
pa
t
h_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoo
l
aege
isl_ma
p
_po
w
er
:
delay eq
u
ating path
l
ength
s
to pow
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
isl_m
a
p_power: apply Floyd-Warshall to co
m
pute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
isl_
m
ap_lexmax: produce less cryptic error messag
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdoolaege
fix isl_ba
s
i
c_ma
p
_mo
v
e_dims in
p
r
esence of
exist
e
nt
i
a
lly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
isl_test: drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoo
l
a
ege
is
l
_transitive_
c
losure
.
c:
f
ix
t
ypo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdool
a
e
ge
fix isl_map_lex_ge and isl_map_
l
ex_
l
e in
t
he zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdoolae
g
e
isl_printer_print_map: replace variab
l
e
by its
d
efinit
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Ve
r
doolaege
privately e
x
p
ort is
l
_b
a
sic
_
map_fast_c
m
p
and is
l
_bas
i
c_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
lae
g
e
isl
_
dim_s
e
t_name: don't accept nam
e
s that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
R
emove comma
a
t the end o
f
enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
S
v
en Verdoolaege
is
l
_convex_h
u
ll
.
c: avoi
d
s
id
e
-effects in cal
l
s
t
o isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdoolaege
ad
d
isl_hash_b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdoolaege
add i
s
l_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolae
g
e
doc: fix so
m
e typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdo
o
l
a
ege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
Makefi
l
e
.
am: reall
y
include
include/
i
sl_vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
r
d
o
olaege
a
d
d
isl_map_is_bije
c
ti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
Verdoola
e
ge
doc: drop duplicate booktitle fr
o
m Ke
l
ly
1
996clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Ve
r
d
o
ol
a
ege
d
oc: use more
explicit notati
o
n
to avoid
confusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
ool
a
ege
add isl_constra
i
nt_is
_
d
iv_c
o
ns
t
raint
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoola
e
ge
isl_map_simplify
.
c
:
separate out isl_b
a
s
i
c_m
a
p
_
is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaeg
e
i
sl_basic_map
_
f
r
om_cons
t
rain
t
: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ve
n
V
erdoolaege
isl_basic_map_from_constr
a
int: o
n
ly retur
n
c
op
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdool
a
e
ge
is
l
_con
s
traint_add_div:
correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdo
o
l
ae
g
e
isl_pip
:
rename pip_o
p
tions to a
v
o
i
d
conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolae
g
e
isl_co
n
ve
x
_hull
.
c: initial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: d
e
scri
b
e bac
k
w
a
rd inco
m
patible
ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdo
o
laege
doc:
m
e
n
tio
n
discussi
o
n group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
eg
e
rename i
s
l
_basic_map_conve
x
_hull t
o
i
s
l
_basic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affin
e
_
hull
.
c: outside
_
point: fix err
o
r
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
_
r
o
llback: avoid doubl
e
free on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_tab
.
c:
ta
b
_mat_product: avoid NULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_extend_c
o
ns: avo
i
d N
U
LL pointer dereference
commit
|
commitdiff
|
tree
next