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
remove cpp option (defaulting to true)
2009-03-09
Sven Verdoolae
g
e
remo
v
e cpp
option (de
f
aulting to
true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdo
o
la
e
g
e
t
u
rn on "equal
i
ty
spreading" (
e
sp) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sv
e
n V
e
rdoo
l
aege
remove
c
s
p
option (defaulting to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
eg
e
print execution ti
m
e again if sys/resource
.
h is availabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
isl backend:
s
u
ppor
t
existentially quantified vari
a
b
l
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaeg
e
isl b
a
ck
e
nd: drop e
x
istentials when computing fall
b
ack
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
e
n Verdo
o
laege
update isl fo
r
plug for isl_
m
ap_s
i
mpl
e
_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolae
g
e
update
i
sl for change
d
c
allin
g
conventions o
f
isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
lae
g
e
update isl for cha
n
ge
i
n calling convention of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdool
a
ege
upda
t
e isl for refc
o
unted
i
sl_
c
onstrain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update
i
sl for introduction of i
s
l_di
m
structu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
clast
.
c: inser
t
_gu
a
r
d: i
n
se
r
t
modulo guards based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n
Verdoo
l
a
e
ge
clast
.
c: extract out cloog_constraint_set_n_
i
tera
t
or
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
r
doolaege
clast
.
c
:
extract o
u
t
co
m
mon c
l
o
og_constraint_va
r
iabl
e
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolae
g
e
c
la
s
t: allow
c
last_term to represent m
u
ltiple o
f
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: extract out
c
ommon cloog_names_name
_
at_
l
e
vel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaeg
e
minor
c
h
anges to Cl
o
ogConstraint abstractio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
F
i
x up
o
p
tional inclusion of b
a
ckup mp_get_memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
cloog/constra
i
nts
.
h: don't put #include's i
n
side
e
xt
e
rn "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven
Verdo
o
lae
g
e
drop u
n
used cloog_c
o
ns
t
ra
i
nt_se
t
_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n Verdool
a
ege
Add
b
a
ckup mp_get_me
m
ory_functions implementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven
Verdoolaege
update
i
sl for compatibility wit
h
ol
d
gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven
V
erdoolaege
update isl
f
or improved piplib
effi
c
ien
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdoo
l
aeg
e
Look
for more
o
pportunities
f
o
r bl
o
cking s
t
atem
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
cl
o
o
g
_program_read: de
l
ay construction
o
f blocklist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rdoolaege
c
l
o
og_loop_separate:
combine loop
s
with identical
dom
a
i
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Ver
d
oolaege
cloog_
l
oop
_
separate: mi
n
or
c
lean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en V
e
rdoolae
g
e
clo
o
g_loop_se
p
arate:
exploit di
s
jointness of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
ven V
e
rdoolaege
c
last
.
c: so
r
t equations
in guard c
l
as
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Verdool
a
ege
Option
a
ll
y
r
e
frai
n
f
r
om prin
t
ing any info
r
mati
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven V
e
rd
o
olaege
c
l
a
st
.
c: don't in
s
ert
a
ny "scal
a
rs" for level
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
en
Verdool
a
ege
s
ou
r
ce/
i
sl: fix t
y
pos in
co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
S
v
e
n
Verdool
a
ege
Explicitly specify -r
p
ath
for
l
ibtool libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoolaege
inc
l
ude/c
l
oog/
d
oma
i
n
.
h:
avoid use of C
+
+ ke
y
word "template
"
commit
|
commitdiff
|
tree
2008-10-14
Sven V
e
rdoo
l
a
ege
a
d
d
isl backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
o
p
t
ions
.
c: remove -r
a
ys option
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Ve
r
doolaege
H
a
ndle 0D problems
b
y
ad
d
ing a 0th l
e
vel to the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaeg
e
cl
o
og_loop_merge:
en
s
ure lo
o
p
d
o
ma
i
ns are convex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolae
g
e
insert_g
u
ard: make sure coe
f
ficien
t
in left h
a
nd side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdo
o
laege
insert_guard: avoid out-of
-
bounds access
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdoolaege
Introduce CloogConstr
a
i
nt
a
bs
t
r
a
ction
commit
|
commitdiff
|
tree
2008-10-02
S
ven Ve
r
d
oolaege
Rename Cl
o
ogConstraints
t
o
CloogConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
S
ve
n
Verdoolaege
fix
typos in i
n
sert_
l
oop
c
o
m
ments
commit
|
commitdiff
|
tree
2008-09-28
Sve
n
Verdoo
l
a
e
ge
c
l
o
og_do
m
ain_print_str
u
cture: print a
l
l polyhed
r
a in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verd
o
olaege
Let cloog
_
dom
a
in_lower
b
ound_update return the updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdo
o
laege
C
o
mbin
e
cloog_scattering_lazy_iss
c
a
l
ar and cloog_
s
cat
t
ering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
V
e
rdoolaege
in
c
lude/cloog/domain
.
h:
remove declarations of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n V
e
rdool
a
ege
test/test_run: o
n
ly check simpli
f
ied hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaeg
e
t
est/t
e
st_
r
un: als
o
c
h
eck cor
r
ect
n
e
ss of simplif
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog
_
domain_s
i
mplif
y
: avoid out-of
-
bounds array a
c
cess
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
Treat parameter domains diffe
r
en
t
ly
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoo
l
aeg
e
C
h
a
nge semantics o
f
cloog_domain
_
cut
_
first
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
e
rdoolaege
c
loog_do
m
a
i
n_i
s
emp
t
y:
a
ccept NULL argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolae
g
e
cloog_domain_empty: make empty doma
i
n using templ
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
In
f
or
m
func
t
ion r
e
ading in s
c
attering
f
unct
i
o
n
of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
r
doolaege
p
a
s
s
the numb
e
r of
parameters to functions
reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n Verdo
o
laeg
e
introduce Cloog
S
ca
t
tering
abstr
a
ct
i
o
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
make textu
a
l tests backend
dependent
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
sort elements of min an
d
max reduction cl
a
sts
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verd
o
olaege
allow out-of-
s
r
c
te
s
t file generation
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Remove lin
e
s
re
f
er
r
ing to "number of polyhedr
a
" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoola
e
ge
Pass Clo
o
gO
p
t
ions to functio
n
re
a
ding
(
l
i
sts of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
allow back
e
nds to have their
o
wn
options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
configure: handle gmp and polylib
"
submod
u
les" in
a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
e
rdoolaege
create ba
c
kend (
P
oly
L
ib) spe
c
ific library
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdo
o
l
aege
remove dependence on PolyLib from cloog core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Test correctness of generated code, withou
t
requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoo
l
aege
a
d
d
cloog
_
domain
_
cube function, retu
r
ning a cube o
f
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ver
d
oolaege
Let cloog_d
o
main_universe return
a universal domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Re
p
lace
u
se of V
a
lu
e
i
n
c
l
oog cor
e
by
n
ew c
l
oog_int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
abstract out C
l
oogMatrix
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
cl
a
st
.
c: use C
l
o
ogEqualities and Clo
o
gConstraints inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
CloogBlock: remove unu
s
ed
scatt
e
ring fiel
d
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
avoid use of
mat
r
ices in s
o
urce/prog
r
am
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
c
omplete CloogDomain a
b
st
r
a
c
tion
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
dom
a
i
n
.
c:
r
e
m
o
ve
s
ome unus
e
d functions
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
move cloog_v
a
lue
_
{u
p
,
d
own} out of
d
omain
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n Verdoo
l
aege
perform spec
i
al
options t
e
sts
i
n a lo
o
p
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoo
l
aege
test
s
: pr
i
nt unified diff between expect
e
d and ob
t
ained
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n Ve
r
doolaege
Add -callable opti
o
n for generating
c
o
d
e to b
e
use
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Ve
r
dool
a
e
g
e
mak
e
defau
l
t
CFLAGS ov
e
r
r
idable
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
clo
o
g_names_read_
s
trings: fix check for suffici
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolae
g
e
R
emove escedk
test
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n Ver
d
oolaege
Fix up vivien an
d
vivien2
tests
commit
|
commitdiff
|
tree
2008-09-11
Sve
n
Verdoolae
g
e
Fi
x
c
l
oo
g
_domain_lazy_
d
isjo
i
n
t
commit
|
commitdiff
|
tree
2008-09-06
S
ven Ver
d
oolaege
fix memory
l
e
a
k in clast construct
i
on
commit
|
commitdiff
|
tree
2008-09-02
Sven
Ver
d
oolaege
a
d
d
exam
p
les
s
u
bdirec
t
ory to
t
he di
s
tr
i
bution
commit
|
commitdiff
|
tree
2008-08-31
Sven
Verdoo
l
a
e
g
e
Manually gene
r
ate pdf file
us
i
ng texi2d
v
i
commit
|
commitdiff
|
tree
2008-08-06
Sven Verdoolaege
source/clast
.
c: dete
c
t
p
a
irs of i
n
e
q
ualities
that uniquely
.
.
.
commit
|
commitdiff
|
tree
2008-06-12
S
v
en V
e
rdoolaege
confi
g
u
r
e: don't ch
e
ck polylib
h
e
ader file on --wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sven Verdoolaege
configure:
fix detection of polylib srcd
i
r when --with
.
.
.
commit
|
commitdiff
|
tree
2008-04-11
Louis-Noel Pouchet
R
ename
c
last_line
t
o clast_bound
_
from_constraint, and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-11
Lou
i
s-Noel P
o
u
c
het
Extend C
l
oogProgram, CloogLo
o
p
a
n
d CloogBloc
k
structure
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-10
Sven Verdoola
e
g
e
c
last
_
stm
t
:
replace type by vta
b
le ident
i
fying the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-08
L
ou
i
s-Noel Pouchet
Add missin
g
in
c
lusive protectio
n
he
a
der guard in cloog
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-08
L
o
uis-Noel Pouchet
Change #define Cl
o
ogM
a
trix to
t
ypedef equivalent
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ola
e
ge
Remove doc/cloog
.
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
co
n
figure
.
in: don
'
t require polyl
i
b to have
been compiled
.
.
.
commit
|
commitdiff
|
tree
2008-03-07
Sven
Ve
r
doo
l
aege
doc/
M
ak
e
file
.
am: a
d
d ru
l
e to compile
d
ocume
n
tation
commit
|
commitdiff
|
tree
2008-03-07
Sven Verdoolaege
c
loo
g
_loop_scalar_so
r
t: simplify
it
e
rat
i
on over loops
commit
|
commitdiff
|
tree
next