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
move checking functions to another file
2008-07-23
S
e
b
astian Pop
mo
v
e
c
h
eckin
g
func
t
ions to another file
commit
|
commitdiff
|
tree
2008-07-23
S
ebast
i
a
n
P
op
port domain_s
i
mplif
y
, update the ex
p
ected
o
utp
u
ts in
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Seba
s
tian Pop
R
e
move checks for domain_
c
on
v
ex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebas
t
ian Pop
Ported cloog_
d
omain_conve
x
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
r
emo
v
e
ppl vs polylib check
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Re
m
ove p
o
lylib v
s
p
pl checks
.
commit
|
commitdiff
|
tree
2008-07-20
Sebas
t
ian Pop
more memory clean up
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian P
o
p
Clean
t
sort, and some of the
memo
r
y deallocat
i
o
n
pr
o
blems
.
commit
|
commitdiff
|
tree
2008-07-20
Seba
s
t
i
an Pop
Po
r
ted cloog_domain_sort;
u
pd
a
te testsuite ex
p
e
cted
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastia
n
Pop
Fo
r
each polyhedr
a
l
lib ba
c
k
end, add an
exp
e
cted out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Sebastian Pop
p
o
rted
domain_
d
i
fferen
c
e
commit
|
commitdiff
|
tree
2008-07-11
Seba
s
tian
P
o
p
sp
l
it out cloog_tra
n
slate_
c
onstraint, ne
e
ded later
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Seb
a
s
tian Pop
p
orted addconstraints
commit
|
commitdiff
|
tree
2008-07-10
S
ebastian P
o
p
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
warn o
n
t
he usag
e
o
f
d
o
m
a
i
n_project
commit
|
commitdiff
|
tree
2008-07-09
Se
b
astian Pop
remov
e
u
n
nec
e
ssary
c
heck
.
commit
|
commitdiff
|
tree
2008-07-08
Sebas
t
ian Pop
enab
l
e PPL version of
domai
n
_project
n
ow that esced
k
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian P
o
p
remov
e
test escedk
.
cloog f
r
om t
h
e testsuite
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
ported d
o
m
a
in_
e
xtend to
P
PL
,
stil
l
with e
s
ce
d
k
.
c
lo
o
g
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
S
ebastian Po
p
Ported cloog_domain_project, but
not enabl
e
d
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
c
lean
u
p
.
commit
|
commitdiff
|
tree
2008-07-05
Seb
a
stian Pop
don
'
t use cloog_polyhedron_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebast
i
an Pop
don't use
cloog_p
o
ly
h
e
d
ron_d
i
m
.
commit
|
commitdiff
|
tree
2008-07-05
Sebas
t
ian Pop
d
o
n
'
t use cloog_polyh
e
dron
_
nbc
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastia
n
Pop
don't use cloog_poly
h
e
d
ron_n
e
x
t
commit
|
commitdiff
|
tree
2008-07-05
Seb
a
stian Pop
Mak
e
domain_union work
with PPL: d
o
n't us
e
Polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebas
t
ian P
o
p
a
d
d cloog domain debugging at every operat
i
on
commit
|
commitdiff
|
tree
2008-06-17
Se
b
astian Pop
r
ename and add ->
n
ext to the u
n
ion of
polyhedra
commit
|
commitdiff
|
tree
2008-06-17
S
e
bastian Pop
wrap polyhedron
i
n an additional structure for being
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebastian Pop
ne
w
debugg
i
ng fu
n
ction
commit
|
commitdiff
|
tree
2008-06-13
Sebastia
n
P
o
p
CloogDom
a
i
n is a union
o
f con
v
ex po
l
y
h
edra
commit
|
commitdiff
|
tree
2008-06-13
S
e
bastian Pop
d
on't use polyhedron->nex
t
commit
|
commitdiff
|
tree
2008-06-13
Se
b
as
t
ian Pop
simplif
y
domai
n
c
h
ecking
func
t
ion
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
abstract domains chec
k
i
n
g t
o
a separate function
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian
Pop
fix
t
ypo
commit
|
commitdiff
|
tree
2008-06-13
Se
b
as
t
ia
n
Pop
CloogDomai
n
belon
g
s to the back-end
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astian Pop
re
m
ove unused
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
domain
intersecti
o
n port
f
or PP
L
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astian Pop
d
on't us
e
memory tracking f
o
r matrix allo
c
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
f
irst shot at th
e
P
PL to Polylib translation
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
first shot at translatin
g
Polylib m
a
tric
e
s to PPL
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Po
p
initialize and finalize cloog lib
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n Pop
add init
i
alizati
o
n functions
f
or
cloog
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
don't
u
s
e cloog_domain_leak_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
make
cloog compile with gmp
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
include condi
t
ionally ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
S
ebasti
a
n
P
op
Cloog s
h
o
u
l
d not
b
e
configured with bo
t
h PP
L
and PolyL
i
b
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
remov
e
un
u
s
ed
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
ian Pop
don't u
s
e PPL i
f
not c
o
nfig
u
red
w
ith --with
-
ppl
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
tian Pop
print something
w
h
en an ope
r
ation is not suppor
t
ed
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
tian Pop
don't support c
l
oog_doma
i
n_si
m
ple_
c
onvex: left
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
remo
v
e
c
o
m
ment s
p
ecific to
polylib
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
run
indent, no other changes
commit
|
commitdiff
|
tree
2008-06-10
S
ebast
i
an
P
op
do
n
'
t fail wh
e
n one
o
f the polyhe
d
ral l
i
bs i
s
not present
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
add confi
g
u
r
e bits
f
o
r P
P
L
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian
Pop
add
a back
-
end for
PPL
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian P
o
p
m
ove matrix
.
h to polyl
i
b b
a
ck-end
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
m
ove clast
.
c to pol
y
l
i
b back-e
n
d
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
remo
v
ed
all u
s
es of CloogMatrix from
.
h f
i
les
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
remove
u
sage
of Matrix fro
m
c
l
ast
.
h
:
m
ake th
a
t functio
n
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian
P
op
remove unused block->sc
a
t
t
e
ring
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
remove unused dec
l
arations
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Pop
fix craziness
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
P
o
p
never use ->param
e
ters
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
n
e
ver use ->iter
a
tors
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Pop
never use ->scalars
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
n
ever use ->
n
b_pa
r
ameters
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->nb_itera
t
ors
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ia
n
Pop
n
ever u
s
e
-
>n
b
_sc
a
tte
r
ing
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
n
e
ver use ->nb_scalars
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
n
e
ver use ->block
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
asti
a
n
P
o
p
neve
r
use ->next
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
an P
o
p
never use ->next
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
never use ->number
commit
|
commitdiff
|
tree
2008-06-10
S
e
bast
i
an P
o
p
never us
e
->usr
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
ne
v
e
r use ->usr
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
never use ->reference
s
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Pop
never us
e
->references
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
neve
r
u
s
e ->de
p
t
h
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
never use ->
s
c
a
ld
i
ms
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
ne
v
er use ->
n
b
_
scaldims
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n
Pop
never
u
se ->scattering
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
never use -
>
scattering
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
never
u
se
->sta
t
ement
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
a
stian Pop
foo
commit
|
commitdiff
|
tree
2008-06-10
S
ebas
t
ian
P
op
mo
v
e
p
o
lylib specific fu
n
cti
o
n to
polylib backend
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
t
ian Pop
remove
unu
s
ed
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astia
n
Po
p
move polylib sp
e
cific f
u
nction to pol
y
lib backend
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remov
e
c
razy fprintf
'
s t
o
stderr: mo
v
e p
o
lylib specific
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
m
ove polyl
i
b
specific function
s
i
n
th
e
domain
.
c po
l
y
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
mo
v
e
p
o
lylib
sp
e
c
ific functions in t
h
e
domain
.
c polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
ian P
o
p
n
e
ver use loop->next
commit
|
commitdiff
|
tree
2008-06-09
S
ebast
i
a
n
Pop
never use l
o
op->inner
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
ne
v
er us
e
l
oop->u
s
r
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->
b
lock
commit
|
commitdiff
|
tree
2008-06-09
Sebast
i
an Pop
n
e
ve
r
u
se loop-
>
s
t
ri
d
e
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use
-
>domain
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->ne
x
t
commit
|
commitdiff
|
tree
2008-06-09
Sebastian P
o
p
never
use ->domain
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Po
p
nev
e
r
use ->polyhedron
commit
|
commitdiff
|
tree
next