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_pw_templ.c: avoid looking into internals of some objects
2011-05-18
Sven Verdoola
e
ge
add isl_aff_
g
et
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdoolaeg
e
i
s
l_b
a
sic_map
_
from_
l
ocal_space: don't finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_set_add_con
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
V
e
r
do
o
laege
ad
d
isl_equality
_
from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaeg
e
add isl
_
set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
ad
d
i
sl_constrai
n
t
_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
Verdoolaege
add isl_{
b
a
sic
_
,}map_
m
ay_be_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add i
s
l_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_basic_set_
e
xpand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Ver
d
oolaege
isl_polyn
o
mial
.
c:
m
ove
me
r
g
e
_divs to isl_lo
c
al_s
p
ace
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdoolaege
add
isl
_
local_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_dim_size: handle isl_d
i
m_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
o
laeg
e
add
i
sl_constraint_
i
nvo
l
v
es_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_printe
r
_print_qp
o
lynomial
:
support proper isl o
u
tp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoola
e
g
e
add isl_qpolynomial_al
i
g
n_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
add isl_ma
p
_
align_p
a
ram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export i
s
l_
b
a
s
ic_se
t
_remove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
export isl
_
qpo
l
ynom
i
al_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
export
isl_set_elim
i
nate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
i
sl/div
.
h: d
r
op depende
n
ce on isl
/
set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
hide isl_div
i
nterna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
e
rdoolaege
add isl_di
v
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
a
dd isl_m
a
t_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
laege
doc: drop documentation f
o
r isl-p
o
ly
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sve
n
Verdoolaeg
e
add gmp flag
s
t
o pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
explicitly lin
k
in
gmp
i
n applicati
o
ns t
h
at refer
e
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verd
o
ol
a
e
ge
con
f
igure
.
a
c
:
don't
d
epend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sve
n
Verdool
a
ege
isl_pw
_
qpolynomial_involves_dims: a
l
so check whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
a
dd isl_uni
o
n
_
map_plain_
i
s_injectiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en
Verdoolaege
isl_map_int
e
rsect_range: add special ca
s
e for
i
ntersecti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
a
dd
i
sl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
add isl_union_map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
o
l
aege
ren
a
me
*_fast
_
*
fu
n
ctions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaeg
e
Merge
branc
h
'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
V
erdoolaege
isl_map_range: correctly handle maps
with
0
D
domai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Ver
d
oolaege
i
s
l
_list
.
h:
a
l
l
ow inclusion from C
+
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sve
n
Ve
r
doolaege
is
l
_tab_pip: don't simplify dom
a
in in is
l
_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
e
rdoolaege
add isl
_
printer_p
r
i
nt_constrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verd
o
o
la
e
g
e
ad
d
isl_constraint_get
_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Ve
r
doolae
g
e
add isl_mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
V
erd
o
olae
g
e
rename isl_mat_dump to isl_mat_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
o
l
aege
add i
s
l_co
n
strai
n
t_ge
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Verd
o
o
l
aege
Mer
g
e bra
n
ch
'ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdo
o
lae
g
e
isl_b
a
sic_m
a
p_af
f
i
ne_hull
:
finaliz
e
resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tob
i
as Gr
o
sser
Remove recently
added u
n
u
sed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Grosse
r
Add extern
C
decl
a
ration to sche
d
ule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
S
ven V
e
rdoolaege
dataflow an
a
lysis: don't depend on word
s
ize du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
ool
a
ege
add isl_union_s
e
t_c
o
mpute_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
r
doola
e
ge
add is
l
_tab_basic_set_
n
on_n
e
g
_
lexmi
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoo
l
aeg
e
a
dd isl_tab_basic
_
se
t
_non_triv
i
al_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rd
o
olaeg
e
isl_tab_pip
.
c: add_lexmin_eq: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_tab_pip
.
c: restor
e
_
l
exmin:
retu
r
n
i
nt in
s
tead
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
a
e
ge
isl_tab_pip
.
c: add so
m
e debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
l
_tab_pip
.
c: f
i
x ty
p
o in
comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
olaeg
e
add isl_quicksort (c
o
pi
e
d from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isl
_
prin
t
er
_
print_basic
_
set: al
s
o pri
n
t invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_union_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add
isl_union_map_is_bije
c
tiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
a
d
d i
s
l_u
n
ion_map_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_mat_add_z
e
ro_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
oolaege
isl_blk: don't reuse ove
r
ly large block
s
for s
m
all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_hmap_ma
p
_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union
_
ma
p
_co
p
y
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdo
o
la
e
ge
add isl_union_
m
ap_contain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add i
s
l_basic_
s
et_transform_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
ad
d
isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
change isl_mat_s
u
b_alloc prot
o
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
er
d
oolae
g
e
make is
l
_
m
at
_
sub_*
f
unctions
pr
i
vate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add i
s
l_ve
c
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolae
g
e
add isl_mat_initi
a
l_non_z
e
ro
_
c
ols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdool
a
e
ge
add
isl_m
a
t_se
t
_
eleme
n
t_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_ba
s
ic_set_add_constraints_dim_
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl
_
dim_map: al
l
ow
signed mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
doola
e
ge
isl_dim_map: ext
r
act from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
a
ege
change prot
o
ty
p
e of isl_t
a
b_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
doolaege
ad
d
isl_m
a
p_re
m
o
ve_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
doc: ad
d
a
no
t
e
on the
a
ccuracy of our a
p
proximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
a
dd i
s
l_union_
s
e
t
_
coefficients and isl
_
un
i
on_set_
s
o
lutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add isl_union_se
t
_lif
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoola
e
ge
Mer
g
e branch '
m
aint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
do
o
lae
g
e
isl
_
tab: alw
a
y free saved basis undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoolaege
ma
k
e
su
r
e destination for GDB module exists
b
efore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
olaeg
e
i
s
l_ta
b
_pip
.
c
: add_lexmin_
e
q
: remove m
i
sguide
d
o
p
timizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
e
n Ve
r
doolaege
i
sl_b
a
sic_map_
l
ex
m
in
:
tu
r
n off
equalit
y
detection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aege
use silent make ru
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
i
s
l
_
stre
a
m_read_map: fix handling of divs in
tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoo
l
a
e
ge
isl_mat_left_hermit
e
:
p
l
ug memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
p
lug memory leak in isl_mat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolae
g
e
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
erdoo
l
aege
d
oc:
a
dd
some implementation details on parametr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rdoolaege
isl_l
p
.
c: av
o
id clan
g
wa
r
n
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoo
l
aege
isl_stream_rea
d
_
map: a
c
cept f
l
oord and ceild
e
xpressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaege
i
sl_stream_read
_
map: accept min and max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl
_
st
r
e
a
m_read_m
a
p: properly
read neste
d
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ola
e
g
e
isl_
s
trea
m
_read_
m
ap: treat div
s
as output
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coales
c
e: plug memory leak on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l
_mat
_
ext
e
nd:
a
void m
e
mory leak wh
e
n
r
eal
l
oc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
b
asic_map_overlying_set: avoid memo
r
y leak
w
h
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next