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_flat_range_product
2011-05-16
Sven Verdoo
l
a
ege
isl/div
.
h
:
drop dependence
o
n
is
l
/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
hi
d
e
isl_div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
add
isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
rdoo
l
a
e
ge
a
d
d isl_mat
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
do
c
: drop documentation for isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoola
e
g
e
add gmp flags to pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolae
g
e
explicitly l
i
nk i
n
gmp
i
n
applica
t
ions that reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
aege
con
f
ig
u
re
.
ac: don't depend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_
p
w_q
p
olynom
i
al_
i
nvolves_di
m
s
:
also
chec
k
w
hether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
add
i
sl_union_m
a
p_
p
lain_is_in
j
ective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdo
o
laege
isl_map_intersect_rang
e
: add special case for
in
t
e
r
section
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
ad
d
i
sl_vec_
s
ort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_unio
n
_
map_uni
v
er
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
rdoolaege
r
e
name *_fa
s
t_*
f
u
nctions to
*
_pl
a
in_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
Merge b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
rdoo
l
aege
isl_
m
a
p_r
a
nge: correctly handle ma
p
s with 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
i
s
l_lis
t
.
h
: all
o
w inclusion
f
rom C
+
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: don't simplify domain
in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en
V
e
rdoolaege
a
d
d
isl_
p
rinter_print_co
n
straint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_constraint_get_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ve
n
Verd
o
olaege
ad
d
isl_
m
at_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Verdoolaege
rename isl
_
mat_
d
u
mp
to
i
sl_mat_print_in
t
ern
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
add
is
l
_const
r
a
int_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoola
e
ge
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
Ver
d
oolaege
i
sl
_
basic
_
map_affine_hu
l
l:
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosser
Remove
recently
added
un
u
sed
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobia
s
Grosser
A
dd extern C declaration to schedu
l
e
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
dataflow analysis: don't depend on word size d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
add isl_
u
nion_se
t
_compute_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_tab_basic_s
e
t_non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add is
l
_
tab
_
basic_se
t
_non_trivial_l
e
xmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoo
l
aege
is
l
_tab_p
i
p
.
c: add_lexmin_e
q
: r
e
turn int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_tab_pip
.
c:
resto
r
e_lexmin: r
e
t
u
r
n int
i
nstead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_p
i
p
.
c:
add s
o
me debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdool
a
ege
isl
_
tab_pip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdoolaege
add isl_quickso
r
t (copied from g
l
ibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdool
a
ege
i
s
l
_pri
n
t
e
r_print_b
a
sic_set: al
s
o print
i
nvalid
ba
s
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_u
n
ion_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
r
doo
l
ae
g
e
a
dd isl_union_map_
i
s_b
i
jec
t
iv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
o
o
laege
add isl_union_map_is_si
n
g
l
e_
v
alued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
add isl_mat_add_zero
_
rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
isl_blk: don
'
t r
e
use overly large blocks fo
r
sm
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olae
g
e
add is
l
_hmap_map_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
ad
d
isl
_
u
n
ion_map_copy_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoola
e
ge
add isl_union_map_contain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_basic_set_
t
ransform_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
a
dd isl_ba
s
ic_
s
et
_
o
ffset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolae
g
e
c
h
ange isl_mat_sub_allo
c
p
r
o
totype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
make isl_mat_sub
_
* functions private
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolaege
add isl_mat_initial_non_
z
ero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_mat_set
_
element
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_basic_set_add_con
s
traints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaeg
e
add i
s
l_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
o
laege
isl_dim
_
map: a
l
low signed
m
apping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdool
a
ege
isl_dim_map: extract from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
chan
g
e protot
y
p
e
o
f
isl_tab_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
ad
d
isl_map_remove_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
doc:
fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
doc:
ad
d
a note on the
a
cc
u
rac
y
of our
a
p
p
roxi
m
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdo
o
laege
add isl_unio
n
_se
t
_coefficient
s
and is
l
_u
n
ion_set_
s
o
l
utions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
V
e
rdoo
l
ae
g
e
add i
s
l_unio
n
_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolae
g
e
Me
r
ge
branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
S
v
en
V
erdoola
e
ge
isl_tab: alway free
saved basi
s
undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doola
e
ge
make sure destinati
o
n for GDB
m
od
u
l
e
exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolae
g
e
isl_tab_pip
.
c
:
a
dd_lex
m
i
n_eq: rem
o
ve misguided
o
p
timizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdool
a
e
ge
is
l
_
b
asic_map_lexmin: t
u
rn off equal
i
ty det
e
ctio
n
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdoolaege
use silen
t
make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
i
s
l_stream_read_map:
f
i
x
h
andl
i
ng of divs in
tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
V
erdoolaege
isl_mat_left_hermite: plu
g
memory
l
eak
o
n
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdoo
l
aege
plug memory leak in isl_mat_p
r
odu
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Verdoola
e
ge
i
s
l
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
d
oc: add
s
o
me
i
m
p
l
e
m
en
t
ation details on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl
_
lp
.
c: av
o
id c
l
ang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
ae
g
e
i
sl
_
stream_read_map: accept floord
a
n
d
ceild
expre
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl
_
s
t
rea
m
_read_map:
a
c
cept mi
n
and max ex
p
ress
i
on
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Verdo
o
laeg
e
isl_stream_read
_
map: properly read nested d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read
_
map: tre
a
t divs
a
s
o
utput variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
o
laege
i
sl_map
_
c
oa
l
esce: plug memory
l
eak on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_mat_exte
n
d: avoid memory leak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erd
o
olaege
isl_basic_
m
ap_overlying_set: avoid mem
o
r
y le
a
k
w
hen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
isl_str
e
am_getc: avoid memory l
e
ak when
realloc
fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudimentary supp
o
rt for asynchr
o
nous termination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolae
g
e
hide i
s
l_ctx int
e
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Ver
d
oola
e
ge
isl
_
vec_read_
f
rom
_
fi
l
e: dro
p
input_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdoolaege
is
l
_map
.
c
:
drop unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolaege
isl_input
.
c: drop unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
re
s
p
ect DESTDIR when
install
i
ng isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ver
d
oolaege
is
l
_stream
:
accept "$
"
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdo
o
laege
add
i
s
l_un
i
on
_
m
ap_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdool
a
ege
chan
g
e
i
s
l
_
map_power in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verd
o
olaege
add isl_union_
m
ap_z
i
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add priv
a
te isl_basic_map_sw
a
p
_
v
a
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verd
o
olaeg
e
add isl_union_map
_
deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdo
o
laeg
e
is
l
_map_del
t
a
s: don't
c
opy flag
s
f
r
om inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl
_
stream_rea
d
_
map: acc
e
pt c
o
n
s
tan
t
expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
ge
isl_st
r
eam: accept "/\" and "\/" as a
l
ternatives
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl
_
s
t
ream: only quote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdo
o
l
ae
g
e
i
s
l
_
stre
a
m: ma
i
ntain
private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next