repo.or.cz
/
cloog.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl backend: support existentially quantified variables in domains
2009-01-23
Sven Verd
o
olaeg
e
isl backend: support existentially quant
i
fied variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
isl ba
c
kend:
d
rop exi
s
tentials when computin
g
fallback
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
u
pdate isl for plug for
isl_map_simple_hul
l
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdo
o
laeg
e
updat
e
isl
for
c
hanged
calling conv
e
ntions o
f
isl_basi
c
_
s
et_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdo
o
lae
g
e
u
p
d
a
te isl for change i
n
calling co
n
ventio
n
of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Ver
d
oolaege
update is
l
for ref
c
o
u
nted is
l
_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
updat
e
isl
for in
t
roduction o
f
i
sl_dim stru
c
ture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c:
i
nsert_guard: i
n
sert mod
u
lo guards based on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
last
.
c: extract o
u
t cl
o
og_constraint_s
e
t
_
n_it
e
rat
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
cla
s
t
.
c:
e
x
tract out c
o
mmon
c
loog_constraint
_
variable
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast: a
l
low
c
las
t
_term to represe
n
t multiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
laege
clast
.
c: extract
o
ut com
m
o
n cloog_names
_
n
a
me_at_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdo
o
laege
minor
c
hanges to CloogCons
t
raint
a
bstracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
rdoolaege
Fix up optional inclusion of backup mp_get
_
m
emor
y
_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sven V
e
r
d
oola
e
ge
cloog
/
co
n
straints
.
h: don't
put
#
include's inside extern "C"
commit
|
commitdiff
|
tree
2008-12-23
S
ven Verdoo
l
ae
g
e
drop unused clo
o
g
_constraint_
s
et_co
u
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
Sven
Verdoolaege
Add backup mp
_
g
e
t_memory_fun
c
tion
s
i
mplementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sven Ver
d
oolaege
update
i
sl for compa
t
ibility with ol
d
gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven
Verdoolaege
up
d
ate isl for improved
p
i
p
lib effic
i
ency
commit
|
commitdiff
|
tree
2008-11-08
Sven
Ve
r
doolaege
Look fo
r
more opp
o
rtun
i
ties for
blocking s
t
a
te
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Verdoola
e
ge
cloog
_
program_rea
d
: de
l
ay construc
t
io
n
of
b
locklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven
Verdoolaege
c
l
oog_loop_separate: combine
loops with ident
i
cal doma
i
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oola
e
g
e
cloog_loop
_
s
epa
r
a
t
e:
minor clean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolaeg
e
cloog_loo
p
_se
p
arate
:
exploit disjointness of loop domai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sve
n
Ve
r
doo
l
aege
clast
.
c:
sort equations in
g
u
a
rd clasts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sv
e
n
V
erd
o
olaege
Optionally refrain from print
i
ng any in
f
ormational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sv
e
n Verdoo
l
aege
clast
.
c: d
o
n't insert any "scalars" for
le
v
el 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoola
e
g
e
source/i
s
l: fix ty
p
os in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoolaege
Explicitly
s
pecify -
r
p
ath f
o
r li
b
tool libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoo
l
a
ege
include
/
clo
o
g/doma
i
n
.
h: avoid use of C++ keyword "temp
l
a
t
e
"
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
add is
l
bac
k
e
n
d
commit
|
commitdiff
|
tree
2008-10-14
S
v
en Verdoolae
g
e
optio
n
s
.
c: remove -
r
ays
o
p
tion
commit
|
commitdiff
|
tree
2008-10-03
S
v
en Verdoolae
g
e
Handle 0D problems by
a
dding
a
0th level
t
o
t
h
e
ma
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sven Verdo
o
laege
cloog_lo
o
p_
m
e
r
g
e: en
s
ure lo
o
p dom
a
i
ns are c
o
nvex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdo
o
l
a
ege
i
nsert_guard: make su
r
e coef
f
icient
in l
e
ft hand side
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
d
oolaeg
e
ins
e
r
t
_
g
uard: avoi
d
o
ut-
o
f-bo
u
n
d
s
a
ccess
commit
|
commitdiff
|
tree
2008-10-02
S
v
en
V
erdoolaege
Introduc
e
CloogConstraint abstraction
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoolaege
Rename CloogCo
n
straints to CloogConstraintS
e
t
commit
|
commitdiff
|
tree
2008-10-02
Sven Ve
r
doolaege
f
ix typos in
i
nsert_loop comments
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
rdool
a
ege
cloog_domain_print_str
u
c
t
ure: print all polyhedra
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
r
doolaege
Let cloog_domain_
l
owerbound_update return
t
he upda
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdoolaege
Combine cloog_
s
catte
r
ing_la
z
y_is
s
calar and cloog
_
scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en V
e
r
d
o
o
l
aege
in
c
lude
/
cloog/dom
a
in
.
h: remove decl
a
ration
s
of (unused
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
en Verdool
a
ege
t
e
s
t
/test_
r
un
:
only c
h
eck simplified hull ge
n
e
r
a
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
o
o
laege
test/t
e
st
_
run: also check corr
e
ctness of simplified
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
cl
o
o
g
_domain_simplif
y
: avoid o
u
t-of-bounds array a
c
cess
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
oolaege
Trea
t
paramet
e
r do
m
ains di
f
ferently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
Change semantic
s
o
f
cloog_domain
_
cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
ae
g
e
c
loog_domain_isempty: a
c
cept NULL argument
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
cloog_domain_empty: make empty domai
n
u
s
i
ng template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Inform functio
n
readi
n
g in sc
a
ttering
f
u
nc
t
ion of
domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaeg
e
p
ass the number of par
a
meters
to functions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
introduce C
l
oogScattering abstra
c
tion
commit
|
commitdiff
|
tree
2008-09-23
Sven Ve
r
doolaege
make te
x
tual tests backend dependent
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
a
ege
sort ele
m
e
n
ts of min and max red
u
ct
i
o
n c
l
asts
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolaege
allow out-
o
f-src
t
est fil
e
g
e
neratio
n
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoola
e
ge
Remove l
i
nes referring to
"
number of polyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdool
a
ege
Pa
s
s
Cloog
O
ptions to func
t
ion reading (lists of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
al
l
ow backends to ha
v
e their own options
commit
|
commitdiff
|
tree
2008-09-23
Sven
V
erd
o
olaege
configure: handle gmp and polylib
"
submodules" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cr
e
ate bac
k
end (Po
l
yLi
b
) s
p
ecif
i
c
libr
a
ry
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdoolaege
remo
v
e dependence on Pol
y
Li
b
from cloog core
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Test co
r
rectn
e
ss of gen
e
ra
t
ed c
o
de, without requiring
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
la
e
ge
a
d
d cloog_domai
n
_cube
function, returnin
g
a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
Let cl
o
og_d
o
main
_
universe retur
n
a unive
r
s
a
l
do
m
ain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
R
eplace us
e
of
V
alue i
n
cloog core by new
c
loog_int_t
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verdoola
e
ge
ab
s
tract out Cloo
g
M
atrix
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
clast
.
c: use C
l
oogEqualities an
d
Cl
o
ogC
o
nstra
i
nts instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
CloogBlock
:
remove unu
s
ed sc
a
tte
r
in
g
f
i
e
l
d
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
avoid u
s
e
of matric
e
s in sou
r
ce/program
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sven Ver
d
ool
a
ege
c
o
mpl
e
te CloogDomain ab
s
traction
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolaege
d
o
main
.
c: remo
v
e
some unused functio
n
s
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
move clo
o
g_va
l
ue_{up,down} out of do
m
ain
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
p
e
rfo
r
m
s
p
ecial o
p
tions tests in a
loop
commit
|
commitdiff
|
tree
2008-09-15
Sven
Verdoolaege
tests: print
unified diff
between e
x
pected and obtai
n
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Ve
r
dool
a
ege
A
dd -c
a
llable option
f
or generating
code to be
used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verdoolaege
make default
CFLAGS overridable
commit
|
commitdiff
|
tree
2008-09-15
Sven
V
erd
o
olae
g
e
cloog_names_read_str
i
ngs: f
i
x
c
heck fo
r
s
uff
i
cient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdool
a
ege
Remove escedk te
s
t
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoo
l
aege
Fix up viv
i
en an
d
vivien2
tests
commit
|
commitdiff
|
tree
2008-09-11
Sven Verdoolaege
Fix
clo
o
g
_
domain_lazy_disjo
i
nt
commit
|
commitdiff
|
tree
2008-09-06
Sven
Ve
r
doolaege
fix memory
l
eak in clast constr
u
c
tio
n
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
add examples subd
i
rectory to the distribution
commit
|
commitdiff
|
tree
2008-08-31
S
v
e
n V
e
rdoolaege
Manual
l
y gen
e
rate
p
df file using texi2
d
vi
commit
|
commitdiff
|
tree
2008-08-06
Sv
e
n Verdo
o
l
aege
source/clast
.
c:
dete
c
t pair
s
of inequa
l
ities t
h
at
u
ni
q
uely
.
.
.
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verd
o
ola
e
ge
configure:
don't check polylib heade
r
f
ile on --with
.
.
.
commit
|
commitdiff
|
tree
2008-06-11
Sven Verdoolae
g
e
config
u
re: fix
det
e
ction
o
f polylib s
r
cd
i
r w
h
en --wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-11
Lou
i
s-Noel Pouchet
Rename clast_line to clast_bound_from_const
r
aint, and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-11
L
o
ui
s
-Noel Pouchet
E
xtend
C
loogProgram, Clo
o
g
Loo
p
and CloogBlock structure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-10
Sv
e
n V
e
rdoolaeg
e
c
l
ast_stmt: repl
a
c
e
ty
p
e by vta
b
le identifying the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-08
Louis
-
No
e
l Pouchet
Add m
i
ssing inclusive protectio
n
head
e
r
guard in cloog
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-08
Louis-N
o
el Pouchet
Chang
e
#define CloogMatr
i
x
t
o
ty
p
edef equi
v
a
lent
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
Remove doc/cloog
.
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
conf
i
gure
.
in: do
n
't
r
equire p
o
lylib to have
b
e
e
n compiled
.
.
.
commit
|
commitdiff
|
tree
2008-03-07
Sven
Verdoolaege
doc/Makefile
.
a
m
:
add rule to compile docu
m
entatio
n
commit
|
commitdiff
|
tree
2008-03-07
Sven Verdoolaege
cloog_loop_scalar_sort: si
m
p
lif
y
iterati
o
n ove
r
loops
commit
|
commitdiff
|
tree
2008-03-07
Cédric Ba
s
toul
cloog_loop_scalar_sort:
fix loop or
d
ering
p
r
o
blems
.
.
.
commit
|
commitdiff
|
tree
2008-03-07
Cédric
B
as
t
oul
d
o
c: document
-
s
h o
p
tion +
s
mall fix
e
s
commit
|
commitdiff
|
tree
2008-02-23
S
v
en
V
e
rdool
a
ege
cloog_names_genera
t
e_items: fix generati
o
n of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-23
S
v
en Verdo
o
la
e
g
e
C
o
r
rec
t
l
y
p
rin
t
version num
b
er
commit
|
commitdiff
|
tree
next