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
isl backend: clean up reading functions
2009-03-09
S
v
en
Verdoo
l
aege
turn o
n
"equality
spr
e
ading" (esp) by defaul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdoolaege
remove csp
option (defaultin
g
to true)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
pr
i
nt execution time again if s
y
s/resourc
e
.
h is av
a
i
lable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoolaege
isl ba
c
ken
d
: support
existential
l
y
qu
a
ntified variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
is
l
backend:
d
rop e
x
istenti
a
ls wh
e
n computing fal
l
ba
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
ol
a
ege
update i
s
l for plug for isl_map
_
simple_hull memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update
i
sl
f
or changed calling
conve
n
t
i
ons of isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl for
ch
a
nge in
c
alling conv
e
nt
i
on of
s
ome
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
update isl f
o
r refcounted isl_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
a
e
g
e
update is
l
f
or introdu
c
t
i
o
n
o
f isl_dim struc
t
ur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
clast
.
c: insert_gua
r
d: insert modulo guards
based o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
l
ast
.
c: ext
r
act ou
t
cloog_constraint_set_n_it
e
r
a
tors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c: ex
t
ract o
u
t commo
n
cloo
g
_constra
i
n
t
_variable
_
e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
l
ast: allow clast
_
term to represent m
u
ltipl
e
of any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdo
o
laege
clast
.
c: extra
c
t out com
m
o
n
cloog
_
names_name_at_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
minor
c
hanges to
C
l
oogCon
s
traint
abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
F
ix
up option
a
l
i
nclusio
n
o
f backup mp_get_memory_fun
c
t
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven Verdoolaege
cloog/c
o
n
s
traints
.
h: don'
t
p
ut #include's ins
i
de e
x
tern "C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Verdoolaege
dr
o
p
unused cl
o
og_constraint
_
set_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-12-02
Sven
V
erdoolae
g
e
A
dd ba
c
kup mp_get_
m
emory
_
functions implementatio
n
for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven V
e
rdoolaege
updat
e
isl fo
r
compatibility wit
h
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaege
update isl for improved piplib
e
ffic
i
en
c
y
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
Look for more
o
ppor
t
u
n
i
t
ies for
b
locking
s
t
a
t
e
m
e
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n Verdoolaege
cloog_pro
g
r
am_read: delay co
n
s
t
ru
c
tion of bloc
k
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en V
e
rdoolae
g
e
cl
o
og_loop_separ
a
te: combine l
o
ops with identical domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven V
e
rd
o
ol
a
e
g
e
cloog_loo
p
_
s
e
parate: minor clean-ups
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaege
clo
o
g_loop_separate: e
x
ploit
d
isjointnes
s
of loop domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n Verdoolaege
cl
a
st
.
c
: sort equa
t
ions
i
n gua
r
d cla
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en V
e
rdoolaege
Optionally refra
i
n from p
r
inting
any informat
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven
V
er
d
oolaege
clast
.
c: d
o
n't
i
ns
e
rt any "scalars" for level 0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoo
l
aege
so
u
rce/isl:
fix t
y
p
o
s
in
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
ge
Explici
t
ly s
p
ecif
y
-rpat
h
for l
i
btool
libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-10-14
Sve
n
Verdoolaege
include/clo
o
g
/
domain
.
h: a
v
oid use of C++
k
eyword "template"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
a
e
ge
add isl bac
k
end
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Ver
d
oolaege
options
.
c: r
e
move -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdoolaeg
e
H
a
ndle 0
D
probl
e
ms by adding
a 0th leve
l
to
the main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n
Verdoolaege
cloog
_
loop_me
r
ge:
ensure loop
d
omain
s
are conv
e
x, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
en Verdo
o
laege
ins
e
r
t
_guard:
make
sure coefficient in left hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
insert_guard:
avoid out-of-b
o
unds access
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
In
t
ro
d
uce CloogConstr
a
int
a
b
s
traction
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n
Verdoolaeg
e
Rename CloogConstraint
s
to Clo
o
g
ConstraintSet
commit
|
commitdiff
|
tree
2008-10-02
Sven
V
erdoola
e
ge
fi
x
t
y
pos in i
n
ser
t
_
l
oop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
clo
o
g_doma
i
n_p
r
int_structure: pri
n
t all po
l
yhedra
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
Verdoolaege
Let cloog_domain_lowerbound_update
r
e
t
urn the
updated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sv
e
n Verdoolaege
Combine clo
o
g
_
scattering_lazy_isscal
a
r and cloog
_
s
catter
i
ng_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoola
e
ge
include/
c
loog/domain
.
h
:
remove de
c
larations of (un
u
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n
Verdoolaege
te
s
t/test_run: only
check simp
l
if
i
e
d
hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
te
s
t/te
s
t_run
:
also check
c
orrectness o
f
simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
c
l
oo
g
_domain_simpli
f
y:
a
vo
i
d out-of-bounds array access
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n
V
erdo
o
l
a
e
ge
Treat par
a
meter domains differen
t
l
y
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
Change semantics of clo
o
g_do
m
ain_cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdo
o
l
a
ege
cloog_domain_
i
sempty:
a
ccept
NUL
L
argum
e
nt
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoolaege
cl
o
og_domain
_
empty:
make empty domain using tem
p
late
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
Inform function read
i
ng in sc
a
t
teri
n
g function
o
f
doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
p
ass th
e
n
umbe
r
of parameters to funct
i
ons reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verd
o
olaege
introduce C
l
oogScattering
a
bstract
i
on
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaeg
e
make
t
extual
tests ba
c
kend dependent
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
dool
a
ege
s
o
rt eleme
n
ts of min and max reduction cl
a
s
ts
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoo
l
aege
al
l
o
w o
u
t-of-src
test
f
ile
g
eneration
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
r
doolaege
Remov
e
lines referr
i
ng to "number
o
f polyhedra
"
in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
Pass Clo
o
gOpti
o
n
s
t
o
function rea
d
i
ng (lists of) domain
s
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoola
e
g
e
all
o
w backends
to have t
h
eir
ow
n
options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdool
a
ege
co
n
f
i
g
ure: handle gmp and poly
l
ib
"
s
ubmodu
l
es
"
in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaeg
e
cre
a
te bac
k
end (Poly
L
ib) spe
c
ific library
commit
|
commitdiff
|
tree
2008-09-23
S
v
en
V
erdoolaege
remove dependence
on P
o
lyL
i
b fro
m
cloog core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olae
g
e
T
e
st correctness of generated
code,
w
i
t
hout req
u
iring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaeg
e
add
cloog_domain_c
u
be functio
n
, returning a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Let
cloo
g
_dom
a
in_universe return a univ
e
rsa
l
do
m
ain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoola
e
ge
Rep
l
a
ce use of Value in cloo
g
core by new cloog_int_t
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdo
o
l
ae
g
e
abstract out CloogMatrix
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
c
last
.
c: use C
l
oogEqualities and Clo
o
gCons
t
rai
n
ts
instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ve
r
doolaege
CloogBlock: remove unused scattering
f
i
eld
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdo
o
laege
avoid u
s
e of
matrice
s
in sourc
e
/
p
rogra
m
.
c
commit
|
commitdiff
|
tree
2008-09-23
S
ven Ver
d
oolaege
complete Cloog
D
omain
abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erdoolaege
domain
.
c
:
remove some unused functions
commit
|
commitdiff
|
tree
2008-09-16
S
v
e
n
Verdoo
l
aege
move cloog_va
l
ue_{up,down} out
of
domain
.
c
commit
|
commitdiff
|
tree
2008-09-15
S
ve
n
Ve
r
dool
a
e
g
e
p
e
rform specia
l
options tests in a
loo
p
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n Verdo
o
laege
tests: print
u
ni
f
ied
d
iff be
t
ween e
x
p
ected an
d
obtained
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
ven Verd
o
olaege
Add -callable opti
o
n fo
r
generati
n
g code to be used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Ver
d
oo
l
aege
make default CFLAGS
overrid
a
bl
e
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verdo
o
laege
clo
o
g_
n
ames_read_strin
g
s: fix check for s
u
fficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolae
g
e
Remove
e
scedk test
commit
|
commitdiff
|
tree
2008-09-15
Sv
e
n
Verdoolaege
Fix
u
p vivie
n
a
n
d
v
ivien
2
t
e
sts
commit
|
commitdiff
|
tree
2008-09-11
Sven Verd
o
o
laege
Fix cloo
g
_do
m
ain_lazy_disjoint
commit
|
commitdiff
|
tree
2008-09-06
Sven
Ver
d
oolaege
fix
m
em
o
ry leak in clast
c
onstruction
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Ve
r
doolaege
a
d
d
e
xampl
e
s subdirectory to
t
h
e distributi
o
n
commit
|
commitdiff
|
tree
2008-08-31
Sven
Verdoola
e
ge
Manually generate pd
f
file
u
sing texi2d
v
i
commit
|
commitdiff
|
tree
2008-08-06
Sven Ver
d
ool
a
ege
sou
r
c
e/cla
s
t
.
c: de
t
ect pairs of
i
n
equaliti
e
s t
h
at uniquely
.
.
.
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: d
o
n't check polyli
b
h
eader file on --with
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
S
v
en Verdoolaege
configur
e
:
f
ix detecti
o
n of polylib srcdir
when --w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-10
Sven
V
erdoolaege
c
l
ast_stmt:
r
eplace type b
y
v
t
ab
l
e identif
y
in
g
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaege
Remo
v
e
doc
/
cloog
.
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
confi
g
ure
.
in: don't r
e
quire polylib to have be
e
n co
m
pi
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-07
Sven Verdoolae
g
e
do
c
/Makefile
.
am: add rule to compile
d
o
cumentatio
n
commit
|
commitdiff
|
tree
2008-03-07
Sv
e
n
Verdoolaege
cloog_loop_sc
a
lar_
s
ort: si
m
plify iterat
i
o
n over loops
commit
|
commitdiff
|
tree
2008-02-23
Sven Verd
o
o
l
a
e
g
e
cloog_names_generate_it
e
ms
:
f
ix generation of more
.
.
.
commit
|
commitdiff
|
tree
2008-02-23
Sven Verdoolaege
Corre
c
tly print v
e
rsion
number
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
c
o
nfigur
e
:
a
llow specificat
i
on of
e
xec
-
pre
f
ix of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-08-01
Sv
e
n Ver
d
oolaege
configure: replace --with-polyl
i
b-{i
n
clude,lib
r
a
r
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
Don'
t
d
e
fine CLOOG_MEMORY by default
commit
|
commitdiff
|
tree
next