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_vec_sort
2011-05-05
Sven V
e
rdoolaege
add isl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_union_map_univer
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
o
olaege
rename *_fast_* func
t
i
ons to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
Merge
b
r
anch '
m
a
i
n
t
'
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
isl_map_rang
e
:
correctly
handle maps with
0
D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sve
n
Verdoola
e
g
e
i
s
l_
l
ist
.
h
:
allow inclu
s
ion f
r
o
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Ve
r
doolae
g
e
i
s
l_tab_pip: don't simplify domain
i
n isl_for
_
add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ver
d
oolaeg
e
add isl_printer
_
p
rint_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven V
e
rdoolae
g
e
add i
s
l_constra
i
nt_get_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoola
e
ge
a
d
d isl_mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ve
r
doola
e
ge
rename
i
s
l_mat_dump
to isl_
m
at_p
r
int_int
e
r
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Ve
r
doolaege
ad
d
isl_
c
o
nst
r
aint_get
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
la
e
ge
Me
r
ge bran
c
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
S
v
e
n
V
erd
o
olaege
isl_bas
i
c_m
a
p_affine_hull: finali
z
e resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosser
Remove re
c
ent
l
y added unu
s
e
d vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
G
rosser
A
d
d extern C
declaration to schedu
l
e
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
r
d
oolaege
datafl
o
w analysis: don't depe
n
d
o
n
word s
i
ze during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aeg
e
ad
d
isl
_
u
n
ion_set_
c
o
mp
u
t
e_sch
e
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_tab_basic_set_non
_
neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdo
o
laege
add isl_tab_basic_
s
et_non_trivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
is
l
_ta
b
_pip
.
c
:
add_lexmin
_
eq: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_t
a
b_pip
.
c: re
s
t
o
r
e_lexmin:
re
t
urn int
i
n
ste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
ae
g
e
i
s
l
_tab_pip
.
c: add som
e
debugging
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rdo
o
laeg
e
isl_tab_
p
ip
.
c: fix typo
i
n co
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdo
o
laege
ad
d
isl_quicksort (copied from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
a
eg
e
isl_print
e
r_
p
r
i
nt_bas
i
c_se
t
: also
p
ri
n
t inval
i
d ba
s
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolae
g
e
a
dd isl_union_
m
ap_is_
i
njective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
oola
e
ge
add i
s
l_
u
nion_map_is_b
i
jective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoola
e
ge
add isl_union_map_i
s
_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
ad
d
isl_mat_add_zero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
isl_blk
:
do
n
'
t
r
euse ove
r
ly lar
g
e block
s
f
o
r small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
ad
d
isl_hmap_m
a
p_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_un
i
on_ma
p
_copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
aege
add isl_union_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoo
l
aege
add
i
sl
_
ba
s
ic_se
t
_transform_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
s
l
_basic_s
e
t
_of
f
se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
change isl_mat_sub_allo
c
prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
m
a
ke is
l
_mat_
s
u
b_*
f
unctions p
r
iva
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdo
o
la
e
ge
add isl_
m
at_initi
a
l_n
o
n_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Ve
r
doolaege
add isl_ma
t
_set_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
basic
_
set_add_constraints_dim_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
add
i
sl_di
m
_
ma
p
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
r
d
oolaege
isl_dim_map:
allow signe
d
mappin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
isl_dim_ma
p
: ex
t
r
a
ct fro
m
i
sl_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
change protot
y
pe of isl_
t
ab_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_ma
p
_
r
emove_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
do
o
laege
doc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
a
e
ge
doc: a
d
d a
n
o
te on the accuracy of our
a
pproximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_set
_
coeffi
c
ients an
d
i
sl_uni
o
n_
s
et_solutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
o
l
a
e
g
e
add isl_
u
nion_s
e
t
_
l
i
f
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolaege
M
e
rge b
r
anch '
m
ai
n
t
'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoola
e
ge
isl_tab: alway
free s
a
v
ed basis undo
r
ecord
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoo
l
aege
ma
k
e sure
destinati
o
n for GDB module exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab_pip
.
c: add_lexmin_eq: remove misguide
d
optim
i
zat
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolaege
is
l
_basic_map
_
le
x
min
:
turn off equal
i
ty detection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ve
n
Verdool
a
ege
use silent make rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdo
o
laege
isl_st
r
eam_read_map: fix handling of divs
in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdoolaege
isl
_
mat
_
l
eft_hermite: plug me
m
ory lea
k
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
er
d
oolaege
pl
u
g memor
y
leak
in
i
s
l_mat_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
doc: add s
o
me i
m
p
l
ementation det
a
ils on
param
e
t
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
laeg
e
isl_lp
.
c: a
v
oid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
la
e
ge
isl_stream_read_m
a
p: accept flo
o
rd and ceild expressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaeg
e
isl_stream
_
read_map: a
c
c
e
pt
m
in and max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rd
o
olaege
isl_stream_read_m
a
p: properly
r
ead nested
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
g
e
isl_stre
a
m_read_map: treat d
i
vs as ou
t
p
u
t variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verd
o
olaege
isl_map_co
a
lesce: plug
m
e
mory leak o
n
error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doola
e
ge
i
sl_mat_exten
d
:
avoid memor
y
l
eak when
r
ealloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_ba
s
ic_map_overlying_set: avoi
d
memory leak
whe
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doo
l
aege
isl_st
r
eam_
g
etc: av
o
id me
m
ory leak whe
n
realloc
f
ails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoola
e
g
e
rudimentary support fo
r
asynchrono
u
s terminat
i
on of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verd
o
olaege
hid
e
is
l
_ctx i
n
t
e
r
n
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoo
l
a
e
g
e
i
sl_vec_
r
e
a
d_from_file: dr
o
p
inpu
t
_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oolaege
isl_map
.
c: drop
unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olaege
is
l
_in
p
ut
.
c: dro
p
u
n
used error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
r
esp
e
c
t DESTDIR when
i
nsta
l
ling isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoola
e
ge
is
l
_
s
tream: accept
"
$" tok
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolae
g
e
a
d
d isl_union_ma
p
_
power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change isl_map_
p
owe
r
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
a
dd isl_unio
n
_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
V
e
r
d
oolaege
add private isl_basic_map_swa
p
_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add isl
_
unio
n
_map_deltas
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
olaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdo
o
laege
isl_ma
p
_d
e
l
t
a
s
: don't copy flags from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
V
e
r
d
o
olaege
isl_stre
a
m
_read_map: accept c
o
nstant expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolae
g
e
isl_stream: a
c
c
ept "/\" and
"
\/" as alternati
v
es for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
e
r
doo
l
aege
i
s
l_str
e
am:
only quote newline
us
i
ng '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ver
d
oolaege
i
s
l_stream:
m
aintain private ungetc
b
uffe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoola
e
g
e
isl_set_li
f
t
ing: simplify
a
nd fina
l
ize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
doc: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
ege
doc: dr
o
p
lon
g
o
ut
d
ated
n
o
te on tran
s
itive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sv
e
n Verdoola
e
ge
add isl_
b
asic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoo
l
ae
g
e
isl_map_identity: t
a
ke dimension s
p
ecificat
i
on of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Ve
r
doola
e
g
e
rename isl_d
i
m_ma
p
to i
s
l_dim_map
_
from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaege
tr
a
nsitive clo
s
ure:
project out parame
t
er
s
when a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en
V
erdoo
l
aege
privatel
y
export isl_basic_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
ae
g
e
isl_set_lift:
p
r
eser
v
e stru
c
ture o
f
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
is
l
_pw_qp
o
lyn
o
mial
_
bound:
h
andle combination of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoolaege
isl_tab_p
i
p
.
c: fix ty
p
o
in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next