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_schedule.c: extract out definition of isl_schedule to isl_schedule_private.h
2011-05-05
Sven Ve
r
d
o
o
laeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdo
o
laege
isl_map_
r
an
g
e: correctl
y
han
d
l
e maps with 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verd
o
olae
g
e
isl
_
l
ist
.
h: allow inclusion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n Verdoolaege
i
s
l_tab_pip:
don'
t
simplify domain in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add
i
sl_printer_
p
rint_constra
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ve
r
d
oola
e
ge
add isl_constraint
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven V
e
r
d
o
o
laege
add
i
sl_mat_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ver
d
oo
l
aege
rename i
s
l
_
m
a
t_dump to is
l
_mat_print_i
n
t
e
rn
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ve
r
d
o
o
laege
a
d
d
isl_const
r
a
i
n
t
_get_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
Me
r
ge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoo
l
aege
isl_basi
c
_m
a
p
_affine_hull: f
i
naliz
e
res
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Ve
r
dool
a
e
ge
d
a
taflow
analys
i
s:
d
on't depend
o
n word size d
u
r
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add isl_union_set_compute_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolae
g
e
add i
s
l_tab
_
basic_set_
n
on_neg_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_tab_b
a
sic_set_non_
t
rivial_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
o
olaege
i
sl_tab_pi
p
.
c: add_l
e
x
m
in_eq: re
t
urn int instea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olaege
isl_t
a
b_p
i
p
.
c
:
restore_lexmin: ret
u
r
n
int i
n
stead o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl
_
ta
b
_p
i
p
.
c: add som
e
deb
u
gging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
isl_ta
b
_pip
.
c: fix typo i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_quicksor
t
(co
p
i
ed from gli
b
c
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
isl_pr
i
nter_print_basic_set
:
also print inval
i
d b
a
sic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
add isl_uni
o
n
_
map_is_injec
t
ive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
o
la
e
ge
a
d
d
i
s
l_union_ma
p
_
i
s
_bijective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d
isl_u
n
ion_
m
ap_is_single_va
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add
isl_
m
at_add_zero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_blk: don't reuse overly
l
arge blocks
f
or small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
a
dd isl_hmap_
m
a
p_basic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_union_map_copy_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
ad
d
isl_
u
nion_map_contain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add isl_basic_set_trans
f
orm_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_b
a
si
c
_set_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
change isl_mat_sub_alloc
prot
o
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
make i
s
l_
m
at_
s
ub
_
* functions
p
ri
v
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Ve
r
doolaege
add isl_v
e
c_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_mat_i
n
itial_non
_
zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_ma
t
_set_eleme
n
t_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolae
g
e
add isl_basic_se
t
_a
d
d_constrain
t
s_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
la
e
ge
add isl_
d
im_map_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_map:
a
llow s
i
gned
mappi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isl_
d
im_map: extract f
r
om isl_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
c
h
ange pr
o
tot
y
pe of isl
_
tab_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdool
a
ege
a
d
d
isl_map_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdoolae
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: a
d
d
a
note
o
n
the
a
ccuracy of ou
r
ap
p
roximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_un
i
on
_
set_coefficie
n
ts and isl_union_set_so
l
ut
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdo
o
laege
ad
d
i
sl_uni
o
n_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdool
a
ege
Merge bran
c
h
'm
a
int'
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n
V
e
rdoolaege
isl
_
ta
b
: alway free sa
v
ed basis undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
make sur
e
destination f
o
r
GDB module exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
isl
_
t
a
b_pip
.
c: add_lexmin_eq: remove misguided optimizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
e
rdo
o
l
a
eg
e
isl_basic_map_
l
exmin:
tur
n
off e
q
uality detec
t
i
o
n on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Ve
r
dool
a
ege
use sile
n
t m
a
ke rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oola
e
ge
isl_stream_read_map: fi
x
h
a
ndling
o
f di
v
s in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en
V
e
r
doolaege
isl_m
a
t_lef
t
_hermite:
plug memory leak o
n
error
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aege
plug memory leak i
n
isl_ma
t
_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
doc: add s
o
me impl
e
ment
a
tion detai
l
s on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rdoo
l
aege
isl_lp
.
c:
a
v
o
i
d clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_st
r
eam_read_map: a
c
cept fl
o
ord an
d
c
e
ild expressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoo
l
aege
i
s
l
_stream_read_map: acc
e
p
t
min
an
d
ma
x
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_stream_rea
d
_map:
prop
e
rly read
nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_stream_rea
d
_map: t
r
eat divs as
output varia
b
l
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Ve
r
d
o
ol
a
ege
isl_ma
p
_coales
c
e
:
pl
u
g
m
emory l
e
ak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_mat_extend: avoi
d
memory leak w
h
en r
e
alloc fa
i
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
la
e
ge
isl_basic_map
_
overlying_s
e
t: avoid m
e
mor
y
le
a
k when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdool
a
e
ge
isl_stream
_
getc: avoid mem
o
ry leak when reallo
c
fail
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudimentary s
u
pport for
async
h
r
o
nous
termination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide is
l
_ct
x
internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Ver
d
o
o
laege
isl_vec
_
read_from_file: drop
i
n
put_format
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_ma
p
.
c: drop
u
n
used error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolae
g
e
isl_input
.
c
: drop unused
e
rror l
a
b
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
r
espect DE
S
TDIR when
installi
n
g isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
isl_
s
tr
e
am
:
accep
t
"$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add
isl
_
union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
ch
a
nge i
s
l_map_power interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ve
r
d
ool
a
ege
add isl_union_
m
ap_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
Verdo
o
laeg
e
add private isl_b
a
sic_map_sw
a
p
_
vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add isl_union_map_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
e
n
Ver
d
oolaege
M
e
rge bra
n
c
h
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolaege
isl_map_de
l
tas: d
o
n
'
t copy f
l
ags fr
o
m inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
isl_stream_read_map
:
accept consta
n
t expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoolae
g
e
i
s
l_stream
:
a
c
c
e
p
t
"
/\" and "\/"
as alternat
i
ves
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoolaege
is
l
_stream: only q
u
o
t
e new
l
ine using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdo
o
laege
i
s
l_stream: maintain priv
a
te u
n
getc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
i
s
l
_set_lifting:
simplify
a
nd finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
d
oc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoo
l
aeg
e
doc: drop long outdat
e
d note o
n
t
ransitive closur
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
S
v
en Ver
d
oo
l
a
e
ge
add
i
sl
_
basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdo
o
laege
isl_map_identity: take dime
n
sion s
p
e
cif
i
cation of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
ren
a
m
e
isl
_
dim_map to
isl_dim_map
_
from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaege
transitive closure: project ou
t
parameters when an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolaege
privat
e
ly export isl
_
basi
c
_set_rese
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoola
e
ge
is
l
_set_lift
:
preserve
str
u
cture of s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aege
isl_pw_
q
polynomial
_
bound: ha
n
dle combination of w
r
apping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Ve
r
doolaege
isl_tab_p
i
p
.
c:
fix typo
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aeg
e
isl_tab:
check for obviously empty tableaus a
f
ter d
i
sc
o
verin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_
b
a
s
ic_map_g
i
st: prefer
contraint
s
without existent
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
S
v
en Verdoolaege
i
s
l_basic
_
map_sort_c
o
nstraints: change comparison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdool
a
ege
isl_tab_ineq_type
:
classif
y
more constraints
a
s bei
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ve
r
do
o
laege
isl_map_coalesce
:
be more rela
x
ed about multipl
e
equa
l
iti
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next