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
Use C polyhedra not NNC as suggested by Roberto Bagnara.
2008-08-24
S
ebasti
a
n Pop
Use C polyh
e
dra not NNC a
s
suggest
e
d by Roberto Bagnara
.
commit
|
commitdiff
|
tree
2008-08-22
S
e
bastian Pop
Update testsuit
e
for
p
p
l-0
.
10pr
e
24
.
commit
|
commitdiff
|
tree
2008-08-22
Sebastian Pop
U
s
e
simplify_
u
sin
g
_context_ass
i
g
n
to implement domain_simpl
i
fy
.
commit
|
commitdiff
|
tree
2008-08-22
S
e
bastian
Pop
Rem
o
v
e AC_CONFIG_
M
ACRO_DIR([m4])
.
commit
|
commitdiff
|
tree
2008-08-21
Seb
a
st
i
an Pop
Include "cl
o
og/cloog
.
h" an
d
not a relative path
.
commit
|
commitdiff
|
tree
2008-08-20
Sebast
i
an Pop
Expe
c
t PPL
ver
s
i
o
n 0
.
10
.
commit
|
commitdiff
|
tree
2008-08-12
Sebastian Po
p
Fix some memory le
a
ks
.
commit
|
commitdiff
|
tree
2008-08-04
Seb
a
stian Pop
Rew
o
rk the CLO
O
G_VER
S
I
ON variables
.
commit
|
commitdiff
|
tree
2008-08-03
Sebastian Pop
Add back cl
o
og_domain
_
domain
2
matr
i
x
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian Pop
Export
c
lo
o
g
_
dom
a
in_matrix
2
domain in
t
he
c
loog int
e
rf
a
c
e
.
commit
|
commitdiff
|
tree
2008-08-02
Se
b
astian Pop
Don't inc
l
ude malloc calls in
.
h
inlined fu
n
ctions
.
commit
|
commitdiff
|
tree
2008-08-02
Sebas
t
ian P
o
p
M
a
ke Cloog
compile
w
ithout wa
r
nings
.
commit
|
commitdiff
|
tree
2008-08-01
S
e
bastian
P
op
Remove uses
o
f
f
pr
i
ntf (s
t
derr) that do not lead to
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
S
ebastian Pop
Ported SolveDiophanti
n
e
and remo
v
e
d
la
s
t dependen
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian Pop
port
e
d
P
olyhedro
n
_Al
l
o
c
and Polyhedron_Free
.
commit
|
commitdiff
|
tree
2008-08-01
Seb
a
stian Pop
p
o
r
ted
P
olyhe
d
ron_Copy
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
astian
Pop
p
o
r
te
d
Ma
t
rix_Prin
t
.
commit
|
commitdiff
|
tree
2008-07-31
Seb
a
sti
a
n Pop
ported P
o
lyhedro
n
_Print
.
commit
|
commitdiff
|
tree
2008-07-31
Seb
a
stia
n
Pop
ported Empty_P
o
lyhedron
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
astian Pop
p
orted cloog_vector_normalize
.
commit
|
commitdiff
|
tree
2008-07-31
S
e
bastian Pop
ported Polyhedron2
C
o
n
str
a
ints
.
commit
|
commitdiff
|
tree
2008-07-31
S
ebast
i
an Pop
ported Constraint
s
2Polyhedron
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Po
p
Sort matric
e
s
o
f polyhedra
.
commit
|
commitdiff
|
tree
2008-07-31
S
eb
a
stia
n
Pop
Rever
t
"Sort matrices:
C
loog is a random loop gener
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian
Po
p
S
o
r
t
matrices: Cloog
i
s a ra
n
dom loop ge
n
era
t
or otherwi
s
e
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
port V
e
ctor_C
o
m
b
ine
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
port Vector_Scale
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
port Vector_Cop
y
.
commit
|
commitdiff
|
tree
2008-07-30
Seb
a
sti
a
n
P
op
New data s
t
ructures for polyhedron and m
a
trix
.
commit
|
commitdiff
|
tree
2008-07-23
Se
b
a
s
t
i
an Pop
remove all domai
n
chec
k
s
commit
|
commitdiff
|
tree
2008-07-23
Seb
a
stia
n
P
op
move
chec
k
ing functions to
another
file
commit
|
commitdiff
|
tree
2008-07-23
S
e
bastian P
o
p
port do
m
a
in
_
s
i
mplif
y
, upda
t
e
t
he expe
c
ted
o
utput
s
in
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebast
i
an Pop
Remove checks for
d
omain_co
n
vex
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
bast
i
an Pop
P
orted cloog_do
m
ain_conv
e
x
.
commit
|
commitdiff
|
tree
2008-07-20
Seb
a
s
tian Pop
rem
o
ve ppl vs p
o
lylib
check
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
basti
a
n Po
p
Remo
v
e
polylib vs
p
pl
c
hecks
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
a
s
t
i
a
n
Pop
mor
e
mem
o
ry clean
up
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Clean ts
o
rt,
and s
o
me of the memory deal
l
ocat
i
on p
r
oble
m
s
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian P
o
p
Ported c
l
oo
g
_d
o
m
ain_
s
ort; up
d
ate tes
t
su
i
te e
x
p
ected
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ebastian
P
op
For each
p
olyh
e
dral lib backend
,
add an expected ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Sebastian Pop
ported
d
omain_
d
i
fferenc
e
commit
|
commitdiff
|
tree
2008-07-11
Sebastian Pop
s
p
lit
out cloog
_
tra
n
slate_const
r
aint, n
e
eded late
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Sebast
i
a
n
Pop
po
r
ted addconstrai
n
ts
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
warn on the usage of d
o
main_proj
e
ct
commit
|
commitdiff
|
tree
2008-07-09
Sebasti
a
n Pop
r
emove un
n
e
c
essar
y
check
.
commit
|
commitdiff
|
tree
2008-07-08
Seba
s
t
i
an Pop
ena
b
le P
P
L v
e
rsion of dom
a
i
n
_project now
that es
c
edk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebasti
a
n Pop
remove te
s
t escedk
.
cloog from the test
s
uite
.
commit
|
commitdiff
|
tree
2008-07-08
Seb
a
stian Pop
ported domain_extend to PPL, still
w
i
th escedk
.
cloog
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Se
b
astian Pop
Ported cl
o
o
g
_domain_pr
o
ject,
b
u
t
n
ot e
n
ab
l
ed
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
cl
e
an up
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastia
n
Pop
don't use
c
loog_polyhedron_nb
e
q
.
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astian Pop
don'
t
use clo
o
g
_
po
l
yhedron_dim
.
commit
|
commitdiff
|
tree
2008-07-05
Se
b
a
stian Pop
don'
t
use cl
o
og_po
l
y
h
edron_nbc
.
commit
|
commitdiff
|
tree
2008-07-05
Seb
a
s
tian Pop
don
'
t use cloog_polyhed
r
on_next
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Po
p
M
a
k
e
d
omain_uni
o
n work with PPL: do
n
't use Pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebas
t
ian Pop
add cl
o
og
d
omain
debugging at
e
very operation
commit
|
commitdiff
|
tree
2008-06-17
Se
b
astia
n
Pop
re
n
a
m
e and
add ->next to the unio
n
of polyhed
r
a
commit
|
commitdiff
|
tree
2008-06-17
Sebastian
P
op
wrap polyhedron in an additional structure
for being
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebastia
n
Pop
new
d
ebuggin
g
functio
n
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
op
CloogDom
a
in is
a
union of c
o
n
vex polyhe
d
ra
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
don't
u
s
e
polyhedron
-
>
n
ext
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astia
n
Pop
s
i
mplify domain checking fun
c
ti
o
n
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
ab
s
tract dom
a
ins checking to
a separate function
commit
|
commitdiff
|
tree
2008-06-13
Sebas
t
ia
n
Pop
fix typo
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an Po
p
CloogDom
a
in bel
o
ngs to the back-
e
nd
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
remo
v
e unu
s
ed
commit
|
commitdiff
|
tree
2008-06-13
Se
b
asti
a
n
Pop
domai
n
i
nter
s
ection port for
P
PL
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
s
t
ian Pop
don't use memory tracking for matrix alloc
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Po
p
first shot at the PPL t
o
P
o
lyl
i
b translation
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian P
o
p
first sh
o
t at trans
l
a
t
in
g
Polylib matrices t
o
PPL
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian Pop
in
i
tia
l
iz
e
and finalize cloog lib
commit
|
commitdiff
|
tree
2008-06-11
S
ebasti
a
n Pop
add initialization func
t
ions for cloo
g
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
st
i
an Pop
don'
t
u
s
e cloog_domain_leak_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
ian P
o
p
m
a
k
e cloog compile
w
ith gmp
commit
|
commitdiff
|
tree
2008-06-11
S
ebas
t
ian Po
p
inc
l
ude conditi
o
nally
ppl_
c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
C
loog sh
o
uld not b
e
configur
e
d
w
i
t
h
b
oth PPL
a
nd PolyLib
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astian Pop
remove
u
nused
commit
|
commitdiff
|
tree
2008-06-11
Sebastian P
o
p
don't use PPL if no
t
configured
w
i
t
h -
-
with-ppl
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
print
something when
a
n operation is
n
ot supp
o
rted
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
tian
P
op
don't su
p
port cloog
_
domain_simple_conve
x
: le
f
t
for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebast
i
an P
o
p
remo
v
e comment spec
i
fic to
polylib
commit
|
commitdiff
|
tree
2008-06-10
S
ebas
t
ian Pop
run indent, n
o
other changes
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
don't fail when one of the p
o
lyh
e
dral libs i
s
not prese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
a
d
d configure
b
its for PP
L
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
add
a
back-end
for PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
m
o
v
e matrix
.
h to p
o
lylib
back-
e
n
d
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
move cl
a
st
.
c to polylib back-end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
remove
d
a
l
l
uses of CloogMatrix fro
m
.
h
files
commit
|
commitdiff
|
tree
2008-06-10
Se
b
as
t
ia
n
Pop
remove usage of Matrix from
clast
.
h: make
t
h
a
t function
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastia
n
Pop
remove unus
e
d block
-
>
s
c
attering
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
r
e
move unu
s
ed dec
l
arations
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian
P
op
f
ix crazi
n
ess
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
neve
r
use ->parameter
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
n
ever us
e
->iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use ->scala
r
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
n
e
ver use ->nb
_
parameter
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
o
p
never u
s
e ->nb
_
iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
nev
e
r
use ->nb_scat
t
ering
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
n
eve
r
use ->n
b
_scalars
commit
|
commitdiff
|
tree
next