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
Seb
a
stian Pop
R
e
move checks for domain
_
conv
e
x
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian
P
op
Ported cloog_doma
i
n_convex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
remove ppl vs polylib check
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
b
a
s
tian Pop
R
e
move pol
y
l
i
b vs ppl
c
hecks
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
more memory
c
lea
n
u
p
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Clea
n
t
s
or
t
,
and some o
f
the m
e
mory deall
o
c
a
tion probl
e
m
s
.
commit
|
commitdiff
|
tree
2008-07-20
Sebas
t
ian
Pop
P
ort
e
d
cloog_domain
_
sort; u
p
date testsuite expected
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
F
o
r each polyhedral lib backend, add a
n
expected output
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Se
b
a
s
t
ian Pop
ported domain_difference
commit
|
commitdiff
|
tree
2008-07-11
Sebastian
P
op
split ou
t
cloog_translate_c
o
nst
r
ai
n
t, needed lat
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
ported a
d
dcons
t
rain
t
s
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Seba
s
tian Pop
wa
r
n on the u
s
ag
e
of
domain_proj
e
ct
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
re
m
ove
u
nnecessary check
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
enable
P
PL version of d
o
main_project
n
ow
t
hat escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
S
e
bastian P
o
p
remove test
escedk
.
clo
o
g
from th
e
te
s
t
s
uite
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
p
o
rted
d
omain_e
x
tend to PP
L
, still wi
t
h e
s
ce
d
k
.
cloo
g
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Sebastian Pop
Ported cloog_domain_project, but not
enable
d
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
clean
up
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don't
u
se cloo
g
_polyhedron_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebas
t
ian Pop
don't us
e
cloog_polyhedron_
d
im
.
commit
|
commitdiff
|
tree
2008-07-05
S
eb
a
sti
a
n Pop
don
'
t u
s
e
cloog_polyhedron_n
b
c
.
commit
|
commitdiff
|
tree
2008-07-05
Sebas
t
i
a
n
Pop
do
n
't use
cl
o
og_poly
h
edron_next
commit
|
commitdiff
|
tree
2008-07-05
Sebasti
a
n Pop
Make domain_uni
o
n work with PPL: don'
t
use Polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebastia
n
Pop
add cloog domain debugging at eve
r
y oper
a
t
i
on
commit
|
commitdiff
|
tree
2008-06-17
Seba
s
t
i
an Pop
rename a
n
d add ->next to the un
i
on o
f
po
l
yh
e
d
r
a
commit
|
commitdiff
|
tree
2008-06-17
Seb
a
stian Pop
wrap polyhed
r
on in
a
n addi
t
i
o
nal
structure for
bein
g
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebas
t
ian
Pop
new debug
g
i
n
g
f
unction
commit
|
commitdiff
|
tree
2008-06-13
S
e
basti
a
n Pop
CloogDomain is a
union of co
n
vex polyhedra
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
op
don't use
p
ol
y
h
ed
r
o
n-
>
next
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Po
p
s
implify doma
i
n
c
hecking
f
u
n
ction
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
op
abstract domains checkin
g
to a sep
a
ra
t
e function
commit
|
commitdiff
|
tree
2008-06-13
S
eb
a
st
i
an Pop
f
i
x typo
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
Pop
C
l
oogD
o
ma
i
n belongs to th
e
back-en
d
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
o
p
re
m
ov
e
un
u
sed
commit
|
commitdiff
|
tree
2008-06-13
Seba
s
tian
P
op
do
m
ain inte
r
section
p
ort
for
PPL
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an Pop
don't u
s
e memo
r
y tracki
n
g fo
r
matrix alloc
commit
|
commitdiff
|
tree
2008-06-11
Se
b
a
stian P
o
p
first shot at the PPL
t
o Poly
l
ib tra
n
s
lat
i
o
n
commit
|
commitdiff
|
tree
2008-06-11
Sebast
i
an
P
op
first s
h
ot at
t
ranslating Polylib matrices to
PPL
commit
|
commitdiff
|
tree
2008-06-11
S
e
b
a
stian Pop
ini
t
ializ
e
a
n
d finali
z
e cloog l
i
b
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
add initialization functio
n
s for
c
lo
o
g
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
Pop
do
n
't use cloog_do
m
ain_leak_{u
p
,down}
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n Pop
ma
k
e cl
o
og co
m
pile with g
m
p
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
i
n
clude
c
onditionally ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian Po
p
C
loog should no
t
be
c
o
n
figured with both PPL and Po
l
yLib
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Pop
remove unused
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
tian Pop
don't u
s
e PPL
if not
configured with --
w
ith-pp
l
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
print something when an op
e
ration is not supported
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
do
n
't support cloo
g
_domain_simp
l
e_c
o
nve
x
: left for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
remove
c
omment specifi
c
to polyl
i
b
commit
|
commitdiff
|
tree
2008-06-10
Se
b
a
stian Po
p
run ind
e
nt, n
o
other
changes
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
don't
fail when one of the polyhedral
libs is n
o
t
present
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n
P
op
add
c
onfigure
b
its f
o
r PPL
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastia
n
Pop
add a back-end for PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
move matri
x
.
h to polylib back-en
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
move clast
.
c
t
o polylib bac
k
-end
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
i
an Pop
removed all use
s
of C
l
oogMatrix from
.
h files
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
remove usa
g
e of Matrix from clas
t
.
h: m
a
ke that function
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remove
u
nused block->scattering
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Pop
remove u
n
use
d
declarations
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
f
ix c
r
azin
e
ss
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
never use ->parameters
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
never u
s
e ->iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
never use ->
s
ca
l
ars
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
never use ->nb_pa
r
amet
e
rs
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use
-
>
n
b_iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
never use
-
>nb_scattering
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
never use ->
n
b_scalars
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
never use
-
>block
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
astian Pop
never
use ->ne
x
t
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
never use ->
n
ext
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->number
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
n
e
ver
u
se ->usr
commit
|
commitdiff
|
tree
2008-06-10
Se
b
asti
a
n
P
op
n
ever
u
se
-
>usr
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
nev
e
r use ->references
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
n
e
ver use ->references
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
o
p
never use
->depth
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
never
u
se ->sca
l
dims
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
never use
->nb_scaldims
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
a
n
Pop
never use
->
s
cattering
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
never use
-
>scattering
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
never use ->statemen
t
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
foo
commit
|
commitdiff
|
tree
2008-06-10
S
e
basti
a
n
Pop
move p
o
lylib s
p
ecif
i
c funct
i
o
n
t
o
polylib backe
n
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
rem
o
ve unus
e
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
move pol
y
lib specific fu
n
ction t
o
polylib backend
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
r
emove crazy f
p
rintf's to stderr: mov
e
poly
l
i
b
specif
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Se
b
ast
i
an Pop
move polylib spec
i
fic func
t
ions i
n
the dom
a
i
n
.
c
polylib
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
move polylib specif
i
c f
u
n
c
t
i
ons in
the doma
i
n
.
c pol
y
li
b
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastia
n
Pop
nev
e
r use loop->next
commit
|
commitdiff
|
tree
2008-06-09
Sebastia
n
Pop
never
use loop->inner
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
stian Pop
never u
s
e loop->usr
commit
|
commitdiff
|
tree
2008-06-09
Sebasti
a
n
P
o
p
ne
v
er use ->block
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use loop->stri
d
e
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Po
p
neve
r
use ->domain
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
ne
v
er
u
se -
>
next
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Po
p
never use ->domain
commit
|
commitdiff
|
tree
2008-06-09
Sebastia
n
P
op
never use ->
p
olyh
e
dron
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
n
e
ver use ->references, m
a
ke functions a
c
ces
s
ing
i
t
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
s
tian Pop
never
use ->references
commit
|
commitdiff
|
tree
next