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 simplify_using_context_assign to implement domain_simplify.
2008-08-22
Sebastian Pop
Use simplify_using_
c
ont
e
xt_assign to
implement domain_s
i
m
p
li
f
y
.
commit
|
commitdiff
|
tree
2008-08-22
Sebas
t
i
an Pop
R
emove AC_CONFIG_MACRO_DIR([
m
4])
.
commit
|
commitdiff
|
tree
2008-08-21
Sebastian Pop
Inc
l
ude "cloog/cloo
g
.
h" and not
a
relati
v
e path
.
commit
|
commitdiff
|
tree
2008-08-20
Seb
a
st
i
an Pop
Expect PPL v
e
rsi
o
n 0
.
10
.
commit
|
commitdiff
|
tree
2008-08-12
Sebastian Po
p
Fix so
m
e memory
leaks
.
commit
|
commitdiff
|
tree
2008-08-04
Sebastian Pop
Rewo
r
k
the
C
LOOG_VERSION variables
.
commit
|
commitdiff
|
tree
2008-08-03
Sebas
t
ian
P
op
Add
b
ack cl
o
og_domain_domai
n
2m
a
t
rix
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastia
n
Pop
Export cloog_do
m
a
i
n_matr
i
x2domain in
t
he c
l
oog
i
n
t
erfac
e
.
commit
|
commitdiff
|
tree
2008-08-02
Sebas
t
ian
Pop
Don't include mallo
c
c
a
ll
s
i
n
.
h
i
n
lined
f
u
n
ction
s
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian Pop
Make Cloog compile withou
t
w
arnings
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian
Pop
Remove u
s
es of
fprintf
(stderr) that
d
o not
l
e
a
d to
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian Pop
Porte
d
S
o
l
v
e
D
i
ophantine an
d
r
emove
d
l
a
s
t
dependences
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
S
e
bast
i
a
n
Pop
ported
P
olyhedron_A
l
loc
a
n
d
Pol
y
hedron_Free
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian Pop
ported Polyhedron_Cop
y
.
commit
|
commitdiff
|
tree
2008-07-31
Seba
s
t
ian Pop
porte
d
Matrix_Prin
t
.
commit
|
commitdiff
|
tree
2008-07-31
Sebast
i
an Pop
por
t
ed Polyhedron_
P
rint
.
commit
|
commitdiff
|
tree
2008-07-31
Seba
s
ti
a
n
P
o
p
port
e
d E
m
pty_
P
o
l
yhedron
.
commit
|
commitdiff
|
tree
2008-07-31
S
e
bastian Pop
port
e
d cloog_
v
ec
t
or_normalize
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
p
orted Polyhedron2Constraints
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
ast
i
an Pop
ported Constra
i
nts2Po
l
y
hedron
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
So
r
t matrices of polyhedra
.
commit
|
commitdiff
|
tree
2008-07-31
Sebasti
a
n Po
p
Revert "Sort matrices: Cl
o
o
g
is a
r
andom
loop
g
enerator
.
.
.
commit
|
commitdiff
|
tree
2008-07-31
S
e
b
a
stian
P
o
p
Sor
t
matr
i
ces: Cloog is a
random lo
o
p
g
e
nerato
r
otherwi
s
e
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
por
t
V
ector_Combine
.
commit
|
commitdiff
|
tree
2008-07-31
Seba
s
tian Pop
p
ort Vector_Scale
.
commit
|
commitdiff
|
tree
2008-07-31
Seb
a
s
ti
a
n
P
o
p
p
o
rt Ve
c
tor_
C
op
y
.
commit
|
commitdiff
|
tree
2008-07-30
Sebastia
n
Pop
N
e
w data st
r
uctures
for
polyhedron and ma
t
rix
.
commit
|
commitdiff
|
tree
2008-07-23
Sebastian Pop
remove a
l
l domain che
c
ks
commit
|
commitdiff
|
tree
2008-07-23
S
ebastia
n
P
op
move
c
hecking funct
i
ons t
o
a
n
other file
commit
|
commitdiff
|
tree
2008-07-23
Sebastian P
o
p
port domain_simpl
i
f
y
, update the expect
e
d outputs in
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Remove checks for domain_c
o
nvex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Port
e
d
c
l
o
og_domai
n
_
convex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebast
i
a
n Pop
remove ppl
v
s pol
y
lib ch
e
c
k
.
commit
|
commitdiff
|
tree
2008-07-20
Sebasti
a
n Pop
Remove polylib vs ppl checks
.
commit
|
commitdiff
|
tree
2008-07-20
Seba
s
t
i
an P
o
p
more memory clean u
p
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Po
p
Clea
n
tsort, a
n
d some of the mem
o
ry de
a
llocat
i
on problems
.
commit
|
commitdiff
|
tree
2008-07-20
S
ebastian Pop
Ported cl
o
og_domain_
s
ort; update tes
t
suite expected
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
For each polyhe
d
ral lib bac
k
e
n
d,
add a
n
expec
t
ed
output
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Sebastian
P
o
p
po
r
ted d
o
main_difference
commit
|
commitdiff
|
tree
2008-07-11
Sebasti
a
n Po
p
spli
t
out cloog_tr
a
nsla
t
e
_const
r
a
int,
n
eeded late
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Se
b
astian P
o
p
ported add
c
onstraints
commit
|
commitdiff
|
tree
2008-07-10
Seb
a
stian Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
warn on the usage of
do
m
ai
n
_project
commit
|
commitdiff
|
tree
2008-07-09
S
e
bastian
Pop
rem
o
ve unnecessary check
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
enable PPL
v
ersion of
domain_proj
e
ct now that escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Seba
s
t
i
an Pop
rem
o
ve test escedk
.
cloog from the testsuite
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
por
t
ed domain_extend to PPL, sti
l
l with escedk
.
c
l
o
og
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Sebastian Pop
Po
r
ted
cloog_
d
omai
n
_projec
t
,
but not enabled
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
clean up
.
commit
|
commitdiff
|
tree
2008-07-05
Sebast
i
an Pop
don't
u
se cloog_p
o
lyhedron_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Se
b
astian Pop
don't use cloog_
p
olyhed
r
on_dim
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian P
o
p
don't use
cloog_p
o
lyhedron_nbc
.
commit
|
commitdiff
|
tree
2008-07-05
S
e
bastian
P
o
p
don't use clo
o
g_polyhe
d
ron_next
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
Mak
e
domain_u
n
ion
w
or
k
with PPL: don't use Pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
S
ebas
t
ian Pop
add cloog
d
omain debu
g
ging at ev
e
ry operation
commit
|
commitdiff
|
tree
2008-06-17
Se
b
astian Pop
rename and
a
d
d ->next to the
u
n
i
o
n of polyhedr
a
commit
|
commitdiff
|
tree
2008-06-17
S
e
bastian
P
o
p
wrap p
o
ly
h
edro
n
i
n
an
a
d
ditional structu
r
e
for being
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebastian Pop
new d
e
buggin
g
function
commit
|
commitdiff
|
tree
2008-06-13
S
ebast
i
an
P
op
Cl
o
ogDomain is a
unio
n
of conv
e
x polyhedra
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
don't
use polyhedron->nex
t
commit
|
commitdiff
|
tree
2008-06-13
Seba
s
tian Pop
simp
l
ify dom
a
in check
i
n
g fun
c
ti
o
n
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
a
b
stract domain
s
checking to a separa
t
e function
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian Pop
fi
x
t
y
po
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
Cloo
g
Domain belongs
to the ba
c
k
-en
d
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
r
e
mov
e
unu
s
ed
commit
|
commitdiff
|
tree
2008-06-13
Seb
a
stian Pop
d
omai
n
inte
r
secti
o
n
p
o
rt for PPL
commit
|
commitdiff
|
tree
2008-06-13
Sebastian
P
o
p
don't us
e
me
m
o
r
y tracking for matrix alloc
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
f
irst shot at
the PPL
t
o
Polylib tran
s
lation
commit
|
commitdiff
|
tree
2008-06-11
Sebast
i
an Pop
first shot at translating Polyl
i
b matrices to PPL
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astian P
o
p
i
n
it
i
aliz
e
and finalize
c
loog lib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
add initia
l
ization functions for cloog
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
don
'
t
u
se
c
loog_domain_leak_{up,do
w
n}
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian Pop
make cloog compile with gmp
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
include
con
d
iti
o
nal
l
y
ppl_
c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
Pop
Cloog sho
u
l
d no
t
be configu
r
ed with
b
oth PPL an
d
Po
l
yLib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
r
emove unused
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
ian Pop
don't us
e
PPL if not c
o
nfigured with
-
-with-ppl
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
p
rint s
o
met
h
ing when an
o
pera
t
ion i
s
n
o
t
supported
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian
P
op
don't support clo
o
g_domai
n
_simple_convex
:
left for
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
rem
o
ve comm
e
n
t
s
p
ecific
t
o
p
olylib
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
run inde
n
t, no other
c
hang
e
s
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian Pop
d
o
n't f
a
il wh
e
n one of the
polyhedral li
b
s is
n
o
t
present
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
add configure bits for PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
ad
d
a back-end for PPL
commit
|
commitdiff
|
tree
2008-06-10
S
e
bastian P
o
p
m
o
ve matrix
.
h to polylib back-end
commit
|
commitdiff
|
tree
2008-06-10
S
ebast
i
an Pop
m
o
ve clast
.
c to polylib back-end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
removed all uses o
f
CloogMatrix from
.
h file
s
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
stian Pop
remove
u
sage of Matrix from
c
last
.
h: make
that function
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
remove unused
b
lock->scattering
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
r
e
mov
e
unused decla
r
atio
n
s
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian
P
op
fix craziness
commit
|
commitdiff
|
tree
2008-06-10
S
e
basti
a
n Pop
nev
e
r us
e
->paramete
r
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never use
->iterators
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
never use ->scalars
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n Pop
never use ->nb_parameter
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
n
e
v
e
r use ->
n
b_it
e
ra
t
o
r
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
never
u
se
-
>nb_s
c
attering
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian P
o
p
never use ->nb_s
c
a
l
a
r
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Po
p
never
u
se ->bloc
k
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
tian Pop
never
use ->next
commit
|
commitdiff
|
tree
next