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
export isl_set_eliminate
2011-05-16
Sv
e
n Ver
d
oolaege
ex
p
o
r
t isl_set_e
l
iminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
isl/div
.
h: d
r
op
d
e
p
e
n
dence on
is
l
/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
hide isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
isl
_
mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
V
er
d
oolae
g
e
doc: d
r
op
documentation for is
l
-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Verdoolaege
ad
d
gmp flags t
o
pkg-co
n
fi
g
f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
exp
l
icitl
y
l
i
nk in gmp
in applications
that r
e
ference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
e
n
Verdoolaege
configure
.
ac: don't d
e
pend on
automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
S
ven Ver
d
oolaege
i
s
l_pw_qp
o
lynomial_i
n
volves_dims: also check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n
Ver
d
o
o
l
a
ege
add
isl
_
unio
n
_map
_
plain_is_
i
njec
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laege
isl_map
_
intersect_range: add special case
f
or intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Ver
d
oolaege
add isl_vec_
s
ort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaeg
e
a
dd i
s
l
_
union_ma
p
_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoo
l
aege
r
ename *
_
fast_* function
s
to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
rdoolae
g
e
Merge
b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
i
s
l_ma
p
_
r
a
nge
:
correctly handle maps wi
t
h 0D d
o
m
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
Ve
r
doolaege
isl_list
.
h: allow in
c
lusion fro
m
C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: don't simpli
f
y domain in isl_fo
r
_
a
d
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
e
rdoolaege
ad
d
isl_printer_print_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ve
r
doolaege
add isl_const
r
aint_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sve
n
V
erdoo
l
a
e
ge
add isl_mat
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
r
e
name isl_
m
at_du
m
p to isl_ma
t
_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolae
g
e
add isl_constraint
_
get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
aege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
ae
g
e
i
s
l_
b
asic
_
map_affine_hull: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
dat
a
flo
w
a
nalysis: don't depend on wor
d
size du
r
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
s
l_union_s
e
t_
c
ompu
t
e_sch
e
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdool
a
ege
add
isl_tab_bas
i
c
_set_non_neg_lex
m
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
aege
a
d
d isl_tab_b
a
sic_set_non_tri
v
ial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
e
r
doolaege
isl_tab_p
i
p
.
c: a
d
d
_lexmin
_
eq: ret
u
rn int instead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoo
l
aege
isl_tab_pip
.
c: restor
e
_lexmin:
r
e
turn
i
nt instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolaege
isl_tab_p
i
p
.
c:
add s
o
m
e
debuggi
n
g code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
oolaege
i
s
l_tab
_
p
i
p
.
c: fix
t
ypo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_quick
s
or
t
(c
o
pied from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
isl_printer_print_bas
i
c_set: a
l
so prin
t
invalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdool
a
ege
add isl_union_map_is_injectiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
la
e
ge
a
d
d
isl
_
u
n
ion_m
a
p_is_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
lae
g
e
add isl_u
n
ion_map_is_single_va
l
ued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_ma
t
_a
d
d_zero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
i
sl_blk: don't reuse over
l
y
l
a
r
ge b
l
ocks
f
or small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
oolaege
add isl_hmap_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verd
o
olae
g
e
add isl_un
i
on_map_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_un
i
on_
m
a
p
_contai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_basic_set_
t
ransform_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_basi
c
_set
_
offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
ch
a
n
ge isl_ma
t
_sub_alloc prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdool
a
ege
m
ake
i
sl_ma
t
_sub_* functions privat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add
isl_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add isl_
m
a
t
_i
n
iti
a
l_non_zero_
c
ols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
aege
add isl
_
mat_s
e
t_e
l
ement_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoo
l
aege
add isl_basic_se
t
_add_constraints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
d
d isl_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_di
m
_map: al
l
ow sig
n
ed map
p
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oola
e
ge
isl_dim_map: extract
from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdool
a
ege
change prototype of isl_
t
ab_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
ad
d
isl_ma
p
_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
eg
e
d
o
c
:
fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
doc: add a
n
o
t
e
on the
a
ccuracy of our approxim
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add
isl_uni
o
n
_s
e
t
_
coefficients and isl_
u
nion_se
t
_solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
e
r
doolaege
add isl_union_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdo
o
lae
g
e
Me
r
ge
branch
'mai
n
t
'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoola
e
g
e
is
l
_tab:
alway free saved basis
und
o
r
eco
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en
V
erdoola
e
ge
ma
k
e
sure de
s
ti
n
a
tio
n
f
or
G
D
B
module
exist
s
b
efore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
e
n Verdoola
e
ge
is
l
_tab_pip
.
c: add_le
x
m
i
n_eq: remove misguid
e
d o
p
timizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoola
e
ge
isl
_
b
asic_
m
ap_lexmin: turn off equ
a
lity detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
e
g
e
use silent mak
e
rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
isl_stre
a
m_read
_
map: fi
x
han
d
lin
g
of di
v
s in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
olaege
i
sl_mat_left_her
m
ite: plu
g
memory leak on error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oo
l
aege
plug memo
r
y l
e
a
k
i
n i
s
l_mat_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
g
e
do
c
:
ad
d
some
i
mplementation details on
parametri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl
_
lp
.
c
:
a
voi
d
clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaeg
e
isl
_
stream_read_map: accept floord and ceild exp
r
essions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
is
l
_stream
_
read_
m
a
p
: accept min and m
a
x
e
xpression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_rea
d
_map: properly read nested di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaeg
e
isl_s
t
ream_re
a
d_map
:
treat divs as output variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isl_map_coalesce: plug me
m
or
y
leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
l
aege
isl_mat_e
x
t
end: av
o
id memor
y
leak when reallo
c
fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aeg
e
isl_bas
i
c_map
_
overlying_se
t
: av
o
id
m
emory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_getc: avo
i
d
memory leak whe
n
reallo
c
fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
r
doolaege
ru
d
i
menta
r
y support
f
or as
y
nchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
S
ven Verdoolaege
hi
d
e isl_ctx
i
ntern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl
_
vec_
r
e
ad_f
r
om_fil
e
:
d
ro
p
in
p
ut_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_map
.
c: drop unused er
r
o
r
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven
V
e
r
doola
e
g
e
isl_input
.
c: drop unused erro
r
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
resp
e
ct
D
E
STDIR when i
n
stal
l
ing isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
isl_stream: acce
p
t "$"
toke
n
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
Sv
e
n Ver
d
oolaege
change isl
_
map_po
w
e
r
i
n
t
erface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
a
d
d isl_union_map_z
i
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oo
l
aege
add private isl_
b
asic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Ve
r
doolaege
add i
s
l_unio
n
_m
a
p_d
e
l
tas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Ver
d
oolaege
Merg
e
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
ven Verdoolaege
isl_ma
p
_deltas: don't copy
f
l
a
g
s
from in
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_read_map: accep
t
constant e
x
pr
e
ssions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoolaege
isl_stream: accept "/\" a
n
d
"\/"
a
s alt
e
rna
t
iv
e
s for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven V
e
rdoo
l
aeg
e
isl_stream:
o
nly qu
o
te newli
n
e using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoolaege
isl_stre
a
m: maintain
private ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
V
e
rdoolaege
i
sl_set_lifting: simplify and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next