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
test/Makefile.am: add all known good versions for test_run to distribution
2009-07-20
S
v
en Verdoolae
g
e
test/Make
f
i
le
.
a
m
: add all known goo
d
versions for test_r
u
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoo
l
aege
up
d
ate isl for gbr based sa
m
pling
commit
|
commitdiff
|
tree
2009-06-13
Sven
Ve
r
doolaege
upda
t
e isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-13
S
ven V
e
rdool
a
ege
isl backend: fi
x
retu
r
n
of
c
loog_d
o
main_
c
onvex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
Makefile
.
am
:
e
xplicitly
set DIST_SUBDIRS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
ge
update installation
i
nstructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erd
o
olaege
con
f
igure
.
in: bui
l
d
isl bac
k
end by def
a
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-12
S
ven V
e
rdoolaeg
e
configure
.
in: allow
n
o
t building
polylib b
a
ckend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ver
d
oolaeg
e
d
o
c: docum
e
nt
c
last
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Verdoolaege
clast: inc
l
ude copies of
Cloog
S
t
a
t
em
e
nts inst
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
Sven V
e
rdoolaege
c
loog
_
s
t
a
t
emen
t
_copy: add missing
c
o
py of stat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-09
S
ven Ve
r
do
o
laeg
e
doc
:
fix some
s
p
e
l
ling mistake
s
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
rename pprin
t
to cla
s
t_
p
print to avoid
n
ames
p
a
c
e pollution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoola
e
ge
mak
e
Cl
o
ogDoma
i
n and
Clo
o
gS
c
a
ttering co
m
pletely opaque
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-03
Sven
Ver
d
oolaege
cloog_
n
a
m
es_alloc: fix typo
i
n com
m
ent
commit
|
commitdiff
|
tree
2009-06-01
Sven Verdoolaeg
e
clast: ext
r
ac
t
enum clast_expr_t
y
pe from o
u
t
o
f clast_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-06-01
Sven Ve
r
doolaege
update README for new patch s
u
bmitt
i
ng
procedure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolae
g
e
avoid r
e
c
o
mputation of "one" (and -1) by storin
g
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
clast:
m
ake glo
b
a
l struct
clast_s
t
mt_ops const
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Ve
r
doolaege
move all
global variables to Cloo
g
Sta
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
S
v
en Verdoolaege
move isl
_
ctx
fro
m
CloogOptions to Cloo
g
State
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erdo
o
laege
cloog_opti
o
ns_read: fix misnamed argc and
a
r
g
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verd
o
olaege
cloog_domain_
d
i
m
ension: re
t
u
rn actu
a
l
d
i
m
e
n
si
o
n
(
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
P
ol
y
Lib backend: store number of parameters i
n
C
l
o
ogDomain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-31
Sven V
e
rdool
a
ege
clo
o
g
_
names_all
o
c
:
initialize structure with defau
l
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-26
Cédric Bastoul
Change
license from 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 to introdu
c
tion of
C
loogScattering and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
Verdoo
l
a
e
ge
PolyLib ba
c
kend: disable cloog_scatterin
g
_lazy_block
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
clast: drop loops with f
r
actional lower and upper
b
ounds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-05-05
Sven
Ve
r
dool
a
ege
c
onfigure
.
in
:
set AC_CONFIG_MACR
O
_DIR
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdo
o
laege
insert_mo
d
ulo_guard:
m
o
v
e
reduc
t
ion of guards to
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sve
n
Ve
r
d
oolae
g
e
s
our
c
e/cla
s
t
.
c: insert_modulo_guard: o
n
l
y
compute
b
ou
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Verdoolaege
clo
o
g_c
o
n
s
t
raint_equal
_
t
y
p
e: treat all modulo guards
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
S
v
en Verdool
a
eg
e
cloog_loop_s
i
mplify: iterate over sibli
n
gs instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Ver
d
oolaege
Remove lines re
f
errin
g
to "number
o
f
p
olyhedra" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n V
e
rdoolaeg
e
update isl fo
r
n
e
w ver
s
ion of isl_basic_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl
b
a
cken
d
: cloog_dom
a
in_
s
implify
_
u
n
ion: use i
s
l_set_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
Extract out backend specific c
l
oog_do
m
ain_simplify_uni
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
i
s
l
backend:
u
se isl_se
t
_bounded_simple_hu
l
l for computing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoolae
g
e
clast
.
c
: insert ext
r
a mod
u
lo guards
involving loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Ver
d
oolaege
isl
backend: div_expr: fr
e
e div aft
e
r use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ve
n
Verdoolaege
update isl for ch
a
n
ge in internal repre
s
entation affec
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
update isl
for n
o
r
m
alizatio
n
duri
n
g conve
x
hull com
p
ut
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c
:
clast_re
d
uction_cmp: treat all
u
nary
"redu
c
tions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoo
l
aege
pre
t
ty p
r
inter: drop " "
in front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
ven Verdoolaege
remove cp
p
opt
i
on (defau
l
ting to tru
e
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on
"
equality
s
pr
e
ading" (e
s
p) by
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdool
a
e
g
e
r
e
move
csp opt
i
on (defaulti
n
g to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
print execut
i
on time again if
s
y
s
/resou
r
ce
.
h is a
v
ailab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven
V
erdoolaege
onl
y
pr
i
nt
e
xecu
t
io
n
tim
e
if sys/res
o
urce
.
h
is available
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
r
d
oolaeg
e
isl
b
ackend: support
existentially quantified variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verd
o
o
l
aege
isl backe
n
d
:
d
rop e
x
istentials wh
e
n computing fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
rd
o
o
laege
upd
a
te isl for p
l
ug
f
or is
l
_ma
p
_s
i
mpl
e
_hull memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
upda
t
e
i
sl
for
c
h
ang
e
d calling co
n
ventions of isl_b
a
sic_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
update
isl for cha
n
g
e
i
n
calling conv
e
ntion of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
up
d
ate isl for
refcounted is
l
_c
o
nstrai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdool
a
ege
update is
l
for introduction of isl_
d
im stru
c
t
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: insert_
g
uard:
insert modu
l
o gua
r
d
s based
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Ver
d
o
olaege
clast
.
c: extract out cl
o
og_constrain
t
_set_n_itera
t
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
c
l
ast
.
c
:
extract out common cloog_constraint_variable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
clast: allow clast_term to represent
m
ultiple o
f
any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
c
l
a
st
.
c: ex
t
ract out common cloog_n
a
mes_name_at_l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
minor changes
to CloogCons
t
raint
a
b
stracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
Fix up optional
i
nclusion of ba
c
kup
m
p_get_m
e
mory_func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
Verdoolaege
cloog/const
r
ai
n
ts
.
h: don't put #
i
nclude's in
s
ide extern "
C
"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
drop unuse
d
cloog_constraint_se
t
_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
S
ve
n
Verdoolaege
Add backup mp_g
e
t_memory_func
t
ions
i
m
plementat
i
on fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaeg
e
up
d
ate i
s
l f
o
r compati
b
i
l
i
t
y with old
gmp
s
commit
|
commitdiff
|
tree
2008-11-11
Sven
V
erdo
o
laege
update isl fo
r
im
p
roved piplib efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
Look for more opportunities for b
l
ocking s
t
a
tements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolae
g
e
c
l
oog_progr
a
m_read: del
a
y c
o
nst
r
uction of blocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoo
l
ae
g
e
cloog_loop_separat
e
: comb
i
ne
l
oops w
i
th identical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cl
o
o
g
_
l
oop_separa
t
e
: minor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
c
loog_loop_separate:
e
xplo
i
t disjointness of l
o
op
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
c
l
as
t
.
c: sort equations
in g
u
a
r
d clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Optionally
refrai
n
from print
i
ng any informational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n
Verdoo
l
aege
clast
.
c: don't insert
any "scalars
"
for level
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verdoolaege
s
o
u
r
ce/isl: fix typos in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Explicitly specify -rpath for
l
ibtool libr
a
r
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
in
c
lude
/
c
loo
g
/domain
.
h: avoid use of
C++ keyword "templat
e
"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add isl
b
a
c
kend
commit
|
commitdiff
|
tree
2008-10-14
S
v
en
V
erdoolaeg
e
optio
n
s
.
c: remove -r
a
ys option
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n
V
erdoolae
g
e
Handle 0D
p
r
o
blems
by
adding a 0th level
t
o the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
S
v
e
n
Ve
r
d
o
olaege
c
l
oo
g
_lo
o
p_m
e
rge: ensure loop domai
n
s
are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdool
a
ege
ins
e
rt_guard: m
a
ke su
r
e
coeffici
e
nt in left h
a
n
d si
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
ve
n
Verdoolaege
i
nsert_guard: avoid out-of-bounds access
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Ver
d
oolaege
Introduce Cl
o
ogConstraint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Rename CloogConstra
i
nts to Cloog
C
onstraintS
e
t
commit
|
commitdiff
|
tree
2008-10-02
S
ven Verd
o
o
laeg
e
fix typos in insert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
do
o
laege
cloog_domain_print
_
stru
c
ture: print all polyhe
d
ra in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
Verdoolae
g
e
Let cloog
_
domain_lowerbound_update
r
eturn the updat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
V
erdoolaege
Combine c
l
oog_scattering_lazy_isscala
r
a
nd c
l
oog
_
scatt
e
rin
g
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verd
o
olaege
include/cloog/domain
.
h: remove
de
c
larations
o
f
(un
u
sed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
ven Verd
o
olaege
t
e
st
/
tes
t
_ru
n
: only check si
m
plified hull
g
enerations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoolaege
test
/
test_run:
a
l
so check correctness of
sim
p
l
i
fied
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
doolaege
cloog_domain_sim
p
lify:
a
void
o
ut-of-boun
d
s array
ac
c
ess
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
Verdoo
l
aege
T
reat
p
arame
t
er domains
d
i
fferently
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoo
l
aege
Change seman
t
ics of cloog_do
m
ain_c
u
t_first
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
doolae
g
e
cloog_d
o
m
ain_is
e
mpty: accept NULL
argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
c
loo
g
_domain_empty: make empty doma
i
n using
t
e
mpl
a
te
.
.
.
commit
|
commitdiff
|
tree
next