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_mat_get_ctx
2011-05-16
Sven Ver
d
oolaege
a
dd
isl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop docume
n
tation
f
o
r isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
e
n
V
e
rdoolaege
add gmp flags
t
o pkg-
c
onfig file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
e
r
d
o
olaege
explici
t
ly
lin
k
in
gmp in applications
t
hat
refer
e
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verd
o
olaege
con
f
igure
.
ac: d
o
n't depen
d
on aut
o
m
ake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_pw
_
qpoly
n
omial_involves
_
d
i
ms:
al
s
o c
h
eck
w
hether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
add is
l
_union_map_pl
a
in
_
is_inje
c
ti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Ve
r
doolaeg
e
isl_
m
a
p
_intersec
t
_range: add s
p
ecial case fo
r
inters
e
c
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
add isl
_
vec
_
s
ort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
ad
d
isl_un
i
on_map_un
i
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdool
a
e
g
e
rename *_fa
s
t_*
fu
n
ctions to *_plai
n
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdo
o
laege
Merge bra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaege
isl_
m
ap_rang
e
: correctly han
d
le maps with
0D do
m
ain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
ven Verdoolaege
i
s
l_list
.
h: allo
w
inclusion from
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Ver
d
oolaege
isl_tab_pip:
d
on't simplify domain in isl_for_
a
d
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ve
r
d
o
olaege
add isl_printer_print_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_
c
o
n
str
a
int_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
V
erdoo
l
a
e
g
e
ad
d
i
sl_m
a
t_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Ve
r
doolaege
rename is
l
_mat_dump to isl_ma
t
_print_int
e
rna
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdoolaege
add isl_constrai
n
t
_
get_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
erdoolaege
isl_basic_map
_
a
f
fi
n
e
_
hull:
f
inalize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sv
e
n Verdoolaege
dataflow
a
na
l
ysis
:
d
o
n't depe
n
d on word s
i
ze du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_union_set_co
m
p
u
te_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_ta
b
_ba
s
ic_
s
et_non_neg_lexm
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_tab_basic_set_
n
on_trivial_l
e
xmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
i
s
l_tab_pip
.
c
: add_
l
exmin_eq: return in
t
i
n
stead
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
e
r
doolaege
isl_tab_pip
.
c: restore_lexm
i
n: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
i
s
l_t
a
b_pip
.
c: add some deb
u
gging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
isl_ta
b
_p
i
p
.
c
: fix ty
p
o
in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
ae
g
e
add isl_
q
u
icksort
(
copied
f
rom
g
libc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaeg
e
isl_printe
r
_print_basi
c
_set: also
p
rint invalid b
a
sic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdo
o
laege
add isl_union_
m
ap_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
ad
d
isl_union_map_is
_
b
i
je
c
tive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
dool
a
ege
add isl_union_map_is_single_val
u
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add i
s
l_mat_add_zero_row
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verd
o
o
l
aege
isl_blk: don't reuse o
v
erly
large blocks for
small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
add i
s
l_hmap
_
ma
p
_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_
un
i
on_map
_
copy_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
ool
a
ege
a
dd
i
sl
_
u
n
ion_m
a
p_co
n
tains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoolaege
add i
s
l_b
a
sic
_
set_tra
n
sform_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolaeg
e
add isl_basic_set_offse
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
c
h
ang
e
isl
_
mat_sub_alloc pro
t
oty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
make isl_mat_sub_* fu
n
c
t
ions
pri
v
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
a
dd isl_v
e
c_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
add
i
s
l
_mat_i
n
itial_non_zer
o
_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add
isl_m
a
t_set_element_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdoolaege
a
dd isl_basic
_
set_add_
c
onstraints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdoolaege
add i
s
l_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
olaege
i
s
l
_
dim_map: allow si
g
ned
m
ap
p
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rd
o
olaege
isl_dim_map: extract from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
lae
g
e
c
h
a
nge p
r
ototype
o
f isl_t
a
b_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdool
a
ege
a
dd isl
_
map_re
m
ove_
d
iv
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oolae
g
e
d
o
c: add a note on the accu
r
acy of our app
r
oximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add is
l
_
u
n
ion_set_coe
f
ficient
s
and
isl_union_se
t
_solu
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdo
o
la
e
ge
add isl_union_
s
et_l
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab: alway free saved basi
s
undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdoolaege
ma
k
e sur
e
destination for GDB mo
d
u
l
e
e
x
ists b
e
fore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doolaege
i
sl_tab_pi
p
.
c: add_lexm
i
n_eq:
remove m
i
sguid
e
d optimizati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_
b
asi
c
_map_lexmin: turn
off equality dete
c
tion on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
use
silent
m
a
k
e
rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdoolaege
isl_stream_read_map: fix ha
n
dlin
g
of divs
i
n tupl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolae
g
e
isl
_
mat_
l
ef
t
_
h
ermite: pl
u
g me
m
o
r
y
l
e
a
k on e
r
ror pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug memo
r
y leak in isl_
m
at_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
i
s
l
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
doc:
add some impleme
n
t
a
tion details
o
n
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_lp
.
c: avoid
clang w
a
rning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdo
o
lae
g
e
isl_stream_read_map: accept floord
a
nd ceild e
x
pressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_stream_read_
m
ap: a
c
cept min and max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
d
oolaege
isl_
s
tream
_
r
e
ad
_
map: properly read
n
ested
d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isl_stre
a
m_read_
m
ap: t
r
ea
t
divs as outp
u
t varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoola
e
ge
isl_ma
p
_coalesce:
p
lug
memory leak on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
i
s
l_mat_ex
t
e
n
d: avoid memory lea
k
w
he
n
realloc fail
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl_basic_map_overlying_set: avoid memory l
e
ak w
h
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_s
t
r
e
am_getc: a
v
oid memo
r
y le
a
k w
h
en reallo
c
fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaeg
e
rudimenta
r
y suppo
r
t for
a
synchronou
s
termination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven
Verdoo
l
aege
hide is
l
_ctx inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verd
o
olae
g
e
i
sl_vec_re
a
d_from_file:
drop input_format argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Ve
r
dool
a
ege
is
l
_
m
ap
.
c: d
r
o
p
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 u
n
use
d
error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oolaege
respect D
E
STDIR whe
n
i
n
stalling isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doo
l
aege
isl_stream
:
a
c
cept "$" to
k
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n V
e
rd
o
ol
a
ege
add isl_union
_
map_powe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
change
i
s
l_map_power i
n
t
e
r
f
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olae
g
e
add is
l
_
u
nion_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
add private is
l
_
b
asic
_
map_swap_var
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
ven V
e
rdoolae
g
e
add isl_union_map
_
del
t
a
s
_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Ve
r
doola
e
ge
Me
r
ge b
r
a
n
ch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
i
s
l_map_deltas: don't copy
f
lags fr
o
m input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Ve
r
doolaege
isl_strea
m
_read_map:
accept constant e
x
pressi
o
ns
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoolaeg
e
isl_strea
m
: acce
p
t "/\" and "\/"
a
s al
t
er
n
a
t
iv
e
s
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verd
o
o
l
aege
isl_st
r
e
a
m: only q
u
ote
n
e
w
l
in
e
using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Ve
r
doo
l
aege
isl_st
r
eam: maintain private un
g
etc bu
f
fer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Ver
d
oolaege
isl_set_lifting
:
s
i
mplify a
n
d finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
e
n
Verdoola
e
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdo
o
laege
doc:
d
rop long outdated no
t
e on trans
i
ti
v
e closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoo
l
a
e
ge
a
d
d isl_b
a
sic_set_get_
d
im_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoola
e
ge
i
sl_map_identit
y
: take dime
n
sion specification of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next