repo.or.cz
/
cloog.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add cloog_union_domain_from_isl_union_set
2009-07-22
S
v
en
V
erdoolaeg
e
cloo
g
_loop_
s
tride: prop
e
r
ly
handle doma
i
ns w
i
th fixed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaeg
e
update isl for fix in isl_basic_set_dim_residue_class
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
PolyLib b
a
ckend: cloo
g
_domain_strid
e
: handle singleton
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
S
ven
Verdoolaege
test
/
M
ake
f
ile
.
am: add all kn
o
wn good versions for test_run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolae
g
e
upda
t
e isl for gbr bas
e
d sampling
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdo
o
la
e
ge
is
l
backend: fix retu
r
n of c
l
oog_domain_
c
onvex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
v
en
V
erdoolaege
Ma
k
efile
.
a
m: explicitly set DIST_SUBD
I
RS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update installation i
n
s
tructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoo
l
aeg
e
configure
.
i
n: b
u
ild
i
sl bac
k
end by defau
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oolaege
configure
.
in: allow not buil
d
ing p
o
ly
l
ib b
a
ck
e
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaege
doc
:
document clasts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoo
l
ae
g
e
clast: includ
e
c
o
pies of Clo
o
gStatements instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sve
n
Verdoolaege
cloog_statement_copy
:
ad
d
missing copy of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verdoolaeg
e
doc: fix s
o
me spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoolaege
renam
e
ppr
i
n
t
t
o clas
t
_ppri
n
t to
av
o
id namespace
pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Verdoola
e
ge
make
C
loo
g
Domain
a
nd Cloog
S
catt
e
ring com
p
le
t
e
l
y
opaque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaeg
e
cloog_names_alloc: fix ty
p
o
in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaege
cl
a
st: e
x
tr
a
c
t
enum
c
last_exp
r
_type fr
o
m out of clast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
S
v
en Verdoola
e
ge
update R
E
ADME for new
p
a
tch sub
m
i
t
t
ing
p
rocedu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven Verd
o
olae
g
e
avoid recomputation of
"o
n
e" (
a
nd
-1) by stori
n
g a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cl
a
st
:
make global s
t
ruct clast_stm
t
_o
p
s const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verd
o
olaeg
e
m
o
ve all glob
a
l va
r
iables to
CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
move
isl_ctx fro
m
C
l
oog
O
pt
i
on
s
to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoola
e
g
e
clo
o
g_option
s
_read
:
fix misnamed
argc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sv
e
n V
e
r
doolaege
cloog_domain_dimension: return ac
t
u
a
l dimension
(i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
PolyLib
b
a
c
kend:
s
tore nu
m
be
r
of para
m
e
t
ers
i
n CloogDo
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog_names_alloc:
i
nitialize structure with defa
u
lt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
C
édric Bastoul
Change license f
r
om GPL 2
.
0 to LGPL 2
.
1+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven Verdoolaege
up
d
ate docs
t
o introduction
of CloogScatt
e
ring
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaeg
e
PolyLib
b
ackend: di
s
a
ble cloo
g
_sc
a
t
t
e
ring
_
lazy_block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
ae
g
e
clast
:
drop
l
o
ops with
frac
t
ional lower and upper b
o
unds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rd
o
olaege
configure
.
in: set AC_C
O
N
FIG_
M
ACRO_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
i
n
sert_mod
u
lo_gu
a
rd:
m
ove reduction of guards
t
o
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
v
e
n
Verd
o
o
laege
source/clast
.
c: insert_mo
d
ulo_guard: only compute bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolae
g
e
cloog_constr
a
int_equal_type: treat al
l
modu
l
o g
u
ar
d
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoo
l
aege
clo
o
g_loop_simp
l
ify: ite
r
ate over
siblin
g
s instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Ve
r
doolaege
R
e
mov
e
lines refe
r
ring to "n
u
mber of po
l
yhedra
"
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
upda
t
e isl for new ve
r
sion o
f
isl_basic_map
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl backend: c
l
oog_domain_
s
i
m
plify_union: u
s
e isl_set_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
E
x
tract out b
a
ckend specific
c
loog_domain_s
i
mplify_
u
nion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verd
o
o
laege
isl
b
ack
e
nd: use is
l
_set_bounded_simple_hull fo
r
computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
c
last
.
c
:
insert extra modulo g
u
ards involvin
g
loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
i
sl ba
c
ke
n
d
:
div_e
x
pr
:
fr
e
e
div
a
fter
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolae
g
e
upda
t
e isl for
ch
a
nge in inte
r
nal represent
a
tion
a
ffecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n Verdoolaege
update i
s
l for norma
l
izatio
n
during c
o
nv
e
x hull
c
omp
u
tati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
ven
V
erdoolaege
c
l
a
st
.
c: cla
s
t_reduction_cm
p
:
t
reat
a
ll
u
nar
y
"
reduct
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdo
o
laege
pre
t
t
y printer: dro
p
" " in front of ";"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
r
e
move cpp opt
i
on (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdo
o
laege
turn
o
n "
e
quality spreading"
(esp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
remove csp option (defa
u
lting
to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolae
g
e
print execution time agai
n
if sys/resource
.
h is av
a
ilable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
isl backend: support exist
e
ntially quantif
i
ed variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
isl
b
a
c
kend: drop
exist
e
ntials when computing fa
l
l
b
ac
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoola
e
g
e
update is
l
for plug for isl
_
map_
s
imp
l
e_hu
l
l memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for changed calling con
v
entions of isl_basic_se
t
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoolaege
update
i
sl for change in ca
l
ling c
o
n
vention of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oolaege
update is
l
for refcounted isl_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pdate
i
sl f
o
r introduc
t
io
n
o
f
isl_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdo
o
laege
c
l
ast
.
c: insert_guard: in
s
ert modulo guar
d
s
b
a
s
ed on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
er
d
oolaege
clast
.
c
:
e
x
t
rac
t
out cloog_constraint_set_
n
_ite
r
ators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
clast
.
c: extract out common clo
o
g_constraint_
v
a
riable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdo
o
laege
clast: allow clas
t
_ter
m
to rep
r
esent m
u
ltiple o
f
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaege
clas
t
.
c:
ex
t
ract out
commo
n
cloog
_
names_name_at_
l
evel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoo
l
aege
minor
c
hanges to CloogConstraint abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verd
o
olaege
Fix
u
p optional i
n
clusion
o
f
backup mp_g
e
t_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
cloog/constraints
.
h: do
n
't p
u
t #include
'
s inside exte
r
n "C"
commit
|
commitdiff
|
tree
2008-12-23
S
ven Verdo
o
la
e
ge
drop unuse
d
cloog_constraint_s
e
t_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
S
ven Ve
r
d
ool
a
ege
Add backup m
p
_get_memory_functions
i
mplem
e
n
tat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
v
en Verd
o
ola
e
g
e
u
p
date isl for compatibi
l
ity with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdo
o
l
aege
up
d
ate isl for i
m
pr
o
ved piplib e
f
fici
e
n
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doo
l
aege
Lo
o
k for more opportunities for blo
c
king stateme
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
Verdoolae
g
e
clo
o
g_pr
o
gram
_
read: de
l
ay co
n
s
tru
c
tion of bl
o
ck
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cl
o
og_loop_separ
a
te:
c
ombine loops with i
d
enti
c
a
l domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cloog_lo
o
p_s
e
p
a
r
a
te: minor
clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Ver
d
oolae
g
e
cloog_loo
p
_sep
a
ra
t
e: exploit disjointness o
f
loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
clast
.
c: sort equat
i
ons in gua
r
d clast
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
Verdoolaege
Optional
l
y
r
e
frain from
p
rintin
g
any
i
nformatio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
erdoolaege
clast
.
c: don't inse
r
t any "scala
r
s
"
f
or
l
evel 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaeg
e
so
u
rce/
i
sl: fix typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ve
r
doolaege
Explicitly s
p
ecify -rpath for
libtool
libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
inclu
d
e
/cl
o
og/domain
.
h: av
o
id use of C++ keyword "t
e
mpl
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolae
g
e
add isl
backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
laege
options
.
c: re
m
o
v
e -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
erdoolaege
Handl
e
0D
problems by ad
d
i
ng a
0
th l
e
vel
to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Verdoola
e
ge
cloog_l
o
o
p_merg
e
: ensu
r
e
l
oop domains are con
v
e
x, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
i
n
s
e
rt
_
guard:
make sure c
o
efficient i
n
left ha
n
d side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoola
e
ge
insert_gu
a
rd: a
v
oid out-of-bo
u
nds access
commit
|
commitdiff
|
tree
2008-10-02
S
v
en V
e
r
d
oolaege
Introduce Cl
o
ogCo
n
straint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n
V
erdo
o
la
e
ge
R
e
name Clo
o
gConstraints to CloogConstr
a
i
ntSet
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n
Verdoolaege
fi
x
typos
i
n insert_loop com
m
e
nts
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
cloog_
d
omain_print_structure: p
r
int all polyhedra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verd
o
o
l
aege
Let
c
loog_doma
i
n_lowerbound_update
r
eturn the upd
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
Co
m
bine cloo
g
_scatter
i
ng_lazy_isscalar and cloog_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdool
a
ege
i
n
c
lude/cloog/domain
.
h: remo
v
e d
e
cla
r
ations of (u
n
us
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdoolaege
test/t
e
st_run: only check simp
l
ified hu
l
l generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
t
e
st
/
test_run: also
ch
e
c
k
c
orrectness of simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
cloo
g
_
d
omai
n
_
s
i
mplify: avoi
d
out-of-bounds
array
access
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Ver
d
oolaege
T
r
e
at param
e
ter
d
omains differ
e
ntly
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
Ch
a
n
ge
semantics of cloog_d
o
main_cut_first
commit
|
commitdiff
|
tree
next