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
P
op
U
se C po
l
y
h
edra not NNC a
s
suggested by Roberto Bagnara
.
commit
|
commitdiff
|
tree
2008-08-22
Sebastian P
o
p
U
pd
a
te t
e
stsuite
f
or ppl-0
.
10pre24
.
commit
|
commitdiff
|
tree
2008-08-22
Seb
a
s
t
ian
P
op
Use simplif
y
_using_context
_
assign to im
p
l
e
m
e
n
t domain_s
i
mplify
.
commit
|
commitdiff
|
tree
2008-08-22
S
e
bastian Pop
Remo
v
e AC_
C
ONF
I
G_M
A
CRO_DIR([m4])
.
commit
|
commitdiff
|
tree
2008-08-21
Seba
s
t
ian
P
op
Include "cloog/cloog
.
h" and not a relative path
.
commit
|
commitdiff
|
tree
2008-08-20
Seb
a
stian P
o
p
Expect PPL
v
ersio
n
0
.
10
.
commit
|
commitdiff
|
tree
2008-08-12
Seba
s
t
ian Pop
F
i
x
some
m
emory leaks
.
commit
|
commitdiff
|
tree
2008-08-04
S
ebastian Pop
Rew
o
rk
the C
L
OOG_
V
ERSION variables
.
commit
|
commitdiff
|
tree
2008-08-03
Sebastian P
o
p
Add
b
ack cloog_dom
a
in_domain2matrix
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian
P
op
Export
cloog_dom
a
in_mat
r
i
x
2
domain in the cloog interface
.
commit
|
commitdiff
|
tree
2008-08-02
Seba
s
tian Pop
Don't include malloc
c
alls in
.
h
inlined functions
.
commit
|
commitdiff
|
tree
2008-08-02
S
ebastian Po
p
Make
C
loog compil
e
without warni
n
gs
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian Pop
Re
m
o
ve u
s
es of fprintf (stderr) that do
n
ot
lead
to
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
S
e
b
a
st
i
an Pop
Por
t
ed SolveDiophant
i
n
e
and remov
e
d
l
a
st depende
n
ces
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
S
ebas
t
ian Pop
ported Polyhedr
o
n_Alloc and Pol
y
hedron_Free
.
commit
|
commitdiff
|
tree
2008-08-01
Sebas
t
i
an Pop
ported
Polyhedron_Copy
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian
Pop
po
r
ted Matri
x
_Pr
i
nt
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
p
orted Polyhedron_Print
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
astian Pop
ported Empty
_
Pol
y
hedron
.
commit
|
commitdiff
|
tree
2008-07-31
Sebas
t
ia
n
Pop
ported cloo
g
_ve
c
tor_norm
a
lize
.
commit
|
commitdiff
|
tree
2008-07-31
Sebast
i
an Pop
porte
d
Polyhedr
o
n2
C
onstraints
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian
Pop
po
r
ted Con
s
t
r
aints2Poly
h
edron
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
Sort matrices of polyhedra
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
Revert "S
o
rt matrices: C
l
oo
g
is a
random loop generato
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
Sort
m
atrices:
Cloog is a ran
d
om loop
g
e
ner
a
tor othe
r
wise
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
port Vect
o
r_Combine
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian
Pop
port Vector_S
c
a
le
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
a
s
tian Pop
port V
e
ctor_Co
p
y
.
commit
|
commitdiff
|
tree
2008-07-30
Sebastian P
o
p
Ne
w
d
ata
structures for p
o
l
y
hedron a
n
d
m
atrix
.
commit
|
commitdiff
|
tree
2008-07-23
Seb
a
stian Pop
remove all dom
a
in
c
hecks
commit
|
commitdiff
|
tree
2008-07-23
S
e
bastian Pop
move
c
h
e
ckin
g
fun
c
ti
o
ns to an
o
ther file
commit
|
commitdiff
|
tree
2008-07-23
Sebast
i
an P
o
p
port domain_si
m
pl
i
fy, upd
a
te th
e
e
x
pected outpu
t
s
in
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ebastian
Pop
Remove checks
f
or domai
n
_convex
.
commit
|
commitdiff
|
tree
2008-07-20
Seba
s
t
i
an Pop
Por
t
ed cloog_d
o
mai
n
_conv
e
x
.
commit
|
commitdiff
|
tree
2008-07-20
Seb
a
stian Pop
remo
v
e ppl vs
p
olylib check
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
astian Pop
Remove po
l
ylib vs ppl check
s
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastia
n
P
o
p
mor
e
me
m
ory
clean up
.
commit
|
commitdiff
|
tree
2008-07-20
Sebast
i
a
n
Pop
Clean tsort, and
s
o
m
e of
t
he m
e
m
o
ry d
e
allocation problem
s
.
commit
|
commitdiff
|
tree
2008-07-20
Se
b
astian Pop
Po
r
t
e
d cloog_domain_sort;
u
pdate testsuite expe
c
ted
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebasti
a
n
P
op
F
o
r
each pol
y
hedral lib
backend, add
a
n expe
c
ted ou
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Se
b
astian Pop
p
o
rted do
m
ain_difference
commit
|
commitdiff
|
tree
2008-07-11
Sebastian Po
p
split out cl
o
og_translate_constraint, needed
l
ater
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
S
eba
s
tian Pop
ported addconstraints
commit
|
commitdiff
|
tree
2008-07-10
Sebastian Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
S
e
bas
t
ian Pop
warn on the usag
e
of dom
a
i
n
_p
r
oject
commit
|
commitdiff
|
tree
2008-07-09
Sebastia
n
Pop
remove unnecessa
r
y c
h
ec
k
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastia
n
Pop
enable
P
PL
v
ersion o
f
dom
a
in_p
r
oje
c
t now t
h
at escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
r
emove test e
s
cedk
.
c
l
oog from the testsuite
.
commit
|
commitdiff
|
tree
2008-07-08
Seba
s
ti
a
n
P
op
por
t
ed
domain_extend to PPL
,
still with esce
d
k
.
cloog
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
S
e
ba
s
t
ian Pop
P
ort
e
d
cl
o
og_domai
n
_project,
but no
t
enabled
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian P
o
p
cl
e
an
u
p
.
commit
|
commitdiff
|
tree
2008-07-05
Seb
a
s
t
ian Pop
don'
t
use cloog_p
o
lyhedron_nbeq
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don't
use cloog_po
l
yhedron_dim
.
commit
|
commitdiff
|
tree
2008-07-05
S
e
bastian Pop
don't
u
s
e c
l
oog_polyhedron_nb
c
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastia
n
Pop
don't use cloog_polyh
e
dron_next
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
Make domai
n
_union work
with PPL: don't use Polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebas
t
ian P
o
p
a
dd cloog
domain
d
ebugg
i
ng at eve
r
y
oper
a
tion
commit
|
commitdiff
|
tree
2008-06-17
Sebastia
n
P
op
rename a
n
d add -
>
next
t
o the uni
o
n of polyhedra
commit
|
commitdiff
|
tree
2008-06-17
S
e
bastian Pop
w
r
ap polyhedron
in a
n
a
d
d
itional s
t
ruct
u
re
for being
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
Sebastian Pop
new
debuggi
n
g functio
n
commit
|
commitdiff
|
tree
2008-06-13
Se
b
astian Po
p
CloogDo
m
ain is a unio
n
of convex polyhedra
commit
|
commitdiff
|
tree
2008-06-13
Sebasti
a
n Pop
don't use po
l
yhedro
n
->ne
x
t
commit
|
commitdiff
|
tree
2008-06-13
S
ebastian Po
p
simpl
i
fy domain
c
hecking functio
n
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an Pop
abstract do
m
ai
n
s checki
n
g to a
s
eparate function
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an Pop
fix t
y
po
commit
|
commitdiff
|
tree
2008-06-13
Se
b
a
stian Po
p
CloogDomain belongs to the
back-en
d
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
r
e
move unused
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
domain intersection port fo
r
PPL
commit
|
commitdiff
|
tree
2008-06-13
S
e
bastian Pop
don'
t
use mem
o
ry tracking fo
r
matr
i
x
alloc
commit
|
commitdiff
|
tree
2008-06-11
Sebast
i
an Pop
first shot at the P
P
L
to P
o
lylib
t
ransla
t
io
n
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
first s
h
o
t
at tr
a
n
sla
t
ing Polyli
b
ma
t
rices
to PPL
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astia
n
Pop
initializ
e
and finalize
c
loog
lib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
add initializa
t
io
n
functions for
c
loog
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
don't
u
se
c
lo
o
g_dom
a
i
n
_
leak_{up,down}
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Pop
make cloog compi
l
e
with gmp
commit
|
commitdiff
|
tree
2008-06-11
S
e
bas
t
ian Pop
include conditionally ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
C
l
oog should
no
t
be configured wi
t
h bot
h
PPL and
PolyL
i
b
commit
|
commitdiff
|
tree
2008-06-11
Sebas
t
i
a
n
Pop
remove unuse
d
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astia
n
P
op
don't use PPL if not configured with --wi
t
h-
p
pl
commit
|
commitdiff
|
tree
2008-06-11
Sebasti
a
n
P
op
print so
m
ething
when an oper
a
t
ion is not sup
p
orted
commit
|
commitdiff
|
tree
2008-06-11
S
ebastian P
o
p
don't
s
upport cloog_doma
i
n_simple_convex: left fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastia
n
Pop
re
m
ove co
m
ment specific to poly
l
i
b
commit
|
commitdiff
|
tree
2008-06-10
Se
b
astian Pop
run i
n
dent,
n
o
o
ther changes
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
do
n
'
t
f
ai
l
when one
o
f the p
o
l
y
hedra
l
lib
s
is not present
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
add
configure bits for PPL
commit
|
commitdiff
|
tree
2008-06-10
Seb
a
sti
a
n Pop
add
a
back-end fo
r
PPL
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
move matrix
.
h to
p
olylib back-en
d
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
P
op
move c
l
ast
.
c to p
o
l
y
lib back-end
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
removed all uses of Cloog
M
atrix from
.
h
f
ile
s
commit
|
commitdiff
|
tree
2008-06-10
S
ebastian
Pop
re
m
ove us
a
ge of Matr
i
x from clas
t
.
h: ma
k
e that
f
unction
.
.
.
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
r
e
m
ov
e
unu
s
ed
block->sc
a
tt
e
ring
commit
|
commitdiff
|
tree
2008-06-10
Sebastian P
o
p
remove unused declar
a
tions
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
fix cra
z
iness
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
i
an Pop
n
e
ver use ->par
a
meters
commit
|
commitdiff
|
tree
2008-06-10
Seba
s
t
ian P
o
p
never use ->it
e
rators
commit
|
commitdiff
|
tree
2008-06-10
Sebas
t
ian Pop
never use
-
>
scal
a
rs
commit
|
commitdiff
|
tree
2008-06-10
Sebasti
a
n
P
op
never
u
s
e
->n
b
_parame
t
ers
commit
|
commitdiff
|
tree
2008-06-10
Sebastian
Pop
never use ->nb_itera
t
or
s
commit
|
commitdiff
|
tree
2008-06-10
Sebastian Pop
n
e
ver use ->n
b
_scattering
commit
|
commitdiff
|
tree
2008-06-10
S
e
b
a
stian Pop
never use
-
>nb_
s
cal
a
rs
commit
|
commitdiff
|
tree
next