repo.or.cz
/
cloog
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
CLooG 0.16.2
2009-03-09
Sv
e
n Verdoola
e
ge
remove
c
pp option (defaulting to true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ver
d
o
o
laeg
e
tu
r
n
on "equality spreading" (esp) by
d
efault
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sve
n
V
erdoolaege
re
m
ov
e
csp option (defaulting to
t
rue)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
p
rint executi
o
n time agai
n
if sys/resource
.
h
is a
v
ailable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
S
v
en Verdo
o
laege
only print ex
e
cution time if sys/resou
r
ce
.
h is avai
l
able
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Ve
r
dool
a
ege
isl backend: support exis
t
ent
i
ally
quanti
f
i
e
d variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolaege
is
l
backend: drop existentials
when co
m
puting fal
l
back
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
u
pdate
isl for
p
lug for is
l
_map_simp
l
e_hull
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n
V
e
rd
o
o
laege
u
pdate isl for chang
e
d callin
g
conventions
of isl_basic
_
s
et_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n Verdoolaege
up
d
ate i
s
l for chang
e
i
n
ca
l
ling con
v
entio
n
of s
o
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Ve
r
dool
a
ege
u
pdat
e
is
l
f
o
r
r
efcounted isl_c
o
n
s
t
r
aint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaeg
e
u
pdate isl for intr
o
d
u
c
t
ion of isl_dim
s
tructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
er
d
oolaege
clas
t
.
c: insert_g
u
ard: i
n
sert modu
l
o
guards ba
s
ed on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verd
o
olaege
clast
.
c
: extract o
u
t clo
o
g_constraint_set_n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
e
ge
clast
.
c: extract out common
c
loog_constrai
n
t_vari
a
ble
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoola
e
ge
clast: allow clast_term to r
e
pr
e
s
ent mul
t
ipl
e
of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
eg
e
clast
.
c: extract
ou
t
common
c
loog_na
m
es_name_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n Verdoolaege
minor changes to
C
loogConstrai
n
t abs
t
raction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdool
a
ege
Fix up
op
t
ional inclus
i
o
n
of
b
a
ckup mp_get_
m
em
o
ry
_
functions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdo
o
l
aege
clo
o
g
/
constraints
.
h:
d
on't pu
t
#include's
i
nside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verd
o
o
l
aege
drop un
u
s
ed cloog_constrai
n
t_
s
e
t
_
co
u
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven Verdoolaeg
e
A
dd b
a
ckup mp_
g
e
t_mem
o
ry_f
u
nctions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
S
ven Verdoolae
g
e
update is
l
for compatibility
with old gmps
commit
|
commitdiff
|
tree
2008-11-11
S
v
en Verdoolaege
u
pd
a
te isl fo
r
im
p
roved pi
p
lib
efficiency
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
L
ook for
m
ore opportu
n
ities f
o
r
blocking stat
e
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
cloog_progr
a
m_r
e
ad: delay con
s
truction o
f
blocklis
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoola
e
g
e
cloog_loop_separate: combine loops wi
t
h identical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdoolaege
cloog_loop_separate: mi
n
or
clean-u
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdo
o
laege
cloog_loop_separate:
e
xploi
t
disjointnes
s
of loop domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoolaege
cl
a
st
.
c: sort
e
qua
t
ions in guard clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verdo
o
l
aege
Optiona
l
ly
r
efrain from
p
rinting an
y
informationa
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven
Verdoolaege
clast
.
c: don't insert any "scalars" fo
r
level 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en Verdool
a
e
g
e
sour
c
e/isl: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en Ver
d
oolaeg
e
Explicitly speci
f
y
-
rpath for
l
ibtool librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
i
ncl
u
de/cloog/do
m
ain
.
h
:
avoid use of
C
++ keyword
"
templ
a
te"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verd
o
olae
g
e
a
dd isl ba
c
k
e
n
d
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoolaege
options
.
c
:
r
e
move -rays opt
i
on
commit
|
commitdiff
|
tree
2008-10-03
Sven V
e
rd
o
olaege
Handle 0D problems by adding a 0th leve
l
to
the
mai
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdool
a
ege
c
loog_loop_
m
erge: ensure l
o
op dom
a
ins are c
o
n
v
ex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
d
oolaege
i
nsert_guard: make su
r
e c
o
effici
e
n
t
i
n
left ha
n
d side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaeg
e
inser
t
_guar
d
: avoid out
-
of
-
bounds access
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoo
l
aege
Introdu
c
e C
l
oog
C
o
n
stra
i
nt abstrac
t
ion
commit
|
commitdiff
|
tree
2008-10-02
S
ven Ver
d
oolae
g
e
Re
n
ame
C
loogConstr
a
ints to
C
loogConstrai
n
tSet
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
fix typo
s
i
n
i
nsert_l
o
op
comments
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Ve
r
doolaege
cloog_
d
omain_p
r
int_structur
e
: print all polyh
e
d
r
a
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
Let cloo
g
_domain_lowerbound_update return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
C
o
m
b
ine cloog_scat
t
ering_lazy_isscalar and
c
l
oog_scat
t
er
i
ng
_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erdoolaege
include/cloog/
d
o
m
ain
.
h: r
e
move dec
l
arations of
(unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven
V
erd
o
olaege
te
s
t
/
test_ru
n
:
o
nly check s
i
mplified hul
l
g
enerations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
ola
e
g
e
test/test_run:
a
l
so check c
o
rrectn
e
ss of
si
m
pli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
cloog_domain
_
simpli
f
y: avoid out-of-bounds array
a
ccess
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Treat parameter domains d
i
ffer
e
ntly
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Change se
m
antics of cl
o
og_do
m
ain_cut_f
i
rst
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ve
r
doolaege
clo
o
g_domain_isempty: acce
p
t NUL
L
argu
m
ent
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verdoolaeg
e
cloog
_
domain_empty
:
ma
k
e
e
mpty domain using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaeg
e
Inform funct
i
on read
i
ng in scattering function of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolae
g
e
pass the number of pa
r
ame
t
ers
t
o functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ve
n
Verdoolaege
introduce CloogScat
t
ering abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
m
a
ke textual tests backend dependen
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
sort el
e
m
ents of
min an
d
max reduct
i
on
clasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
allow
ou
t
-
o
f-src
t
est f
i
l
e
genera
t
ion
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Remove lines referring to
"
nu
m
ber of po
l
yh
e
dr
a
" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
P
a
ss
C
loogOptions to function re
a
d
i
n
g
(
l
i
sts of
)
d
o
m
ains
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
allow
b
ac
k
ends to hav
e
their ow
n
opti
o
ns
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
c
onfi
g
ure: h
a
ndle gmp a
n
d polylib "
s
ub
m
odule
s
" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
c
r
e
ate backend (PolyLib)
specific library
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Ver
d
oolaeg
e
re
m
o
ve dependence on PolyL
i
b
f
rom c
l
oog
core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
T
e
s
t
correctnes
s
of
g
enerated
c
ode
,
witho
u
t
requi
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
r
d
oolae
g
e
add cl
o
o
g_
d
o
m
ain_cube function, returni
n
g a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
er
d
oolaege
Let cloog
_
d
oma
i
n_
u
niverse return a uni
v
ersal
d
o
m
a
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Replace use of Value
in
cloog c
o
re by new cloog_int_t
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
abstract out CloogMatrix
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
clast
.
c: us
e
CloogEqualities and CloogC
o
nstraints ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
C
l
oogBlock
:
re
m
ove
u
nused scatter
i
ng field
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
avoi
d
use of matrices in source/program
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
co
m
plete CloogDomain abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
d
omain
.
c
: remove
s
ome un
u
sed
functions
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdo
o
laege
move cl
o
og_value_{up,down}
o
ut
o
f domain
.
c
commit
|
commitdiff
|
tree
2008-09-15
S
ven
Verd
o
olaege
perfo
r
m spe
c
ial options tests in a l
o
op
commit
|
commitdiff
|
tree
2008-09-15
Sven Verd
o
olaege
t
e
sts
:
print unif
i
ed diff betw
e
en expected
a
nd ob
t
a
i
ned
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven V
e
rdoolaege
Add -c
a
llable option for g
e
neratin
g
code
t
o
b
e us
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdool
a
e
g
e
m
a
ke defau
l
t CFLAG
S
overri
d
a
ble
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoola
e
ge
cloog_
n
a
m
es_read_strings: fix
c
heck for sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
R
e
mo
v
e
esce
d
k test
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
Fix up vi
v
ien and vivien2 tests
commit
|
commitdiff
|
tree
2008-09-11
Sven Verdoolaege
Fix
cloog_domain_la
z
y
_disjoint
commit
|
commitdiff
|
tree
2008-09-06
Sven Verdo
o
laeg
e
fix m
e
mory leak in clast construction
commit
|
commitdiff
|
tree
2008-09-02
S
v
e
n
V
erdoolaege
add exam
p
l
e
s
s
ubdir
e
c
tory to the d
i
s
t
ribution
commit
|
commitdiff
|
tree
2008-08-31
Sven Verdoolaege
Manual
l
y
generate pdf fi
l
e using texi2dvi
commit
|
commitdiff
|
tree
2008-08-06
S
v
en Verdoolaege
source/
c
last
.
c: detect pairs of in
e
qualities t
h
at u
n
ique
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolae
g
e
configure: don't check po
l
ylib header f
i
le on -
-
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sven Verdool
a
ege
co
n
figure: fi
x
detect
i
on of
polyl
i
b
src
d
ir when --with
.
.
.
commit
|
commitdiff
|
tree
2008-04-10
Sven Verdo
o
laege
clast_s
t
m
t: re
p
lace t
y
pe by vtable
i
dent
i
fying the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
Remo
v
e doc/cloog
.
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolae
g
e
config
u
re
.
in: don't requ
i
re
p
olylib
t
o ha
v
e been compiled
.
.
.
commit
|
commitdiff
|
tree
2008-03-07
Sv
e
n Verdoolaege
doc/Makefile
.
am: add rule t
o
compi
l
e doc
u
m
entation
commit
|
commitdiff
|
tree
2008-03-07
Sve
n
Verdoolae
g
e
cloog_l
o
op_sc
a
l
a
r_sort: s
i
mplify i
t
eration ov
e
r
l
oops
commit
|
commitdiff
|
tree
2008-02-23
Sven V
e
rdoolaege
clo
o
g_names_gene
r
ate_items: fix g
e
neration
o
f more
.
.
.
commit
|
commitdiff
|
tree
2008-02-23
S
v
e
n
Verdoo
l
aege
Correctly p
r
int
ve
r
s
ion number
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaeg
e
configure: a
l
low specification
of exec-pr
e
fix of PolyLib
.
.
.
commit
|
commitdiff
|
tree
next