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_aff_list
2011-06-04
Sven
V
erdoolae
g
e
add isl_aff_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sve
n
Ver
d
oolaeg
e
add isl_p
r
i
n
ter_pri
n
t_*_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
a
dd *list_get_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven
V
e
rdoo
l
aege
add *list_n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
S
v
en Verdoolaege
add *_list
_
foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven
Verdo
o
laege
add *_li
s
t_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdoo
l
aege
add *list_copy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
genera
l
ize isl_b
a
sic_set_list to gene
r
i
c
lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sv
e
n Verdoolaege
Merg
e
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdo
o
l
a
e
ge
isl_union_map_range_product:
only c
o
nsi
d
e
r
pairs of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sve
n
Verdo
o
laege
isl_mat_
s
cal
e
_down: avo
i
d tra
m
pling over
aliased mat
r
ic
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven
V
e
rdo
o
laege
ad
d
isl_
a
ff_
s
cale a
n
d is
l
_aff_scale_down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolae
g
e
add isl_aff_add and
i
sl_aff_s
u
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sv
e
n
Ve
r
doolaege
a
d
d
i
sl
_
i
n
e
quality_fr
o
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
add isl_s
e
q_addmu
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
erdool
a
e
g
e
isl_verti
c
es
.
c: avoid use of unitia
l
ized variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_transitiv
e
_
clos
u
re
.
c: avoid use of
a
n un
i
t
i
alized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verd
o
olaege
isl_
p
olyn
o
m
i
al
.
c: avoid us
e
o
f
an uni
t
i
a
lized variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
auto
g
en
.
s
h: replace by ca
l
l to au
t
o
r
econf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
configur
e
.
ac: use non-deprecated for
m
of A
M
_
I
N
I
T
_
AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoo
l
aege
isl_fold
.
c: avo
i
d
warn
i
ng
a
b
out
c
o
ntrol
reaching end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
olaege
mark s
o
m
e functions
a
s (possibly) un
u
sed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_polynomial
.
c: use
f
lex array
member to avoid array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
t
ab_pip
.
c:
r
emove unused context_lex_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_map_sim
p
lify
.
c: r
e
move unused normalize_constra
i
nts_in_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_map_s
i
mplify
.
c: remove unused set_sw
a
p
_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_convex_hull
.
c:
remove
u
nused set_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven V
e
rdoo
l
a
e
g
e
isl_convex_hull
.
c:
r
emove
u
n
u
sed sw
a
p_i
n
eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdo
o
laege
isl_arg
.
c: fix typo affecting argument parsing when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
i
sl_transitive_closure
.
c
:
r
emove
un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en V
e
rd
o
olaeg
e
isl_u
n
ion_map
.
c: re
m
ove u
n
used variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laeg
e
isl_
t
a
b
.
c: avoid warni
n
g
ab
o
ut
unhandled enumera
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolae
g
e
isl_tab
.
c: remove unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoo
l
aeg
e
isl_tab
_
pip
.
c:
rem
o
v
e
unused
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_reorderi
n
g
.
c
:
remove unus
e
d variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolae
g
e
is
l
_
o
u
t
put
.
c
:
rem
o
ve unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoo
l
aeg
e
i
sl_ar
g
.
c: remove u
n
us
e
d va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_map
.
c remove
unused isl_set_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map
.
c
: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
laege
is
l
_map_s
u
btract
.
c: remov
e
u
nused varia
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rd
o
ol
a
ege
is
l
_morph
.
c
: remove un
u
sed
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolaege
isl_
p
olynomial
.
c: re
m
ove
u
n
u
s
ed
v
ariables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_input
.
c
: remove unuse
d
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_bernstein
.
c
:
r
emove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdo
o
lae
g
e
i
s
l_dim
.
c: avoid
w
arnings about unhandl
e
d e
n
umeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_dim_
d
rop:
f
ix bo
t
che
d
up r
e
na
m
e of parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
Verdool
a
eg
e
boun
d
.
c: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoo
l
a
ege
isl_local_
s
pace
.
c: re
m
o
ve unu
s
e
d vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_pw_templ
.
c: remov
e
unuse
d
l
a
be
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_fold
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
erd
o
ol
a
e
ge
is
l
_un
i
on_templ
.
c: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_fo
l
d
.
c: remov
e
unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdoolaege
add isl_
b
asic_se
t
_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoo
l
aege
is
l
_qpolynomi
a
l_from_aff: create p
r
i
v
ate c
o
py of divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
ve
n
Ve
r
doolaege
is
l
_aff_expan
d
_
d
iv
s
:
fi
x
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdoola
e
ge
isl_aff_all
o
c: check that all
d
ivs
a
re
kn
o
wn
commit
|
commitdiff
|
tree
2011-05-20
S
ven V
e
rdoolaeg
e
add
isl_local_
s
pace
_
div
s
_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
Merge
b
ranch
'
maint'
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verd
o
olaege
isl_qpolynomial_*
c
onstruct
o
rs: check di
m
before
a
ccessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven V
e
rdoolaege
ad
d
isl_qpolynomial_fro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
i
s
l_qpolynomial_involves_d
i
ms: fi
x
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
erd
o
ola
e
ge
i
sl
_
po
l
ynomial
.
c: fix typo in c
o
mme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add isl_a
f
f_get_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
S
v
en
Verdoolaeg
e
i
s
l_basic_map_from_local_s
p
ace:
d
on't finali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Ver
d
oolaege
a
d
d isl
_
s
e
t_add_
c
onstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
add isl_equ
a
l
i
ty_fr
o
m_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
ad
d
i
s
l_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
a
dd is
l
_cons
t
rain
t
_get_
b
ound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
V
erdoolaeg
e
add isl
_
{basi
c
_
,}ma
p
_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoo
l
aege
add
isl_basic_se
t
_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
is
l
_
po
l
ynom
i
a
l
.
c:
m
ove merge_d
i
vs to i
s
l
_
l
ocal_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_l
o
cal_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Ve
r
doolae
g
e
isl_dim_size: h
a
ndle isl
_
dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d isl_const
r
aint_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
isl_printer_print_qp
o
lynomial:
s
up
p
ort prop
e
r isl outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_qpo
l
y
n
o
m
i
al_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add i
s
l_ma
p
_
a
lign_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
export isl_b
a
sic_set_re
m
ove_redun
d
anc
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdo
o
laege
ex
p
ort isl_qpolynomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
export isl_set_eli
m
in
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl/div
.
h
: dro
p
d
e
pen
d
ence on
i
s
l/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
hid
e
i
sl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolae
g
e
add isl_
d
iv_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
olaege
add is
l
_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
d
oc: drop documentation for is
l
-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Verdoolaege
add
g
m
p
flags to pkg-conf
i
g file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaeg
e
expl
i
citly link
i
n
gmp in ap
p
lication
s
tha
t
re
f
erence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
conf
i
gure
.
a
c
: do
n
't depend on automa
k
e
1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sve
n
Verdool
a
ege
isl_pw_
q
polynomial_involves_dims: also che
c
k whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
add is
l
_union_m
a
p_plain_is
_
in
j
e
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
Verdoo
l
aege
isl_map_intersect_r
a
n
g
e: add special case for inters
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
add isl_ve
c
_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolae
g
e
add isl_
u
ni
o
n_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaege
rename *_
f
a
s
t_*
f
u
nctions to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doolaege
i
sl_map_range: correctly handl
e
m
a
ps w
i
t
h
0D
doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en Verd
o
ol
a
ege
isl_
l
is
t
.
h: allow inclusion from
C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoola
e
g
e
i
s
l_tab_pip: don't simplify doma
i
n in
i
sl_for_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdool
a
ege
a
d
d isl_printer_print_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next