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/div.h: drop dependence on isl/set.h
2011-05-16
Sve
n
Ver
d
oolaege
isl/d
i
v
.
h
: d
r
op dep
e
n
d
enc
e
on is
l
/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaeg
e
hide isl
_
d
iv internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doola
e
ge
add is
l
_div_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaeg
e
add isl_mat_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
do
c
:
d
rop documenta
t
ion f
o
r isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
r
doolaege
add gmp flags to pkg-conf
i
g file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdool
a
ege
e
xplicit
l
y
link in gmp
in app
l
icat
i
ons that ref
e
rence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoolaege
configure
.
ac: don'
t
d
epen
d
on auto
m
ake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
S
v
e
n
V
erdoo
l
ae
g
e
isl
_
pw_qpo
l
y
nomial_i
n
volves_dim
s
: also check
w
hether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Ve
r
dool
a
ege
add isl_unio
n
_map_plai
n
_
i
s_inje
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
isl_map_intersect_range
:
a
d
d special ca
s
e
for in
t
ersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdool
a
ege
a
d
d isl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n V
e
rdoolaege
add
i
sl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ve
n
Verd
o
o
laege
re
n
am
e
*_fast_* fun
c
ti
o
ns to *_
p
lain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
M
erge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
V
erdoolaege
isl_map_range: correctly
h
andle maps with 0
D
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Verdoolaege
isl_list
.
h
:
allow inclusion from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoola
e
ge
i
s
l_ta
b
_pip: don
'
t simplify domain i
n
isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sve
n
Verdoolaege
add isl_
p
rinter_print_const
r
ai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en Verdoolaege
add isl_
c
onstr
a
int_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
laege
add
isl_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verd
o
olaege
rename isl_mat_dump to isl_mat_pri
n
t
_intern
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdoolaege
add isl_constrain
t
_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
r
d
oolaege
Me
r
g
e
branch
'mai
n
t
'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
isl_ba
s
ic_map
_
affine_hu
l
l:
f
inali
z
e
res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sve
n
Verd
o
olaege
datafl
o
w anal
y
s
i
s: don't depend on word siz
e
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l_union_set_com
p
ut
e
_sched
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_tab_basi
c
_set_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
laege
add isl_tab_basic_s
e
t_non_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
d
o
o
l
aeg
e
isl
_
t
a
b_
p
ip
.
c: add_lexmin_eq: return int instead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_t
a
b_pip
.
c: resto
r
e_lexmin
:
return int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_ta
b
_pip
.
c: add so
m
e debugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
oolae
g
e
a
d
d i
s
l_quicks
o
rt (copied from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
o
l
a
e
g
e
isl_pri
n
ter_print_basic_s
e
t
: also print invalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
isl_u
n
i
on_map
_
i
s
_
i
njective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
aege
add isl_union_map_is_bijecti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_union_ma
p
_is
_
singl
e
_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdool
a
ege
add isl_m
a
t
_add_ze
r
o_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdool
a
ege
isl_blk:
d
on't reuse ove
r
ly l
a
rge blocks
f
or small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolae
g
e
a
dd
isl
_
h
m
ap_map_basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
doo
l
aeg
e
add
i
s
l
_union_m
a
p
_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add
isl_union_m
a
p_conta
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
add isl_basic_set_transform_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ch
a
n
g
e i
s
l
_
mat_su
b
_
a
lloc
p
rototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
make isl_mat_sub_* functions priv
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laeg
e
add
i
sl_vec_get
_
ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
a
dd isl_mat_init
i
al_non_zer
o
_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_m
a
t_set_elem
e
nt_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_
b
asic_set_add_constraints_d
i
m_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
dim_
m
ap_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
isl_dim_map: allo
w
sig
n
ed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
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 Ver
d
oolaege
change prototype of
isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_map_remov
e
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
o
laege
doc: f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: add a not
e
on
the accuracy of
our app
r
oximati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_un
i
on_set
_
coefficients a
n
d isl_union_set_s
o
lu
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oolaege
add
isl_union_set_li
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdool
a
ege
Merge branch
'
m
ai
n
t'
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoolaeg
e
isl_tab: alway free saved bas
i
s undo record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doolaege
make sure
destination for G
D
B mo
d
ule exis
t
s
b
e
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoo
l
aege
isl_ta
b
_pip
.
c: a
d
d
_
lexmin_eq:
r
emove
misguided opt
i
mizati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
d
oolaege
isl_basic_
m
ap_lexmin: t
u
r
n off equ
a
l
i
ty detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
use
s
ilent
m
ak
e
ru
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
olaege
i
s
l
_
strea
m
_read_
m
a
p
:
fix h
a
n
d
ling of divs in tup
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoolaeg
e
isl_
m
at_left_h
e
rmi
t
e: plug memor
y
leak
o
n error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug memory l
e
a
k
in isl_mat_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
is
l
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
d
o
c:
a
d
d
s
o
me im
p
lemen
t
ation details on p
a
rametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oolaege
i
sl_lp
.
c:
a
void clang
warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolaege
isl
_
stream_r
e
ad_map: accep
t
floord and ceild
e
xpr
e
s
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
s
l_stream
_
re
a
d_map: accept min and m
a
x e
x
pre
s
sio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_str
e
a
m
_read_m
a
p: properly r
e
ad n
e
sted divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stre
a
m_read_ma
p
: treat
d
ivs as outpu
t
va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
lae
g
e
isl_map_c
o
ale
s
ce: plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
m
at_exte
n
d: avo
i
d memory
l
e
ak when
r
ealloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l_b
a
sic_map_overlying_set: avoid memory lea
k
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oolae
g
e
i
s
l_st
r
eam_
g
etc: avoid memory leak when r
e
allo
c
fa
i
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaeg
e
rudimentary support for
asyn
c
hronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
h
ide isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
e
rd
o
o
l
aege
isl_
v
ec_read_f
r
om_file
:
drop input_format argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
isl_ma
p
.
c: dro
p
u
n
used
err
o
r label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdo
o
laege
isl_input
.
c: drop unused error la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
resp
e
ct DESTDIR when
i
nstalling isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
i
s
l_stream: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
V
erdoola
e
ge
add isl_union
_
map_
p
ower
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
g
e
chang
e
isl_map_power interf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
add isl_uni
o
n_ma
p
_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ve
n
Verdoolaege
add private isl_basi
c
_map_swap_va
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdoolaege
a
dd isl_union
_
map_de
l
tas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Ve
r
d
oolaege
Merge branc
h
'maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdool
a
eg
e
isl_map_delt
a
s: don't copy fl
a
gs from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
ege
i
s
l
_stream_read_map: accept c
o
nsta
n
t
expre
s
sio
n
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoolaege
isl_s
t
r
e
am: ac
c
ept "/\
"
and
"
\/
"
a
s alternatives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
i
sl_str
e
am: only quo
t
e
n
e
w
line u
s
ing '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doolaege
isl_stream: maintai
n
priv
a
te ungetc b
u
ffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoola
e
ge
isl_set
_
lifting:
s
i
mplify and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdo
o
laege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next