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_qpolynomial_gist
2011-05-16
Sven Verdoo
l
aege
ex
p
ort is
l
_qpo
l
y
n
omial
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
e
r
d
oo
l
aege
export is
l
_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl/
d
iv
.
h: drop
d
ependence on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
h
ide isl_
d
iv internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdoolaege
a
d
d
isl_div_get
_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d isl_
m
at_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdo
o
l
a
ege
doc: d
r
op documentat
i
o
n
f
o
r isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
ad
d
gm
p
flags to p
k
g-con
f
ig
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoo
l
aege
explicitly link in gmp in applicat
i
ons that
r
e
fe
r
ence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Verdoolaege
configure
.
ac:
don't depend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdo
o
laege
isl_pw_
q
p
o
lynomial
_
involves_dims: also check whet
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaeg
e
a
dd isl_unio
n
_m
a
p_plain_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
d
o
olaege
i
sl_m
a
p_inter
s
ect_ran
g
e: a
d
d sp
e
cial case for intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
add is
l
_v
e
c
_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doolaege
a
d
d is
l
_union_map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
rena
m
e *_f
a
st_*
functions to
*
_pla
i
n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n Verdool
a
ege
isl_
m
a
p_ran
g
e:
correctly handle maps with 0D do
m
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolae
g
e
i
sl_li
s
t
.
h: allow inc
l
usio
n
from
C
++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
V
e
rdoolaeg
e
i
s
l_tab_
p
ip: don't s
i
m
plify
d
oma
i
n in isl_for_
a
d
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
erdoolae
g
e
a
d
d isl_printer_print
_
co
n
strai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_constraint_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ver
d
oolaege
add isl_mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ver
d
o
o
l
aege
rename isl_mat_dump to isl
_
mat_pr
i
nt_i
n
ternal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
aege
add isl_co
n
straint_
g
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
olaege
isl_basic_map_affine
_
hull: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoo
l
ae
g
e
dataflow analysis
:
don't
d
epen
d
on wo
r
d
size du
r
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
d
ool
a
e
g
e
add isl_u
n
ion_set_comp
u
te_sc
h
edule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
o
olae
g
e
add isl_tab_basic_set_non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_tab_basi
c
_se
t
_
non
_
trivial_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c
:
add_lexmi
n
_eq: return int inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oolaege
isl_tab_pip
.
c:
r
e
store_lexmin:
r
e
t
urn
int
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
isl_tab_pip
.
c: add s
o
me debugg
i
n
g code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_
t
a
b
_pi
p
.
c
:
fix ty
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
a
dd isl_quicksort (copied from
g
libc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isl_print
e
r_
p
rint_basic_set: also prin
t
invali
d
b
a
s
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
add isl_union_
m
ap_is_in
j
ective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
add
i
sl_union_m
a
p_is_bij
e
ctiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl
_
union_map_is_single
_
valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ve
n
V
erdoolaege
add isl
_
ma
t
_add_zero
_
rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdo
o
laege
isl_blk: don'
t
reuse overly l
a
rge blocks for
s
m
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
add isl_hmap_map_basi
c
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add i
s
l_un
i
on_map_copy_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdo
o
laeg
e
a
dd
i
sl_union_
m
a
p
_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_basi
c
_se
t
_t
r
a
ns
f
o
r
m
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add
i
sl_basic_set_offs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
change i
s
l_mat_sub_alloc prototyp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
mak
e
isl_mat_sub_* functi
o
ns priva
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
laege
add
isl_vec_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_mat_initial_non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_mat_s
e
t
_ele
m
ent_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ve
n
V
e
r
d
oo
l
aege
add i
s
l_basic_
s
et_add_constraint
s
_dim_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
oolaeg
e
add
isl_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolae
g
e
is
l
_dim_map: allow signe
d
mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl
_
d
i
m_map:
e
xt
r
a
ct from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
change proto
t
ype
of
i
s
l
_tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
d
ool
a
ege
ad
d
isl_map_remove_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
doc: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
doc: ad
d
a note on the accuracy of our appr
o
ximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
s
l_unio
n
_
s
et_coeffic
i
ents an
d
isl_u
n
ion_set_solu
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
add
isl
_
u
n
ion_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
d
o
ola
e
ge
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdo
o
laege
isl_tab: alw
a
y f
r
ee sa
v
ed basis undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make sure destination f
o
r GDB
m
odule exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Ve
r
doolaege
isl_t
a
b_p
i
p
.
c: add_lexmin_eq: remove misgui
d
ed op
t
i
mizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_basic_map_lexmin:
turn off equa
l
ity detection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
V
erdoolaege
use silen
t
m
a
ke rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
erdoo
l
a
ege
isl_
s
t
r
eam_
r
e
a
d
_map:
f
i
x handling o
f
divs in t
u
p
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
o
l
aege
isl_mat_lef
t
_
hermite: plug memo
r
y leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verd
o
olaeg
e
plug me
m
ory l
e
ak
in
i
sl_mat_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erd
o
o
laege
i
sl
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oo
l
aege
d
oc: ad
d
som
e
impl
e
m
ent
a
tion details on param
e
tri
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl
_
l
p
.
c
: avo
i
d clang
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_stream_r
e
ad
_
map: acc
e
pt
f
loord and ceild expr
e
ssi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdo
o
laege
isl_stream_read_map
:
acce
p
t
m
in and m
a
x e
x
pression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erdoolaege
isl_stream_read_map: proper
l
y re
a
d ne
s
ted divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doolaege
isl_stream_r
e
ad_map
:
tre
a
t
divs a
s
output variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolae
g
e
isl_map_
c
o
a
les
c
e: plug
m
emory lea
k
on erro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_ma
t
_exten
d
: av
o
id
memory leak when r
e
a
l
loc
f
a
i
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
i
s
l
_
basic_map_o
v
erly
i
ng_set: avoid memory lea
k
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
erdo
o
l
aege
isl
_
strea
m
_
getc: avoid mem
o
ry leak w
h
en r
e
alloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudimentar
y
s
u
pport for
asynchrono
u
s termination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Ver
d
oolae
g
e
h
i
d
e
isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
i
sl_ve
c
_read_from_file:
d
rop input_forma
t
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
i
sl_map
.
c: drop
u
n
used
error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolae
g
e
isl_input
.
c
:
d
r
o
p unused e
r
ror label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolaege
respe
c
t DE
S
TDIR when inst
a
ll
i
ng isl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
a
ege
isl_s
t
ream: accept
"
$
"
t
o
ken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
add i
s
l_union_map_p
o
we
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change isl_map_po
w
er interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaeg
e
add isl_union_ma
p
_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Ver
d
oola
e
ge
add privat
e
isl_basic_map
_
sw
a
p_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoola
e
ge
add isl_union_map_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolae
g
e
M
erge bran
c
h 'maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n
V
erdoola
e
ge
isl_map_
d
e
ltas:
don
'
t co
p
y
flags f
r
om
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ver
d
ool
a
e
g
e
isl
_
stream_r
e
ad_map: accept constant
e
x
p
ress
i
ons of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoo
l
ae
g
e
i
s
l_stream: accep
t
"
/\" and "\/" as
a
lt
e
rnat
i
ves for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
olaege
isl
_
stream: only
q
u
ot
e
newline using '\
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoola
e
ge
isl_stream: maintain
p
r
i
vate ungetc
b
uf
f
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next