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/div.h: drop dependence on isl/set.h
2011-05-16
S
v
en Verdoolaege
isl/di
v
.
h
:
d
r
op d
e
pendence on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
hide isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
rdool
a
ege
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ve
r
dool
a
eg
e
add is
l
_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: dro
p
docu
m
entati
o
n
for isl
-
polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
e
n
Verdoolaege
add gmp flags to pk
g
-co
n
fig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
doolaege
explicitl
y
link in gmp in ap
p
l
i
cations that r
e
ference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Verd
o
o
l
a
ege
confi
g
ure
.
ac: don't de
p
end o
n
automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven
V
e
r
d
oolaege
i
sl_pw_q
p
olynomial
_
in
v
olves_
d
ims:
also check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaeg
e
add
isl
_
u
ni
o
n_map_p
l
ai
n
_is_inject
i
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaege
isl_map_intersect_range: add
s
pecial case for inters
e
ctio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Ve
r
doolaege
add isl_vec_so
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdo
o
laeg
e
add
i
sl_un
i
on_map_
u
n
i
verse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
rename *_fast_* fu
n
c
t
ions t
o
*_plai
n
_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
rdoo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
isl
_
map_ran
g
e: correctly handle maps
w
ith 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verd
o
o
l
aege
is
l
_
l
ist
.
h
:
allow inclusio
n
fr
o
m C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven
V
erd
o
ola
e
ge
is
l
_t
a
b_pip: don't s
i
mpl
i
f
y d
o
mai
n
in isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en Verdoolaege
add isl
_
printer_prin
t
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ve
r
doola
e
ge
add
i
sl_constraint_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sve
n
V
e
r
doolaege
a
dd isl_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolae
g
e
renam
e
isl_mat
_
d
u
mp to isl_mat_
p
rint_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ver
d
oola
e
ge
add isl
_
c
o
nstr
a
i
n
t_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Ver
d
oolaege
Merge b
r
anch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
isl_basic_m
a
p_affine
_
hull: fi
n
al
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoo
l
aege
dataflow ana
l
ysis: don't dep
e
nd on
w
o
rd siz
e
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
ool
a
e
ge
add isl_union_set
_
co
m
p
u
te_s
c
hed
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
ad
d
i
sl_ta
b
_
b
a
s
i
c
_set_non_n
e
g_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdo
o
laege
add isl_
t
ab_basic_s
e
t_non_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
r
d
oolaege
is
l
_tab_p
i
p
.
c: add_lexmin_eq: ret
u
r
n
i
nt i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isl_tab
_
pip
.
c: r
e
s
t
ore_lexmin: re
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_pip
.
c
:
add
s
o
m
e debu
g
g
i
ng
co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
i
s
l_tab_pip
.
c: fix typo in c
o
mme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
oolae
g
e
add
i
sl_quicksort (copied f
r
om glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_printer_p
r
int_basic
_
se
t
: also print
inva
l
i
d basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add
i
sl_union_map_is
_
injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
isl_union_map_i
s
_b
i
jective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
laege
add isl_uni
o
n_map_is_
s
ingle_val
u
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_ma
t
_add_
z
ero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oolae
g
e
isl_blk: do
n
't reuse overly large blocks
f
or small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
doolaege
add is
l
_h
m
ap_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
r
doolaeg
e
a
dd isl
_
un
i
on_map_co
p
y_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_con
t
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_
b
asi
c
_set_tr
a
nsfor
m
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_
b
asic_
s
e
t
_
of
f
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
change isl_mat_su
b
_alloc prototyp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
m
a
ke isl_m
a
t
_
sub_* functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoola
e
ge
add is
l
_m
a
t_
i
nit
i
al_non_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
l
a
ege
add
isl_mat_s
e
t
_
element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_basic_
s
e
t_add_c
o
nst
r
ain
t
s_di
m
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_
d
i
m
_map_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
l
_dim_
m
ap: allow sign
e
d
mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
i
sl
_
dim_m
a
p: e
x
trac
t
from isl_m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdo
o
la
e
g
e
c
h
ange prototype of
isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolaege
add isl_map_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
d
oc:
f
ix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdo
o
la
e
ge
doc: add a
not
e
on
t
he accurac
y
of our approx
i
matio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_unio
n
_set_coefficie
n
t
s
and isl_union_set_s
o
l
u
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolaege
add isl_uni
o
n_
s
e
t_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
r
d
oolae
g
e
M
erge branch
'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
is
l
_tab
:
alway fr
e
e saved basis undo record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Ve
r
doolae
g
e
m
ake sure
d
estinati
o
n for GD
B
module exists b
e
for
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
olaege
i
s
l_tab_pip
.
c: add_lexm
i
n
_eq: remove misgui
d
ed o
p
timiz
a
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_basic_map_lexmin: turn off equal
i
ty
d
etection o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ve
n
Verdoolaege
use s
i
l
e
nt make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aege
isl_stream_read_map: fix handling o
f
divs
i
n
tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven
V
erdoo
l
aeg
e
isl_m
a
t_lef
t
_hermi
t
e: pl
u
g
memory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
olaege
plug memory leak in isl_mat_prod
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
e
rdoolaeg
e
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdo
o
laeg
e
d
oc: add some imple
m
entati
o
n details on p
a
rametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
is
l
_lp
.
c
:
avoi
d
cla
n
g warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
l
aege
i
sl
_
stream_read_ma
p
:
a
c
c
ept floord and ceild
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
s
l
_stream_read_
m
ap: accept min
a
nd max expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doolaeg
e
i
sl_s
t
ream_read
_
map
:
pr
o
per
l
y
r
e
a
d
n
e
sted divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
i
sl_stream_
r
ea
d
_
map: trea
t
di
v
s
as
outpu
t
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coalesce:
plug me
m
ory
l
eak on
e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_m
a
t
_
extend: av
o
id mem
o
ry
l
eak when re
a
lloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_basic_map_overlyin
g
_set: avoid me
m
o
r
y leak
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
aege
isl
_
s
t
ream_getc
:
avoid
me
m
or
y
leak when r
e
all
o
c fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudimentary support for asynchronous terminati
o
n
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sv
e
n
V
erdool
a
ege
h
ide isl_
c
tx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Ver
d
oolaege
isl_vec_r
e
ad
_
fro
m
_
file:
d
rop input_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
Verdool
a
ege
is
l
_
m
ap
.
c: dr
o
p unused e
r
ror l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olaeg
e
i
sl_input
.
c: d
r
op unused
e
rror labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
respect
DESTDIR
w
hen ins
t
all
i
ng isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ver
d
oolaeg
e
isl_strea
m
: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
add
i
sl_union
_
map_powe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
ch
a
nge isl
_
map_power in
t
erfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolae
g
e
add isl_uni
o
n_map_
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
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 Ve
r
doolaege
add
isl_union_
m
ap
_
de
l
tas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Mer
g
e
b
ranch
'mai
n
t
'
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verd
o
o
l
aege
isl_map_deltas:
don't copy flags fr
o
m input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoolaege
isl_st
r
eam_
r
ead_map: accept constant
expressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
e
n Verdoolaege
isl_st
r
eam: ac
c
ept
"/\
"
and
"
\/" as
a
lternatives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Ve
r
doolaege
isl_stream: only quote newlin
e
using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Ve
r
doolaege
i
sl_stream: ma
i
ntai
n
private
u
ng
e
t
c
buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Ver
d
o
o
laege
isl_set_lifti
n
g: simplify a
n
d finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next