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 P
o
p
Remove checks for domain_convex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Porte
d
cloog_domain_convex
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
b
astian Pop
remove ppl vs polylib chec
k
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
astian Pop
R
e
m
o
ve polylib vs
p
pl checks
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
more
memory clean up
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian
P
o
p
C
lea
n
tsort, an
d
some o
f
the memory d
e
allocati
o
n
problems
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
P
orted
cloog_domain_sor
t
; updat
e
testsuite expected
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
For each poly
h
edr
a
l
l
ib backen
d
, ad
d
an expe
c
ted
o
utput
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
S
ebastian Pop
ported domai
n
_
difference
commit
|
commitdiff
|
tree
2008-07-11
Sebastian
P
o
p
split
o
ut cloog_translate
_
c
o
n
s
traint, needed lat
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
ported addconstraints
commit
|
commitdiff
|
tree
2008-07-10
Se
b
astian Pop
c
leanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebastia
n
Pop
warn o
n
t
h
e usag
e
of
domain_project
commit
|
commitdiff
|
tree
2008-07-09
S
e
bastian Pop
rem
o
v
e
unneces
s
ary
c
heck
.
commit
|
commitdiff
|
tree
2008-07-08
Se
b
astian Po
p
e
nable PPL version
o
f
d
omain_project no
w
that
escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
S
eb
a
stian Pop
remov
e
test escedk
.
c
l
o
og from the tes
t
suite
.
commit
|
commitdiff
|
tree
2008-07-08
Sebast
i
a
n P
o
p
ported
d
o
main_
e
x
tend
to PPL
,
still with escedk
.
clo
o
g
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Se
b
as
t
ian P
o
p
P
o
rted cloog_domain_proj
e
ct, but not enab
l
ed
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
clean up
.
commit
|
commitdiff
|
tree
2008-07-05
Sebasti
a
n Pop
don'
t
us
e
cloog_polyhedron_
n
beq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don't use c
l
oog_pol
y
hedron_di
m
.
commit
|
commitdiff
|
tree
2008-07-05
S
e
bast
i
an
Po
p
don'
t
use cl
o
og_polyhedron_nbc
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don't use
c
lo
o
g
_
p
o
lyhedron_
n
e
x
t
commit
|
commitdiff
|
tree
2008-07-05
Sebast
i
a
n
Pop
Make domain
_
union wor
k
with PPL: don't use
P
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebastian Pop
a
d
d cloog domain debugging
at e
v
ery
o
p
e
rat
i
on
commit
|
commitdiff
|
tree
2008-06-17
Sebastian Pop
rename
and
a
d
d -
>
next
t
o
t
he union of polyhedra
commit
|
commitdiff
|
tree
2008-06-17
Seba
s
t
ian
Pop
wrap polyhedr
o
n
in a
n
additional structure
for be
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebast
i
an Po
p
new
d
ebu
g
ging
f
unction
commit
|
commitdiff
|
tree
2008-06-13
S
ebast
i
an P
o
p
Cloo
g
Domain is a union of co
n
v
e
x polyhedra
commit
|
commitdiff
|
tree
2008-06-13
S
e
bastia
n
Po
p
don't
use polyhedron->n
e
xt
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
simplify dom
a
in chec
k
ing f
u
nction
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
abstract domains chec
k
ing
t
o
a separate func
t
i
o
n
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian Pop
fix typo
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astian Pop
Clo
o
gDo
m
a
i
n belongs to the back-end
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an Pop
remove un
u
sed
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
doma
i
n intersection p
o
rt for PPL
commit
|
commitdiff
|
tree
2008-06-13
Sebasti
a
n Pop
don't use memor
y
tracking for m
a
trix allo
c
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian
Pop
firs
t
shot a
t
the
P
P
L to Polyli
b
translation
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
first
s
hot at translating Polyli
b
mat
r
ices to PPL
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
i
an Pop
initialize and
finaliz
e
cloog lib
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian
P
op
add initialization fun
c
tions
for clo
o
g
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n
P
op
don't use cloog_domai
n
_l
e
ak_{
u
p,down
}
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
o
p
m
ake clo
o
g co
m
pile with g
m
p
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
Pop
i
n
c
lude conditionally ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian
Pop
Cloog s
h
ould not be co
n
figured with both PPL and P
o
ly
L
ib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
remo
v
e unused
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
don't u
s
e PPL if not config
u
red
with --
w
ith-pp
l
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
p
r
int so
m
eth
i
ng when a
n
operation is no
t
support
e
d
commit
|
commitdiff
|
tree
2008-06-11
Sebast
i
an P
o
p
don't s
u
ppor
t
clo
o
g_d
o
main_simple_
c
onvex:
l
eft for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebastian P
o
p
remov
e
c
o
mm
e
nt
specific to polylib
commit
|
commitdiff
|
tree
2008-06-10
S
e
ba
s
tian P
o
p
run indent
,
no other chan
g
es
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
don't fail when one
of
t
he polyhe
d
ral libs is not p
r
e
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
add configure bit
s
f
o
r PPL
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
add a back-end fo
r
PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
move matrix
.
h
to polyl
i
b back-end
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
m
o
ve clas
t
.
c to pol
y
lib bac
k
-end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
removed all
uses of CloogMatrix from
.
h fil
e
s
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
an Pop
remove u
s
age of Matrix from clast
.
h: m
a
ke that
f
unction
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
remove
u
nused block->scattering
commit
|
commitdiff
|
tree
2008-06-10
S
e
bas
t
ian Pop
re
m
o
ve unused declarat
i
on
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
fix craziness
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Po
p
neve
r
u
s
e ->parameters
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
ne
v
er use ->i
t
erators
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian
P
op
nev
e
r use ->scalars
commit
|
commitdiff
|
tree
2008-06-10
S
ebasti
a
n
P
o
p
never use ->n
b
_pa
r
ameters
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
n
e
v
er use ->nb_iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n
Pop
never use -
>
nb_scatte
r
i
ng
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n
Po
p
never us
e
->nb_sca
l
ars
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->block
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->
n
ext
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->next
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n P
o
p
never use ->
n
umber
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
never use ->usr
commit
|
commitdiff
|
tree
2008-06-10
S
eba
s
tian P
o
p
never use
-
>
usr
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
astian Pop
never use ->r
e
f
e
re
n
ces
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
i
an Pop
n
ever use ->refere
n
ces
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
never use ->d
e
p
th
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
an Pop
n
eve
r
use ->scaldims
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
s
t
ian Pop
never use ->
n
b
_
scaldims
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian
P
op
never use ->sc
a
t
tering
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian Pop
never
use ->scat
t
e
r
ing
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
ne
v
er
use ->
s
tatement
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
a
n P
o
p
foo
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
move
po
l
ylib specific
function to polylib ba
c
kend
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
remove unused
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
s
tian Pop
m
ove polylib
s
pe
c
ific functio
n
to polylib backend
commit
|
commitdiff
|
tree
2008-06-10
S
e
basti
a
n
P
op
remove c
r
azy fprintf's
to stderr: move p
o
lylib specific
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
move polylib specific functions in t
h
e domain
.
c
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
mo
v
e polyl
i
b specific funct
i
ons
in the domain
.
c pol
y
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
ian Po
p
n
ever use loop->
n
ext
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use loo
p
->inn
e
r
commit
|
commitdiff
|
tree
2008-06-09
Sebas
t
ian Pop
ne
v
er use loop->usr
commit
|
commitdiff
|
tree
2008-06-09
S
e
b
a
stian P
o
p
never
u
se ->block
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use loop->str
i
d
e
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->dom
a
in
commit
|
commitdiff
|
tree
2008-06-09
Seba
s
ti
a
n
Pop
never
use ->next
commit
|
commitdiff
|
tree
2008-06-09
S
e
bastian Pop
n
e
ver use -
>
dom
a
in
commit
|
commitdiff
|
tree
2008-06-09
Sebastia
n
Pop
n
ever use ->po
l
yhedron
commit
|
commitdiff
|
tree
2008-06-09
Seb
a
s
t
ian Pop
never u
s
e ->r
e
fe
r
ences, make functions accessing it
.
.
.
commit
|
commitdiff
|
tree
2008-06-09
Sebastian Pop
never use ->refer
e
n
c
es
commit
|
commitdiff
|
tree
next