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
Bump CLOOG_VERSION_REVISION to 5.
2009-07-31
S
eba
s
t
i
an Pop
Bump CLOOG
_
VERSION_RE
V
ISION to 5
.
commit
|
commitdiff
|
tree
2009-07-31
Sebasti
a
n Po
p
Add al
l
the f
i
les generated by
a
utoconf
.
commit
|
commitdiff
|
tree
2009-06-19
Seba
s
tian Pop
F
i
x
uninitiali
z
ed config
u
re
vari
a
b
l
e
commit
|
commitdiff
|
tree
2009-06-09
Sebastian P
o
p
Fix comp
i
lation with -W
c
++-compat war
n
ing
.
commit
|
commitdiff
|
tree
2009-06-08
Sebastian Pop
Make it compilable with a
c
++
c
ompiler
commit
|
commitdiff
|
tree
2009-05-24
S
e
bastian Pop
Fix m
e
m
o
r
y
leak
commit
|
commitdiff
|
tree
2009-05-15
Sebastian Pop
Im
p
ort
cloog_domain_
s
catter from
cloo
g
trunk
.
commit
|
commitdiff
|
tree
2009-04-09
Sebastian Pop
Add @dir
c
ategory and @direntry to the t
e
x
i
file
commit
|
commitdiff
|
tree
2009-04-09
S
e
bastian
Pop
Allow the use of
--with-ppl wi
t
hout paramet
e
r
commit
|
commitdiff
|
tree
2009-04-09
Sebastian Pop
AC_DEF
I
NE requires 3 paramet
e
rs on au
t
o
conf
2
.
63
commit
|
commitdiff
|
tree
2009-03-29
Sebastian Pop
Check for sys/resou
r
ce
.
h
commit
|
commitdiff
|
tree
2009-02-10
Sebasti
a
n Pop
Add mi
s
si
n
g cloog
-
c
o
nfig
.
h
.
in
commit
|
commitdiff
|
tree
2009-02-10
Sebast
i
an Pop
Remove some
files
left in buil
d
di
r
after make clean
commit
|
commitdiff
|
tree
2009-02-10
Sebastian Pop
Add a cloog-config
.
h file
commit
|
commitdiff
|
tree
2008-10-08
Sebastian Pop
Fix memory le
a
ks
.
commit
|
commitdiff
|
tree
2008-10-02
S
e
b
a
stian Pop
Fix use of PPL
f
unctio
n
s
.
commit
|
commitdiff
|
tree
2008-09-24
S
e
bastia
n
Pop
F
i
x missing
m
a
tr
i
x
.
h
i
n
generated tarball
.
commit
|
commitdiff
|
tree
2008-09-03
Sebas
t
ian Pop
Correc
t
the cloog_* versio
n
func
t
ions
.
commit
|
commitdiff
|
tree
2008-08-24
Sebasti
a
n Pop
Use C pol
y
h
e
dra
n
ot
N
NC
a
s suggested by Roberto Bagnara
.
commit
|
commitdiff
|
tree
2008-08-22
Sebastian
P
op
Update testsuite for ppl-0
.
10pre24
.
commit
|
commitdiff
|
tree
2008-08-22
Sebasti
a
n Pop
Use simpl
i
fy_using_con
t
ext_assi
g
n to
impl
e
ment domain_
s
i
m
pl
i
fy
.
commit
|
commitdiff
|
tree
2008-08-22
Sebastian P
o
p
Remove AC_
C
ONFIG_M
A
CRO_DIR
(
[m4])
.
commit
|
commitdiff
|
tree
2008-08-21
S
ebastian Pop
Include
"
c
l
oog/cloog
.
h
" and not a r
e
lative
pa
t
h
.
commit
|
commitdiff
|
tree
2008-08-20
S
ebas
t
ian Pop
Ex
p
ect PPL version 0
.
10
.
commit
|
commitdiff
|
tree
2008-08-12
Sebastian Pop
Fix some memory leak
s
.
commit
|
commitdiff
|
tree
2008-08-04
Sebastian Pop
Rework the
CLOOG_
V
ERSION variables
.
commit
|
commitdiff
|
tree
2008-08-03
Sebastia
n
P
o
p
Add
bac
k
cloog_do
m
ain_domain2
m
atrix
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian Pop
Export cloog_do
m
a
i
n
_mat
r
ix
2
do
m
ain i
n
t
he cloog in
t
erfa
c
e
.
commit
|
commitdiff
|
tree
2008-08-02
Seba
s
tian Pop
Don
'
t inclu
d
e
m
a
l
loc call
s
i
n
.
h
i
n
lined functions
.
commit
|
commitdiff
|
tree
2008-08-02
Sebastian Pop
Make Cloog compi
l
e without warnings
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian
P
op
Remove uses
of fp
r
i
n
tf (st
d
err
)
t
hat do not lead to
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
Seba
s
tian Pop
Ported S
o
l
v
eDiophantine and removed last dependences
.
.
.
commit
|
commitdiff
|
tree
2008-08-01
Seba
s
tian Pop
ported Polyhedron_Al
l
oc and Polyhedron
_
Free
.
commit
|
commitdiff
|
tree
2008-08-01
Sebastian
P
o
p
ported
P
o
l
y
h
edr
o
n_
C
opy
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian P
o
p
porte
d
Matrix_Print
.
commit
|
commitdiff
|
tree
2008-07-31
S
ebastian Pop
ported Polyhedron_Print
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
porte
d
Empty_Pol
y
hedron
.
commit
|
commitdiff
|
tree
2008-07-31
Sebasti
a
n Pop
por
t
ed cloog_vector_norm
a
lize
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian Pop
por
t
ed P
o
lyhedron2C
o
nstraints
.
commit
|
commitdiff
|
tree
2008-07-31
Seb
a
s
t
i
a
n Pop
ported
C
onstrain
t
s2Polyhe
d
ro
n
.
commit
|
commitdiff
|
tree
2008-07-31
Sebasti
a
n Pop
S
o
rt matrices of polyhed
r
a
.
commit
|
commitdiff
|
tree
2008-07-31
Se
b
astian Pop
Revert
"
Sort ma
t
rices:
C
l
o
o
g is a ra
n
dom loop ge
n
erat
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-31
Sebastian P
o
p
S
o
rt matrices: Cloo
g
is
a
r
a
ndom loop
generator o
t
herw
i
se
.
commit
|
commitdiff
|
tree
2008-07-31
Sebast
i
an Pop
p
o
r
t
Vector_Com
b
ine
.
commit
|
commitdiff
|
tree
2008-07-31
S
ebastian Pop
port
V
ector_Scale
.
commit
|
commitdiff
|
tree
2008-07-31
Seb
a
stian Pop
port
Vec
t
or_Copy
.
commit
|
commitdiff
|
tree
2008-07-30
Sebastian Pop
New dat
a
structures
f
o
r polyhedron
a
n
d matrix
.
commit
|
commitdiff
|
tree
2008-07-23
Se
b
astian
P
op
r
e
m
o
v
e
all domain chec
k
s
commit
|
commitdiff
|
tree
2008-07-23
S
ebast
i
an
P
op
move c
h
ec
k
ing fun
c
tions to another file
commit
|
commitdiff
|
tree
2008-07-23
Se
b
astian Pop
port domai
n
_simpl
i
fy, update th
e
ex
p
ected outpu
t
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastia
n
Pop
Remove checks f
o
r d
o
m
a
i
n_convex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Ported
c
loo
g
_domain_convex
.
commit
|
commitdiff
|
tree
2008-07-20
Sebas
t
i
an Pop
remove
p
p
l
vs
p
olylib
ch
e
ck
.
commit
|
commitdiff
|
tree
2008-07-20
Seba
s
ti
a
n P
o
p
Remove po
l
ylib vs p
p
l chec
k
s
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian
P
op
m
o
re me
m
ory clean up
.
commit
|
commitdiff
|
tree
2008-07-20
S
e
bastia
n
P
o
p
C
l
ean
ts
o
r
t
, a
n
d some of t
h
e
m
emory deallocation pr
o
blems
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian Pop
Ported
cl
o
og_domain_sort; update tes
t
s
uite e
x
pecte
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sebastian P
o
p
For each poly
h
edra
l
lib backe
n
d,
a
dd
an expected ou
t
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-16
Se
b
astia
n
Pop
ported domain_difference
commit
|
commitdiff
|
tree
2008-07-11
Sebastian Pop
split
out
c
loog_translate_constrai
n
t
,
ne
e
ded
later
.
.
.
commit
|
commitdiff
|
tree
2008-07-10
Seb
a
stia
n
Pop
ported addc
o
n
s
traints
commit
|
commitdiff
|
tree
2008-07-10
Sebastian
Pop
cleanup
.
commit
|
commitdiff
|
tree
2008-07-09
Sebastia
n
P
o
p
w
a
r
n o
n
the usage
o
f domain_p
r
oject
commit
|
commitdiff
|
tree
2008-07-09
Sebastian Pop
remove unneces
s
ary che
c
k
.
commit
|
commitdiff
|
tree
2008-07-08
S
ebastian Pop
enable
PPL version of domain_project now that escedk
.
.
.
commit
|
commitdiff
|
tree
2008-07-08
Sebastian Pop
remo
v
e test escedk
.
cloog fro
m
the test
s
uite
.
commit
|
commitdiff
|
tree
2008-07-08
S
ebastian Pop
port
e
d
d
o
main_exte
n
d t
o
P
P
L, sti
l
l
wi
t
h escedk
.
cloog
.
.
.
commit
|
commitdiff
|
tree
2008-07-07
Sebasti
a
n Po
p
Ported cloog_d
o
main_project, but not enab
l
ed
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
cl
e
an u
p
.
commit
|
commitdiff
|
tree
2008-07-05
S
e
bastian Pop
don't use
c
loog_polyh
e
dron_nbe
q
.
commit
|
commitdiff
|
tree
2008-07-05
Sebast
i
a
n Pop
don't use cloog
_
pol
y
h
edro
n
_
dim
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian
Po
p
don
'
t us
e
cloog_polyhedron_n
b
c
.
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
don'
t
u
se clo
o
g_polyh
e
dron_n
e
x
t
commit
|
commitdiff
|
tree
2008-07-05
Sebastian Pop
Make dom
a
i
n
_union wo
r
k w
i
th PPL: don't use Polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-07-03
Sebastian Pop
add clo
o
g domain debugging at every operat
i
on
commit
|
commitdiff
|
tree
2008-06-17
Sebastian Pop
r
en
a
me and add -
>
next to th
e
u
nion of
p
oly
h
edra
commit
|
commitdiff
|
tree
2008-06-17
Sebastian Pop
wrap polyhed
r
on in
a
n additional
structure for be
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-06-16
S
eba
s
tian Po
p
new
d
e
bugging functi
o
n
commit
|
commitdiff
|
tree
2008-06-13
Sebastia
n
Pop
C
loogDoma
i
n is a union of convex poly
h
edra
commit
|
commitdiff
|
tree
2008-06-13
Seba
s
tian Pop
don't use
polyhedron->
n
e
x
t
commit
|
commitdiff
|
tree
2008-06-13
Sebastian Pop
si
m
plify domain
checking fu
n
ction
commit
|
commitdiff
|
tree
2008-06-13
Sebasti
a
n
Pop
abstract
domains checking to a se
p
a
r
ate function
commit
|
commitdiff
|
tree
2008-06-13
Seba
s
tian Pop
fi
x
typo
commit
|
commitdiff
|
tree
2008-06-13
Sebastia
n
Pop
CloogDo
m
ain belongs to
t
he back-end
commit
|
commitdiff
|
tree
2008-06-13
Sebast
i
an
P
op
remove u
n
u
s
ed
commit
|
commitdiff
|
tree
2008-06-13
Sebasti
a
n
Pop
d
o
main inter
s
e
c
t
ion
port for PPL
commit
|
commitdiff
|
tree
2008-06-13
S
ebastian Pop
don't use memory t
r
ac
k
ing for m
a
trix
a
l
loc
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian Pop
first shot at the PPL to
P
o
lylib tran
s
lation
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
fi
r
st s
h
ot
at transl
a
ting Polylib
m
atri
c
es to PPL
commit
|
commitdiff
|
tree
2008-06-11
S
e
bas
t
ia
n
P
op
initi
a
lize and finalize clo
o
g lib
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
add ini
t
i
a
liz
a
tion functions for
cloog
commit
|
commitdiff
|
tree
2008-06-11
Sebastian
P
op
don't use cloog_
d
omain_leak_{u
p
,down}
commit
|
commitdiff
|
tree
2008-06-11
Se
b
astia
n
Pop
make c
l
oog compile w
i
th
g
mp
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stia
n
P
op
i
n
c
l
ude c
o
nd
i
tio
n
ally ppl_c
.
h
commit
|
commitdiff
|
tree
2008-06-11
S
e
bastian Po
p
Cloog should
not
be configured with
b
oth PPL and PolyLib
commit
|
commitdiff
|
tree
2008-06-11
S
eb
a
stian Po
p
remove unused
commit
|
commitdiff
|
tree
2008-06-11
Sebastian Pop
don't
use P
P
L if not
c
onfigur
e
d wit
h
--with-ppl
commit
|
commitdiff
|
tree
2008-06-11
Seb
a
stian Pop
pri
n
t somethin
g
when an operation
i
s not supported
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
tian Pop
don't
s
upport
c
l
oog_domain_simple_convex: lef
t
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Seba
s
t
ian Pop
remove comment
specif
i
c
to
p
oly
l
i
b
commit
|
commitdiff
|
tree
next