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_arg.c: fix typo affecting argument parsing when flags are used
2011-05-25
Sv
e
n Verdoo
l
aege
i
sl_arg
.
c: fix typ
o
affec
t
i
ng argument parsing when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_tr
a
nsitive_closu
r
e
.
c: remove unuse
d
var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolae
g
e
isl_union_m
a
p
.
c: remove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolae
g
e
isl_tab
.
c: a
v
oid
w
a
rning about unhandled enumer
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaeg
e
isl_tab
.
c: remove unu
s
e
d
varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoo
l
a
e
g
e
i
s
l_tab_pip
.
c: remove unused variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
e
r
d
o
olaege
i
s
l
_
reordering
.
c: rem
o
ve unused v
a
riab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdool
a
ege
isl_output
.
c: remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ver
d
oolaeg
e
isl_arg
.
c: remove u
n
u
sed vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
ola
e
ge
i
s
l_map
.
c remove unused isl_set_swap_
v
a
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
i
s
l_map
.
c
:
remove un
u
s
e
d variabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolaege
isl_map_subtract
.
c: rem
o
v
e
unused va
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_morph
.
c: remove u
n
used
vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_
p
ol
y
n
omial
.
c: r
e
move unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_input
.
c: r
e
move unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl
_
be
r
nstein
.
c: remove u
n
used va
r
i
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
ola
e
ge
isl_
d
im
.
c: avoid warnings about un
h
andle
d
enumerati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaeg
e
isl
_
dim_drop: fix botche
d
up rename o
f
parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
olaege
bound
.
c: r
e
move unused
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
doolae
g
e
isl_loc
a
l_space
.
c: r
e
move unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_pw_tem
p
l
.
c: remove unuse
d
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
er
d
oolaege
isl_fold
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_unio
n
_t
e
mpl
.
c: remove un
u
sed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
lae
g
e
isl_fold
.
c:
r
emove u
n
used variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
ad
d
isl_basic
_
set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verd
o
ola
e
g
e
i
sl_qpolynomial_from
_
aff: create
private co
p
y of d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolaege
isl_a
f
f_expand_divs: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
isl_
a
ff_al
l
oc: check
t
hat all divs are
known
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
a
d
d isl_local_spac
e
_div
s
_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
ool
a
ege
isl_qpolynomia
l
_*
constructors: check
d
im
b
ef
o
re accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Verdoolaege
ad
d
isl_qpolynom
i
al_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Verdoolae
g
e
isl_qpol
y
nomia
l
_involves
_
dims: f
i
x t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl
_
p
oly
n
omia
l
.
c: fix
t
ypo i
n
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Verd
o
olae
g
e
a
d
d isl_aff_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sve
n
V
e
r
doolae
g
e
isl_basic_map_f
r
om_local_sp
a
c
e: don't fin
a
lize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoo
l
a
e
ge
add isl_set_add_co
n
s
tra
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
add isl_equality_from_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
sl_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ol
a
e
ge
add
isl_
c
onstraint
_
g
e
t
_
b
o
und
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolae
g
e
a
d
d
i
sl_{basic_,}
m
ap_may_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d
isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aeg
e
add isl_basic_set_expa
n
d_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_polynomi
a
l
.
c
: move merge_divs to i
s
l_loc
a
l_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add isl_l
o
cal_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdo
o
laeg
e
isl_dim_size: han
d
le isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaeg
e
a
dd isl_constraint
_
in
v
o
l
ves_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_
p
rinter_
p
rint_qp
o
l
yno
m
ial: support proper isl outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolae
g
e
add
i
sl_qpolynomial_
a
li
g
n_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
r
doolaeg
e
add isl_map_align
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
e
r
doolaege
e
x
p
ort isl_basic_se
t
_
r
e
m
o
ve_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export isl_qpolyn
o
mi
a
l_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdool
a
e
g
e
export is
l
_
s
et_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
Verdo
o
laege
is
l
/d
i
v
.
h
: drop depen
d
ence on isl/
s
et
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ve
r
doolaege
h
ide isl_
d
iv internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
add isl_div_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
isl_mat_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
doc: dr
o
p documentat
i
on for
i
sl-p
o
lylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ver
d
o
olaege
add gmp
fl
a
gs to pkg-config fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sve
n
V
e
rdoolaege
expli
c
itly
link in gmp
in
app
l
icat
i
ons that referen
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
configure
.
a
c:
d
on't depend on auto
m
ake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Ver
d
oolaege
isl_pw_qpolynomial_i
n
volv
e
s_dims: also
c
heck wheth
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolae
g
e
add isl_union_map
_
p
l
ain_is_in
j
ective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
is
l
_
m
a
p
_intersect_ran
g
e: ad
d
sp
e
cia
l
c
a
se
f
or int
e
rsectio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
add isl_ve
c
_s
o
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laege
add isl_un
i
on_map_
u
niverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
d
oolaege
re
n
ame
*_fast_* fun
c
ti
o
n
s to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Ve
r
doolaege
isl_m
a
p
_
range: correc
t
ly ha
n
dle maps with 0D dom
a
in
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
ven Ver
d
oolaege
isl_list
.
h
:
allow
in
c
lu
s
ion
fro
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n Verdoolaege
is
l
_tab_p
i
p: don't simpli
f
y domain in isl_for
_
add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_pri
n
ter_print_cons
t
raint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaeg
e
add isl_constrain
t
_
g
et_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven V
e
rdoolaege
add isl
_
mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Ve
r
dool
a
e
g
e
rename isl_mat_dum
p
to isl_
m
a
t_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
e
n
Verdoolaege
a
d
d isl_
c
onstraint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ver
d
oolaege
Merg
e
branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
isl_b
a
sic
_
map
_
aff
i
ne_hull
:
f
inalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gros
s
er
Remove r
e
c
e
ntly
added unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gr
o
sser
Add ex
t
ern C
d
eclaration t
o
sche
d
ule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
rd
o
ola
e
ge
dataflow ana
l
ys
i
s: don't de
p
e
nd
o
n
word
s
ize during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add i
s
l
_union_set_compute_
s
chedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaege
add isl
_
t
ab_basic_set_non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaeg
e
add
i
sl_tab_basic_set_non_
t
rivi
a
l_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isl_t
a
b
_pip
.
c:
add_lexmin_e
q
: return int instead o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
laeg
e
i
s
l_tab_p
i
p
.
c:
rest
o
r
e_lexmin:
r
eturn int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdoolaege
i
sl_tab_pip
.
c:
a
d
d
some debugging co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolae
g
e
isl
_
tab_
p
i
p
.
c: fix
t
ypo in
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Ver
d
oolaege
add
i
sl_quickso
r
t (cop
i
ed from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
olaege
isl_print
e
r_print
_
basic
_
s
e
t: a
l
so
p
r
int
i
n
valid bas
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
do
o
laege
ad
d
isl_union_m
a
p
_
is
_
i
n
j
ecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
add
isl_union_map
_
is_bij
e
ctive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
ad
d
is
l
_union_map
_
is_s
i
ngle_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_mat_ad
d
_zero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_blk:
d
on't reuse overly
l
arge blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
s
l_h
m
ap_m
a
p
_
basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add
i
sl_unio
n
_map_c
o
py_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
aeg
e
ad
d
isl_uni
o
n_
m
ap_cont
a
i
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
ad
d
isl_basic_
s
et_trans
f
o
r
m_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
ad
d
isl_ba
s
ic_set_o
f
fse
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next