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
cleanup.
2008-07-10
Sebastia
n
Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Seba
s
ti
a
n
P
op
wa
r
n o
n
th
e
usage of
d
o
main_proj
e
ct
commit
|
commitdiff
|
tree
2008-07-09
Sebastia
n
Pop
remove un
n
eces
s
a
r
y chec
k
.
commit
|
commitdiff
|
tree
2008-07-08
Seba
s
tian P
o
p
e
nable PPL version
o
f domain
_
p
r
ojec
t
now that escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Se
b
astian Pop
r
e
m
ove test escedk
.
cloog
f
rom the testsu
i
t
e
.
commit
|
commitdiff
|
tree
2008-07-08
Seb
a
stian P
o
p
ported domai
n
_
extend to
P
PL, still with
e
scedk
.
cloog
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Seba
s
tian Pop
P
orted c
l
oog_domain_proje
c
t
,
but not
enabled
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian P
o
p
clean up
.
commit
|
commitdiff
|
tree
2008-07-05
S
ebastian P
o
p
d
o
n
'
t use
cl
o
og_polyhedr
o
n_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebas
t
ian Pop
don't
use cloo
g
_poly
h
edron_dim
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Po
p
don't
u
se cloog_polyhedr
o
n_nbc
.
commit
|
commitdiff
|
tree
2008-07-05
Sebas
t
ian P
o
p
don't use cloog
_
p
olyhedron_next
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astia
n
Pop
Make d
o
main_union work
w
i
t
h PPL
:
don
'
t use Polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebastia
n
Pop
a
dd
c
loog
d
omai
n
d
e
b
u
g
g
ing at every
o
perat
i
on
commit
|
commitdiff
|
tree
2008-06-17
S
ebastian Pop
r
ename and add -
>
nex
t
to the
unio
n
of pol
y
he
d
ra
commit
|
commitdiff
|
tree
2008-06-17
S
e
ba
s
tian Pop
wrap polyhedron i
n
an addition
a
l structure for b
e
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Seba
s
t
ian P
o
p
new debugging
functio
n
commit
|
commitdiff
|
tree
2008-06-13
Seba
s
t
i
a
n Pop
CloogDomain
is a union of convex po
l
yhedra
commit
|
commitdiff
|
tree
2008-06-13
Sebastian P
o
p
don
'
t use poly
h
edron
-
>next
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
Pop
simplify domain checking
fun
c
tion
commit
|
commitdiff
|
tree
2008-06-13
S
ebasti
a
n
Pop
abstract domains checking
t
o
a separate function
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian Pop
fix typo
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
CloogDomain bel
o
ngs to
t
he
b
ack-en
d
commit
|
commitdiff
|
tree
2008-06-13
Se
b
a
s
t
ian Pop
remove u
n
used
commit
|
commitdiff
|
tree
2008-06-13
Sebastia
n
P
o
p
domain inter
s
ection port for
P
PL
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
d
on't use
me
m
o
ry tracking for m
a
trix
a
lloc
commit
|
commitdiff
|
tree
2008-06-11
Se
b
a
stian Pop
fir
s
t shot
a
t the PP
L
to Polylib translation
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
first shot at transla
t
ing Polylib m
a
tri
c
es
to
P
P
L
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
in
i
tialize
a
nd f
i
nalize cloog lib
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
tian Pop
add initiali
z
ation functions fo
r
cloog
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Pop
don't use
c
loog_doma
i
n_l
e
ak_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
make cloog compile with
gmp
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stia
n
Pop
i
nclude
c
onditionally ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n
Pop
Cloog should no
t
be configured with both PPL a
n
d P
o
l
yLib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
re
m
ove
u
n
u
sed
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian Pop
don't use
PPL if n
o
t con
f
igured
with
--with-ppl
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
print something
w
hen an op
e
ration is not supported
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
d
on't suppor
t
cloo
g
_do
m
ain_
s
i
m
ple_convex: left
for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
remove comment specific to polylib
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
o
p
run i
n
den
t
, no other changes
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
a
s
tian Pop
do
n
'
t fail when one of the polyhe
d
ral
l
ibs
is not
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
add
configure bits for PPL
commit
|
commitdiff
|
tree
2008-06-10
S
e
ba
s
t
ian Pop
a
d
d a b
a
ck-e
n
d for PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
mov
e
matrix
.
h to polylib back
-
e
n
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
m
o
ve cl
a
st
.
c to polylib back-end
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian
P
op
removed a
l
l us
e
s of
C
loogMat
r
ix from
.
h
fi
l
es
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remove usage of Matrix from c
l
ast
.
h: mak
e
that functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian
Pop
r
emov
e
unused block->scatt
e
ri
n
g
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remove unused declarations
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
fix
c
razines
s
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Po
p
never use -
>
p
a
r
ameters
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
never use ->iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
never use ->scalars
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
n
e
ver use ->nb_parame
t
ers
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stia
n
Pop
never use ->nb_ite
r
ators
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->nb
_
scatt
e
r
i
ng
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
ne
v
er use -
>
nb_
s
calars
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian
Pop
neve
r
use ->b
l
ock
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
never use ->next
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian
P
o
p
never use ->nex
t
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
astian
P
op
n
e
ver use ->num
b
e
r
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Po
p
nev
e
r use ->u
s
r
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stia
n
Pop
n
e
v
er us
e
-
>
us
r
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
n
eve
r
use ->references
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
t
i
an Pop
never use
-
>references
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never u
s
e ->depth
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
neve
r
us
e
->scal
d
ims
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use -
>
nb_scaldims
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
t
ia
n
Pop
never use ->scatteri
n
g
commit
|
commitdiff
|
tree
2008-06-10
S
e
ba
s
tian Pop
never use -
>
scatt
e
rin
g
commit
|
commitdiff
|
tree
2008-06-10
Se
b
as
t
ian Pop
never
use ->statement
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
foo
commit
|
commitdiff
|
tree
2008-06-10
Se
b
a
stian Pop
mov
e
p
olylib specific func
t
ion t
o
polylib
back
e
nd
commit
|
commitdiff
|
tree
2008-06-10
S
eb
a
st
i
an Pop
r
e
move unu
s
e
d
commit
|
commitdiff
|
tree
2008-06-10
S
e
ba
s
tian Po
p
move polylib
s
p
ec
i
fic function to polyl
i
b
b
ackend
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
rem
o
v
e crazy fprintf
'
s
t
o stderr: move poly
l
ib spe
c
ific
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian
Pop
mov
e
p
o
lylib specif
i
c fu
n
ctions in t
h
e domain
.
c p
o
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian
Pop
move
polylib specific fun
c
tions
i
n the domain
.
c polylib
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
S
eba
s
t
ian
Pop
never use loop->next
commit
|
commitdiff
|
tree
2008-06-09
S
ebastian Pop
never use loop->inner
commit
|
commitdiff
|
tree
2008-06-09
Sebastian
Pop
never use
l
oop->usr
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never
u
se
-
>block
commit
|
commitdiff
|
tree
2008-06-09
S
ebastian Pop
never use loop->str
i
de
commit
|
commitdiff
|
tree
2008-06-09
Se
b
as
t
ian Pop
never use
-
>
domain
commit
|
commitdiff
|
tree
2008-06-09
Sebastian
Pop
never us
e
->next
commit
|
commitdiff
|
tree
2008-06-09
Sebast
i
an P
o
p
nev
e
r us
e
->domain
commit
|
commitdiff
|
tree
2008-06-09
Se
b
astian
P
o
p
never use ->polyhedron
commit
|
commitdiff
|
tree
2008-06-09
S
ebastian Pop
never us
e
->refe
r
ences, make functions a
c
cessing it
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never us
e
->refere
n
ces
commit
|
commitdiff
|
tree
2008-06-09
S
e
bas
t
ian Pop
fix formating
.
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
i
an
P
op
never use ->usr
commit
|
commitdiff
|
tree
2008-06-09
Sebasti
a
n
Pop
nev
e
r use ->scaldims
commit
|
commitdiff
|
tree
2008-06-09
Seba
s
tian Pop
neve
r
use ->b
l
ocklist
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use
-
>names
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
stian Pop
make sure that ->lo
o
p is not u
s
ed anymore
commit
|
commitdiff
|
tree
2008-06-09
S
ebastian Pop
make sure
th
a
t ->nb_scattdims is not
u
sed a
n
ymore
.
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
i
a
n Pop
don't use ->co
n
t
ext
commit
|
commitdiff
|
tree
2008-06-09
Seba
s
tian Pop
don't
u
s
e ->n
b
_scatt
d
ims
commit
|
commitdiff
|
tree
2008-06-09
S
e
bas
t
ian
P
op
don't
u
se ->language
commit
|
commitdiff
|
tree
2008-06-09
S
e
b
a
stian
P
o
p
do
n
't
u
s
e ->loop
commit
|
commitdiff
|
tree
next