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
Sebastian Pop
Use C polyhedra not
N
NC as suggested by
R
o
b
er
t
o Bagnara
.
commit
|
commitdiff
|
tree
2008-08-22
S
e
bastian Pop
Update testsuite for ppl-0
.
1
0pre24
.
commit
|
commitdiff
|
tree
2008-08-22
Sebasti
a
n Po
p
U
se si
m
plify_using_
c
on
t
ex
t
_a
s
sign
t
o im
p
lement do
m
ain_s
i
mpli
f
y
.
commit
|
commitdiff
|
tree
2008-08-22
Seba
s
tian Pop
R
e
m
ove A
C
_
CONFIG_MACRO_DIR([m
4
])
.
commit
|
commitdiff
|
tree
2008-08-21
Seba
s
tian Pop
I
nclude "cloog/
c
loog
.
h" and not
a
r
e
lative path
.
commit
|
commitdiff
|
tree
2008-08-20
Seba
s
tian Pop
Expect PPL ver
s
ion
0
.
10
.
commit
|
commitdiff
|
tree
2008-08-12
Seb
a
s
t
ian Pop
Fix some memory
l
eaks
.
commit
|
commitdiff
|
tree
2008-08-04
Sebastian Pop
Rewor
k
the CLOOG_VERSIO
N
va
r
iable
s
.
commit
|
commitdiff
|
tree
2008-08-03
Sebasti
a
n Pop
Add bac
k
cloog_domain_domain2ma
t
r
i
x
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian Pop
Export cloog_domain_m
a
trix2d
o
main
i
n the c
l
oog in
t
e
rface
.
commit
|
commitdiff
|
tree
2008-08-02
Sebast
i
an Pop
D
o
n't incl
u
d
e
m
alloc calls i
n
.
h inli
n
ed f
u
n
ct
i
o
n
s
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian Pop
Mak
e
Cloog compile without
w
arnings
.
commit
|
commitdiff
|
tree
2008-08-01
Seb
a
stia
n
Pop
R
e
move
u
ses
o
f
fprin
t
f (s
t
d
e
rr) t
h
at
d
o
not lead to
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian Pop
Ported So
l
veDiophantine
and remove
d
last depe
n
den
c
es
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
Seb
a
stian Pop
po
r
ted Polyhedron
_
All
o
c
a
nd Po
l
yhe
d
ron_F
r
ee
.
commit
|
commitdiff
|
tree
2008-08-01
Seb
a
stian Pop
p
o
r
t
ed Polyhe
d
ron_Copy
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
a
s
tian Pop
ported Matrix_Pr
i
nt
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
ported Polyhedron_Print
.
commit
|
commitdiff
|
tree
2008-07-31
S
e
bastia
n
Po
p
ported Empty
_
Polyhedr
o
n
.
commit
|
commitdiff
|
tree
2008-07-31
S
eba
s
tia
n
Pop
ported cloog_vector_normalize
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
a
s
tian Po
p
por
t
ed Polyhedr
o
n2Cons
t
r
a
i
nts
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
ported Constraint
s
2Polyhed
r
on
.
commit
|
commitdiff
|
tree
2008-07-31
Seba
s
tian Pop
Sort
matr
i
ces of poly
h
edra
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
Revert "Sort matri
c
es: Cloog is a
r
andom loop generator
.
.
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
So
r
t matrices: Cloog is a random
loop gene
r
ator othe
r
w
i
s
e
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
p
o
rt Ve
c
tor_Com
b
ine
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
port Vector_Scale
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
port V
e
ctor_Copy
.
commit
|
commitdiff
|
tree
2008-07-30
Seb
a
stian P
o
p
New data structure
s
for po
l
yhedron and matrix
.
commit
|
commitdiff
|
tree
2008-07-23
Se
b
astian
P
o
p
remove all domain
c
hecks
commit
|
commitdiff
|
tree
2008-07-23
Sebastian Pop
move che
c
king f
u
nctions to anoth
e
r
file
commit
|
commitdiff
|
tree
2008-07-23
Sebastian
P
op
p
ort d
o
main_simplify, update the expected outputs in
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Remove ch
e
cks for doma
i
n
_
con
v
ex
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
bastian P
o
p
Ported cl
o
og_domain_convex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
remove
p
pl vs polyli
b
check
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian P
o
p
Remove
po
l
ylib v
s
ppl
checks
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian
Po
p
more memory
c
lean up
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
a
st
i
an Pop
Cl
e
a
n
t
sort, a
n
d s
o
m
e
of the
m
emory deallocat
i
o
n
p
r
oblems
.
commit
|
commitdiff
|
tree
2008-07-20
Sebast
i
an Pop
Ported cloog_domain_sort; upd
a
te test
s
uite exp
e
cte
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
bas
t
ian Pop
For e
a
ch pol
y
h
edral lib
b
ackend, add an expe
c
ted o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
S
e
bastian Pop
ported domain_diffe
r
en
c
e
commit
|
commitdiff
|
tree
2008-07-11
Seba
s
tian
P
op
split
out
c
l
o
o
g_
t
r
ans
l
ate_constraint, needed later
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
por
t
ed addconstraints
commit
|
commitdiff
|
tree
2008-07-10
Seba
s
t
ian Po
p
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
S
ebastian Pop
warn
on the usa
g
e of domain_project
commit
|
commitdiff
|
tree
2008-07-09
Seb
a
stian Pop
remov
e
unnece
s
sar
y
c
heck
.
commit
|
commitdiff
|
tree
2008-07-08
S
e
bastia
n
Pop
e
nable PPL version of domain_project n
o
w
that
escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian
P
op
rem
o
ve test escedk
.
cloog from the testsuite
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
ported domain_exte
n
d
to
PPL, still with escedk
.
cloog
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Sebastian Pop
Ported cloog
_
domain_project, but not ena
b
led
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
c
l
ean up
.
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astian Pop
don't use
c
lo
o
g_polyhedr
o
n_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don't use clo
o
g_p
o
lyhedr
o
n
_
dim
.
commit
|
commitdiff
|
tree
2008-07-05
Seb
a
sti
a
n Pop
don't use cloog_polyhedron
_
nbc
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don'
t
use cloog_polyhe
d
ron_next
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astian
P
op
Make domain_union work
w
i
th PPL: do
n
't use Polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
S
e
bastian Pop
a
dd cloog domain debugging
at every operation
commit
|
commitdiff
|
tree
2008-06-17
Sebast
i
a
n
Pop
rena
m
e
a
nd
add ->next t
o
the union o
f
po
l
yhedra
commit
|
commitdiff
|
tree
2008-06-17
S
e
bastian Pop
wrap pol
y
hedron i
n
an additi
o
n
al structur
e
f
o
r
b
ein
g
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Seba
s
tian Pop
ne
w
debugging function
commit
|
commitdiff
|
tree
2008-06-13
S
e
b
a
s
tian Pop
Cl
o
o
g
Domain
is
a
un
i
on of convex polyhedra
commit
|
commitdiff
|
tree
2008-06-13
Sebas
t
ia
n
Pop
don'
t
use
po
l
yhed
r
on->next
commit
|
commitdiff
|
tree
2008-06-13
Sebastian P
o
p
s
implify
d
omain checking fun
c
tio
n
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
sti
a
n Pop
ab
s
t
ract domain
s
checking to a separa
t
e
fu
n
ction
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
fix t
y
po
commit
|
commitdiff
|
tree
2008-06-13
Sebas
t
i
an Pop
Cl
o
ogDom
a
i
n belongs to the ba
c
k
-end
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
op
remo
v
e
u
nused
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an Pop
dom
a
in inter
s
ection port for
PPL
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
don
'
t
use memor
y
track
i
ng for matrix alloc
commit
|
commitdiff
|
tree
2008-06-11
Se
b
ast
i
a
n
Po
p
first
shot a
t
t
h
e
PPL to Poly
l
ib translation
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
first
s
hot at tr
a
nslating Polylib mat
r
ices to PPL
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
t
ian Po
p
ini
t
iali
z
e and finalize cloog lib
commit
|
commitdiff
|
tree
2008-06-11
S
e
b
as
t
ian Po
p
ad
d
initialization f
u
nctio
n
s
f
o
r
c
loog
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
don't
u
s
e cl
o
o
g
_dom
a
i
n_le
a
k_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
S
e
bas
t
ian
P
op
make cloog compile with gmp
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astian
Pop
include co
n
ditionall
y
p
p
l_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
C
l
oog should
n
ot be conf
i
g
u
red with
both PPL an
d
Po
l
y
Lib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
remove unused
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
do
n
'
t use PPL if not
c
onfigured
w
ith --with-ppl
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
pri
n
t someth
i
ng when
an operation
i
s not sup
p
o
r
ted
commit
|
commitdiff
|
tree
2008-06-11
S
e
b
a
stian P
o
p
don't support
c
loog_dom
a
in_simple_convex: left for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
r
e
move comment specific t
o
polylib
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
ru
n
ind
e
nt,
n
o other chang
e
s
commit
|
commitdiff
|
tree
2008-06-10
S
ebasti
a
n
Pop
don't
f
a
il whe
n
one of
t
h
e
polyhedral libs is
n
ot p
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Se
b
as
t
ian
P
op
ad
d
configure bits fo
r
PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
add a back
-
e
n
d f
o
r PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
m
ove matr
i
x
.
h to polyli
b
back-end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
mov
e
clast
.
c
to polyli
b
back
-
e
nd
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
removed
a
l
l uses of
C
l
oogMatrix fr
o
m
.
h files
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
an
Pop
remov
e
usage of
Matrix from c
l
ast
.
h: ma
k
e that functio
n
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Pop
rem
o
ve unused bl
o
ck->scattering
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
r
e
m
ove unused declarations
commit
|
commitdiff
|
tree
2008-06-10
Sebast
i
an Pop
fi
x
crazin
e
s
s
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian
P
op
never use ->parame
t
ers
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
n
ever use
->
i
tera
t
ors
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian
P
o
p
never
use ->scalars
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
never use ->nb_p
a
ram
e
te
r
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use
->n
b
_ite
r
ator
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never us
e
->n
b
_sc
a
ttering
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
never
u
se ->nb_sca
l
ars
commit
|
commitdiff
|
tree
next