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
Remove checks for domain_convex.
2008-07-20
Sebastian Pop
R
emove checks
for domain_co
n
vex
.
commit
|
commitdiff
|
tree
2008-07-20
Seba
s
t
i
an
P
op
Ported clo
o
g_dom
a
in_con
v
ex
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
ast
i
an
P
o
p
r
e
mo
v
e ppl
vs polylib check
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
astian P
o
p
Remove polyli
b
v
s p
p
l checks
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
more
m
emory clea
n
up
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian
P
op
Cle
a
n ts
o
rt, and some of the
memo
r
y
d
eallocation problem
s
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
a
stian
P
op
Ported c
l
oog_do
m
ain_sort; update testsu
i
t
e expected
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
eb
a
stian Pop
For each polyhedral lib
b
ackend, add an
expected
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Sebastian Pop
ported doma
i
n_di
f
f
e
r
enc
e
commit
|
commitdiff
|
tree
2008-07-11
Sebastian
P
op
split out
cloog_
t
r
anslate_constra
i
nt, ne
e
ded l
a
ter
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Sebastian P
o
p
ported addcon
s
trai
n
ts
commit
|
commitdiff
|
tree
2008-07-10
Sebasti
a
n Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
w
a
rn on th
e
us
a
ge o
f
d
omain_project
commit
|
commitdiff
|
tree
2008-07-09
Sebastia
n
Pop
re
m
ove unnecessa
r
y
c
h
eck
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Po
p
enable PPL ver
s
ion
of domai
n
_project
n
ow that escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
remo
v
e tes
t
e
scedk
.
c
loo
g
from the
testsuite
.
commit
|
commitdiff
|
tree
2008-07-08
Seba
s
t
ian Pop
p
ort
e
d doma
i
n_extend
t
o
P
PL,
s
till with escedk
.
cl
o
og
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Sebast
i
a
n
P
o
p
Ported cloog_domain_pro
j
ect, but
not
e
nabled
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
clean up
.
commit
|
commitdiff
|
tree
2008-07-05
Seba
s
tian Pop
don't
u
s
e cl
o
o
g
_
p
olyhedron_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
d
on't use cloog
_
p
oly
h
edron_dim
.
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astian Pop
don't use cloog_po
l
yh
e
dron_nbc
.
commit
|
commitdiff
|
tree
2008-07-05
S
e
bastian P
o
p
don't use cloog_poly
h
edron_next
commit
|
commitdiff
|
tree
2008-07-05
S
e
bastian P
o
p
Ma
k
e domain_union work with PPL: don't use Polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebastian Pop
add c
l
oog d
o
m
ain
d
ebugg
i
n
g
a
t
eve
r
y operation
commit
|
commitdiff
|
tree
2008-06-17
S
e
b
a
stian Pop
rename and add ->
n
ext to th
e
union of polyhe
d
ra
commit
|
commitdiff
|
tree
2008-06-17
Sebastian Pop
wrap polyhedron in an additional structure fo
r
being
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Seb
a
stia
n
Pop
new
d
ebugging funct
i
on
commit
|
commitdiff
|
tree
2008-06-13
Sebastian P
o
p
Cloo
g
Domain is a union of
conve
x
p
o
l
y
hedra
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian Pop
don't
u
se polyhedron->
n
ext
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
simpli
f
y domain checking function
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astian Pop
abstract domains ch
e
cking to
a separate funct
i
on
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
fix
t
ypo
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Po
p
Cloo
g
D
omain belongs to the bac
k
-end
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
op
remove unused
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
d
o
main in
t
ersectio
n
port for PPL
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
d
o
n
'
t use
m
emor
y
trackin
g
for matrix alloc
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian P
o
p
first shot at
the PPL to Polylib
t
ranslat
i
on
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
f
i
rst
shot at
tra
n
slat
i
ng Polylib
m
atrices to PPL
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
ian Pop
i
n
itia
l
ize and fina
l
ize cloog lib
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian Pop
add initializa
t
ion
f
unctions for cloog
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian Pop
d
o
n
'
t
use cloog_d
o
main_leak_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
o
p
mak
e
cloo
g
compile
w
ith
g
m
p
commit
|
commitdiff
|
tree
2008-06-11
Sebastian P
o
p
inc
l
ude
c
onditionally
p
p
l_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Pop
Clo
o
g should not be config
u
r
e
d w
i
th both
P
PL and PolyLib
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Pop
r
e
move u
n
used
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n
Po
p
don't use
P
P
L
i
f
n
ot configured with --with-ppl
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
p
rint
s
omething when an
ope
r
a
tion
i
s
not su
p
p
orted
commit
|
commitdiff
|
tree
2008-06-11
S
e
basti
a
n Pop
don't support
cloog_domain_simple_conve
x
: le
f
t for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
S
ebas
t
i
an Pop
rem
o
ve com
m
e
n
t specific to polylib
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
i
an Pop
run inde
n
t, no
oth
e
r
c
han
g
e
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
don't fail when one of
t
he polyhe
d
ral libs is not
p
re
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
a
d
d config
u
re bits
f
or PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
add
a back-e
n
d f
o
r PPL
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
mov
e
m
atri
x
.
h to polyl
i
b
b
ack-end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
move clas
t
.
c to polylib bac
k
-end
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
sti
a
n P
o
p
removed all uses of Cl
o
og
M
at
r
i
x
f
rom
.
h files
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remove
us
a
ge of Matri
x
from c
l
ast
.
h: make that function
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remove unused
b
loc
k
-
>
scattering
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
astian Po
p
remove unused declara
t
ions
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
fi
x
craziness
commit
|
commitdiff
|
tree
2008-06-10
Se
b
a
s
t
ian Pop
ne
v
er use ->p
a
rameters
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
n
e
ver
use ->it
e
rators
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->
s
calars
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
nev
e
r use ->nb_p
a
r
ameters
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
n
ever use ->nb_iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
a
n Po
p
never use ->nb_scatt
e
ring
commit
|
commitdiff
|
tree
2008-06-10
S
ebasti
a
n P
o
p
never us
e
->nb_scal
a
rs
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never u
s
e ->block
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
never use ->next
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
never use
->next
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never
u
se ->number
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
never use ->u
s
r
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
never use ->usr
commit
|
commitdiff
|
tree
2008-06-10
Se
b
ast
i
an Pop
never
u
se
-
>referenc
e
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never
u
se
->referenc
e
s
commit
|
commitdiff
|
tree
2008-06-10
S
ebasti
a
n Pop
neve
r
use -
>
depth
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
never
u
se
-
>
s
caldim
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
o
p
never us
e
->nb_sc
a
ldims
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
n
ev
e
r use ->
s
cattering
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
ne
v
e
r
u
s
e ->scatterin
g
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
never use
->st
a
tement
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
f
oo
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Po
p
move p
o
lylib specific fun
c
t
i
o
n to poly
l
ib
backend
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
rem
o
ve unused
commit
|
commitdiff
|
tree
2008-06-10
S
eba
s
tian Pop
move polylib specif
i
c function
t
o
p
ol
y
lib bac
k
end
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
i
a
n Pop
rem
o
ve crazy fprintf'
s
to stderr: move polylib specifi
c
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
S
e
ba
s
tian Pop
move
polyli
b
sp
e
cific
funct
i
o
n
s
in the domain
.
c
polylib
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Po
p
move polylib sp
e
c
i
fic funct
i
ons in th
e
domain
.
c polylib
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never
use loop->n
e
xt
commit
|
commitdiff
|
tree
2008-06-09
Seba
s
tian Po
p
never use loop->
i
nner
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Po
p
n
e
v
e
r use l
o
op->usr
commit
|
commitdiff
|
tree
2008-06-09
S
eba
s
t
i
an Pop
n
ever use
-
>block
commit
|
commitdiff
|
tree
2008-06-09
Sebast
i
an Pop
n
ever use loop-
>
stride
commit
|
commitdiff
|
tree
2008-06-09
S
e
basti
a
n
P
op
n
ever use -
>
domain
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->n
e
xt
commit
|
commitdiff
|
tree
2008-06-09
Sebast
i
an Pop
n
e
ver use ->do
m
a
in
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
stian Pop
never use ->polyhed
r
on
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->r
e
ferences, ma
k
e functio
n
s ac
c
e
ssin
g
it
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebast
i
an Pop
never use ->references
commit
|
commitdiff
|
tree
next