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
cloog_names_alloc: fix typo in comment
2009-06-03
S
ven Ver
d
o
ol
a
ege
cloog_names_alloc: fix typo in comment
commit
|
commitdiff
|
tree
2009-06-01
Sven Verd
o
olaege
c
la
s
t
:
e
xtract e
n
um clast_e
x
pr_t
y
pe fr
o
m
o
u
t of clast_ex
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sven
V
erdoolaege
update README for
new p
a
tch
s
ubmitting
procedure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
a
void reco
m
putation of "one" (and -1) by st
o
ring a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
clast: make
global
s
truc
t
clast_stmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
ven V
e
rdoolaege
move all global va
r
iable
s
to Clo
o
gState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
move isl_ctx from Cloo
g
O
p
tions
t
o Cloog
S
tate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
clo
o
g_options_read: fix misnamed
a
r
gc and argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdool
a
ege
cloog_d
o
m
a
in_dimension: return act
u
al dimensio
n
(
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaeg
e
PolyLi
b
backend
:
store number of para
m
eters in Cl
o
ogDom
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
S
v
e
n
Verdoolaege
cloog_names_alloc
:
initi
a
lize struct
u
re wi
t
h d
e
fault
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-26
C
é
d
r
i
c Bastoul
Change license from
G
PL 2
.
0 to LG
P
L 2
.
1+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
S
v
en V
e
rdoolaeg
e
update docs
to in
t
rodu
c
tion of
C
lo
o
gScatteri
n
g and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
lae
g
e
PolyLib b
a
cke
n
d
: disable cloog_sc
a
tterin
g
_lazy_
b
lock
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
clast:
drop
loops wi
t
h fractio
n
al lower a
n
d upp
e
r bounds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ver
d
o
o
laege
co
n
figure
.
in: set A
C
_
CON
F
I
G_MA
C
R
O
_DIR
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ve
r
d
o
o
laege
insert_mod
u
lo_gua
r
d: move reduction of guards to the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
source/clast
.
c
: i
n
s
e
rt_mo
d
ulo_guard: only
com
p
ute
b
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
erdoolaege
clo
o
g_con
s
traint_equa
l
_type: trea
t
all modulo g
u
ards
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verd
o
olaege
cloog_
l
oop_simplify: ite
r
ate
o
ver siblings instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdool
a
e
g
e
Remov
e
lines referring to "number of polyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
update isl for new
version of i
s
l_ba
s
ic_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl backend: cloo
g
_domain_sim
p
lif
y
_union: u
s
e isl_set_coalesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
Extract
o
u
t
backend specific cl
o
o
g_do
m
ain_simplify
_
un
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
isl back
e
nd: use isl_
s
e
t
_bounded_
s
imple_hull
f
or 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 ext
r
a modulo g
u
ards involvin
g
loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl
b
ackend: div_expr: free
d
iv afte
r
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
upda
t
e
isl for cha
n
ge
in in
t
ernal representation
affe
c
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en
V
e
rdoolae
g
e
upd
a
te isl for nor
m
aliz
a
tion d
u
r
i
ng convex hull co
m
p
u
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
Ve
r
doolaeg
e
clast
.
c:
clast_red
u
c
t
i
on_cmp: treat
all
unary "
r
eductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
ege
pretty
printer: drop " " in front of ";
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
remove cp
p
op
t
ion (de
f
aul
t
ing to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
Verdoolaege
tur
n
on "eq
u
al
i
ty spreading" (esp) by def
a
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
oolaege
re
m
o
ve csp o
p
ti
o
n (defaulting to
t
rue)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
S
v
en Verdoolae
g
e
print execution time again if s
y
s/resource
.
h is
a
vailab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Verdoolaege
isl backend: su
p
port existen
t
ially q
u
a
n
tif
i
ed varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
i
s
l
b
ackend: drop existentials when
c
omputi
n
g
f
a
l
lback
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ve
r
doolaege
update isl for plug
f
or is
l
_ma
p
_simp
l
e_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoo
l
aege
update isl for changed call
i
ng conventi
o
n
s
of i
s
l_
b
a
s
ic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
updat
e
isl f
o
r cha
n
ge in calling c
o
nv
e
ntion of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolae
g
e
upd
a
te is
l
f
or
refcounted isl_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdool
a
ege
update isl for in
t
r
oduc
t
ion of is
l
_dim structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdool
a
e
g
e
clast
.
c:
insert
_
guard:
i
nsert m
o
d
ulo g
u
ards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
clast
.
c: extrac
t
out
cloog_
c
ons
t
raint_set_
n
_iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clas
t
.
c: extract out common
c
loog
_
c
onstraint_v
a
riable_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast: allow clast_
t
erm to represe
n
t multiple o
f
a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
cl
a
st
.
c: extract
o
u
t common cloog_names_
n
am
e
_at_l
e
vel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
m
i
nor changes to CloogConstraint a
b
straction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Verdoolaeg
e
Fix u
p
opti
o
nal inclusion of backup mp_ge
t
_memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
cloo
g
/constraints
.
h: don't
pu
t
#include's i
n
side extern
"
C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoo
l
ae
g
e
drop
unuse
d
cl
o
og_constr
a
i
n
t_set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolae
g
e
Add bac
k
up mp_get_me
m
o
r
y_fun
c
tions
implem
e
ntatio
n
fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaeg
e
up
d
ate
isl fo
r
compatibi
l
ity
with old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Ver
d
oolaege
update isl for
i
mprove
d
piplib ef
f
iciency
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoolaege
L
o
ok f
o
r more opportunities for bloc
k
ing
st
a
te
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verdoo
l
aege
cloog_
p
rogram_read: delay
construction of blocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
cloog
_
loop
_
separate: c
o
m
bine loops with identic
a
l doma
i
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
do
o
laege
c
l
oog_loop_se
p
arate: minor cle
a
n-
u
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdool
a
e
g
e
cloog_l
o
op_s
e
p
arate: exploit disjoin
t
ness of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oolaege
clast
.
c
: sort eq
u
a
t
ions in guard cl
a
st
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
V
e
r
doo
l
aege
Optionally r
e
frain from printing a
n
y informa
t
i
on
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Verdoolaege
clas
t
.
c: do
n
't insert any "scal
a
rs" for l
e
vel 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
er
d
oolaege
so
u
rce/isl: fix ty
p
os
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
oolaege
Explicitly sp
e
ci
f
y -rp
a
t
h
for libtool librari
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
aege
include/cloog/domain
.
h: a
v
oid use of
C
++ key
w
ord
"
template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdo
o
l
a
ege
add isl
backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
option
s
.
c: remove
-
rays o
p
tion
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoo
l
aege
Handle
0D problems
by adding a
0
t
h lev
e
l to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Verdoolaege
cloog_loop_merge: ensu
r
e loop dom
a
ins are
conv
e
x, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven
Verdoola
e
ge
insert_guard: make
sure c
o
effi
c
ie
n
t i
n
l
e
ft h
a
nd side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Ver
d
o
olaege
insert_guar
d
: avoid
out-of-b
o
unds acc
e
s
s
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
ae
g
e
I
ntroduce C
l
oogConstraint
abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoolaege
R
e
na
m
e Cloog
C
onstrain
t
s to CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
do
o
l
aege
fix
typo
s
in insert_loop c
o
mments
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n
Verdoo
l
aege
cloog
_
domain
_
p
ri
n
t_structure: print all polyhed
r
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolae
g
e
Let
c
loog_dom
a
in_l
o
w
e
rbo
u
n
d
_upda
t
e retur
n
the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n Ve
r
doola
e
ge
C
o
mbine cl
o
og_scattering_lazy_isscalar and
c
l
o
og_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verdoolaege
incl
u
de/cloog/
d
omai
n
.
h: remove
declarations o
f
(unu
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoola
e
ge
test/test_run: only c
h
e
c
k
simplified hull gen
e
rations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Ver
d
o
o
laege
test/test_run
:
also ch
e
ck correctn
e
ss of
simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
c
l
oog_domain_
s
implify:
a
void o
u
t-of-bounds array a
c
c
e
ss
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolae
g
e
Tr
e
at param
e
ter d
o
mains d
i
fferently
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdo
o
laege
C
hange
sema
n
tics
of cloog_domain
_
cut_fir
s
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
cloog_d
o
mai
n
_i
s
empty: acce
p
t
NU
L
L arg
u
ment
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoola
e
ge
cloog_domain
_
empty: make empty d
o
main using t
e
mplate
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoo
l
aege
Inform
func
t
i
on reading i
n
s
cattering functi
o
n
o
f
domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
pass the numb
e
r of pa
r
ameters to fu
n
c
t
io
n
s read
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
i
n
t
ro
d
uce CloogSca
t
te
r
ing abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make textual t
e
sts bac
k
end
dependent
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
sort elements of min and ma
x
reduction
c
last
s
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
V
erdoolaege
allow out-of-src test file gen
e
ration
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Remove
l
ines re
f
erri
n
g to "number of polyhedra
"
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
Pass
CloogOpt
i
ons to function readin
g
(
l
ists o
f
) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
ol
a
ege
all
o
w backends
t
o have t
h
eir own
options
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
erd
o
olaege
configure:
handle gmp and pol
y
lib "submodules" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
V
e
rd
o
olaege
create backen
d
(PolyLib) speci
f
ic li
b
rary
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
remove dependence on PolyLib from clo
o
g co
r
e
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ve
r
doolaege
T
est
correctness of ge
n
erated code, wit
h
out requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ve
r
doolaege
add clo
o
g_domain_cube function
,
retur
n
i
ng a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Let cl
o
og_domain_universe return a universal dom
a
i
n
.
.
.
commit
|
commitdiff
|
tree
next