repo.or.cz
/
cloog-ppl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
split out cloog_translate_constraint, needed later for domain_difference
2008-07-11
S
e
b
asti
a
n Pop
split out
cloo
g
_translate_
c
onstraint,
needed later
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
ported a
d
dconstra
i
nts
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebas
t
i
a
n Pop
warn on the usage of do
m
a
i
n_project
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
remove unn
e
cess
a
ry
c
heck
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
enable PPL vers
i
on
o
f
do
m
ain_project no
w
th
a
t escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian
Pop
remove test esce
d
k
.
cloog
from the testsuite
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
porte
d
domain_extend
t
o PPL, stil
l
with
e
s
ce
d
k
.
cloog
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Sebastian Pop
Ported cloog_domain_projec
t
,
but not enabled
.
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astian
Pop
c
l
ean up
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastia
n
Pop
d
o
n't
use cloog_pol
y
hedron_nbe
q
.
commit
|
commitdiff
|
tree
2008-07-05
S
ebastian Pop
don't use cl
o
og_pol
y
h
e
d
ro
n
_d
i
m
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don't us
e
cloog_polyhedron
_
n
b
c
.
commit
|
commitdiff
|
tree
2008-07-05
S
ebast
i
an Pop
don't
use clo
o
g
_
pol
y
hedron_ne
x
t
commit
|
commitdiff
|
tree
2008-07-05
Sebastian
P
op
Make domain_union work with PPL:
don't use
P
o
l
yhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
S
eb
a
st
i
a
n Pop
add cloog
d
omain deb
u
gging at every operation
commit
|
commitdiff
|
tree
2008-06-17
Sebastian Po
p
rename and add ->next to
the union of poly
h
e
d
ra
commit
|
commitdiff
|
tree
2008-06-17
Sebas
t
ian Pop
w
r
ap p
o
lyhedron in
a
n a
d
ditional s
t
ructure f
o
r b
e
ing
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebastian Pop
new debugging fun
c
tion
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
CloogDomain is a union of convex polyhedr
a
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
Pop
don't use polyhedron->next
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an
P
o
p
s
i
m
plify domain
c
hecking function
commit
|
commitdiff
|
tree
2008-06-13
Sebastia
n
Pop
abstract domains checking t
o
a se
p
ara
t
e function
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
fix typ
o
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
CloogDomain belongs
t
o the
b
ack
-
end
commit
|
commitdiff
|
tree
2008-06-13
Sebastia
n
Pop
remove unu
s
ed
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian Pop
do
m
a
i
n intersection
port fo
r
PPL
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astia
n
Pop
don't use memory tracking for
matrix alloc
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Po
p
first shot at
t
he PPL to
Polylib
trans
l
a
t
ion
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian Pop
firs
t
s
h
ot at translating Polylib matrices to PPL
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n
P
o
p
init
i
al
i
ze and finalize cloog lib
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Pop
add initializ
a
tion
f
unc
t
ions
for clo
o
g
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
d
o
n't use
cloog
_
d
o
m
a
in_leak_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astian Po
p
make cloog compile with
gmp
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
include cond
i
ti
o
nall
y
ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian
Po
p
Cloog sh
o
uld n
o
t
be con
f
igur
e
d
with b
o
th PP
L
and Pol
y
Lib
commit
|
commitdiff
|
tree
2008-06-11
S
e
b
astia
n
Pop
remove
unuse
d
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
don't
u
se PPL
i
f not configured with
-
-w
i
th
-
ppl
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
ian Pop
print somethi
n
g when
a
n opera
t
i
on is not suppor
t
ed
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
don't support cloog_domain_si
m
ple
_
convex:
l
eft for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
S
e
bast
i
an
P
op
r
e
move com
m
ent specific to
polyl
i
b
commit
|
commitdiff
|
tree
2008-06-10
S
ebast
i
a
n
Po
p
r
u
n
indent, no other cha
n
ges
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
d
on't fail w
h
en one of the polyhedral libs
i
s not present
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
a
dd conf
i
gure bits fo
r
PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
add
a
back-end for PPL
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
t
i
an Po
p
move matri
x
.
h to p
o
lylib bac
k
-en
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
move
c
last
.
c
t
o polylib
b
a
c
k
-en
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
removed a
l
l
use
s
of Cloo
g
Matr
i
x from
.
h files
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
remove
u
s
age of Mat
r
i
x
from clast
.
h
:
make that
f
u
n
ction
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Se
b
a
sti
a
n
P
op
remove unused
block-
>
scattering
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
remove unused declarat
i
ons
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
o
p
f
i
x
c
r
aziness
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
never use ->parameters
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
never use ->iterat
o
rs
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
nev
e
r use ->scalars
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use -
>
nb_
p
ar
a
meter
s
commit
|
commitdiff
|
tree
2008-06-10
S
e
bas
t
ian Pop
never
u
se ->nb_it
e
rators
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
o
p
never use ->nb_scatterin
g
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use
-
>nb_s
c
alars
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
n
ever
use ->block
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
neve
r
u
s
e ->next
commit
|
commitdiff
|
tree
2008-06-10
S
e
ba
s
ti
a
n Pop
never
u
se
-
>n
e
xt
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never
use
-
>
number
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stia
n
Pop
n
ever
use -
>
usr
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never u
s
e ->usr
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
never
u
se ->ref
e
r
en
c
es
commit
|
commitdiff
|
tree
2008-06-10
S
ebast
i
an Pop
ne
v
er use ->re
f
eren
c
es
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
neve
r
use ->depth
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
an Pop
never use ->sc
a
ldims
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->nb_s
c
aldim
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never
u
se -
>
sc
a
ttering
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astia
n
Po
p
n
e
ver use ->scatte
r
ing
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
never use ->s
t
ate
m
e
n
t
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
fo
o
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
move p
o
lylib specific functio
n
to polylib bac
k
end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
re
m
ove u
n
used
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
move pol
y
lib s
p
e
ci
f
ic function to polylib backend
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian
P
op
remov
e
crazy fprintf'
s
to stderr: move p
o
lylib
specific
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
move polyli
b
specific
func
t
ions in the domain
.
c p
o
l
yl
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
S
e
bast
i
an Po
p
move pol
y
l
ib specific
functions in t
h
e doma
i
n
.
c
poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
ia
n
Pop
never use loop->n
e
xt
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use
l
o
op->inner
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
n
ever use
l
oop->usr
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->block
commit
|
commitdiff
|
tree
2008-06-09
Sebastian P
o
p
never use loop->st
r
id
e
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never
u
s
e
->d
o
main
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
stian Pop
n
ever use ->next
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->dom
a
in
commit
|
commitdiff
|
tree
2008-06-09
Sebastian
P
op
neve
r
u
s
e ->pol
y
hedron
commit
|
commitdiff
|
tree
2008-06-09
S
ebas
t
ian Pop
never u
s
e ->references,
m
a
ke fun
c
tions accessing it
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
nev
e
r
u
se ->
r
e
f
eren
c
e
s
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
stian
Pop
fix form
a
ting
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never
u
se ->usr
commit
|
commitdiff
|
tree
2008-06-09
S
e
bastian Po
p
never use ->scaldi
m
s
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
ian Pop
never u
s
e ->blo
c
klist
commit
|
commitdiff
|
tree
2008-06-09
S
e
ba
s
t
ian Pop
never use
-
>na
m
es
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
mak
e
s
u
r
e tha
t
->loop
i
s not used anymore
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
make sur
e
that -
>
nb
_
scattd
i
ms is not used anymore
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
don't
u
se
-
>
cont
e
xt
commit
|
commitdiff
|
tree
2008-06-09
Sebast
i
an Pop
don't use ->nb_
s
cattdi
m
s
commit
|
commitdiff
|
tree
next