repo.or.cz
/
cloog
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update isl for various fixes
2009-03-22
Sven Verdoolae
g
e
Re
m
o
v
e l
i
nes referring to "number of polyhedr
a
" in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
update i
s
l for
n
ew v
e
rsion of isl_bas
i
c_map_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backend: cloog_domain_simplify_union:
u
se is
l
_s
e
t
_coales
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
E
x
t
ract out backend
spe
c
ific c
l
oog_domain_simplify_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl backe
n
d: use
i
sl_set_bounded_simple_hull for co
m
puti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
clast
.
c
: insert extra mo
d
ul
o
g
u
a
r
ds involving
l
oop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
backend: div_
e
xpr:
free div after use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
erdo
o
laege
u
p
d
ate isl for change in internal represe
n
tation a
f
fecti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
e
rdoolae
g
e
upd
a
te i
s
l for normalization duri
n
g
co
n
vex hul
l
computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en
Verdoola
e
ge
clast
.
c: c
l
ast_r
e
d
u
c
t
ion_cmp: treat al
l
u
n
ary "reductions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en Ve
r
doolaege
pretty
printer: drop "
"
in front of ";"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven
V
e
rdoolaege
remo
v
e
cp
p
o
ptio
n
(defaulting t
o
true
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verd
o
o
lae
g
e
turn on "eq
u
al
i
ty
s
p
reading" (esp)
b
y
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolae
g
e
remove csp op
t
ion (defaulting t
o
true)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
lae
g
e
p
r
i
n
t execution
t
im
e
again if
sys/res
o
u
rce
.
h is avai
l
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-02-08
Sven Verdoolaege
only print execution
t
ime if sys/resource
.
h is
a
vailable
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdo
o
l
aege
isl back
e
nd: supp
o
r
t
existent
i
ally quant
i
fie
d
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verd
o
olaege
isl backen
d
:
dr
o
p
e
x
istentials when computing
fallb
a
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
updat
e
isl for plug for isl_map_simple_
h
ull
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaege
update isl
f
or c
h
anged calling conventions o
f
isl_b
a
s
i
c_set
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
up
d
at
e
is
l
for change in c
a
lli
n
g convent
i
on of some
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
e
r
d
o
olaege
upda
t
e isl for refcou
n
ted i
s
l_constr
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Ver
d
oolaege
update isl for introduction
of
i
s
l
_
dim structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
:
insert_guard: insert modulo guards
b
as
e
d on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
Verdoolaege
clast
.
c: extract o
u
t c
l
oog
_
constraint
_
s
e
t
_
n_iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoo
l
aege
c
la
s
t
.
c:
e
xt
r
act o
u
t co
m
mon cloog_cons
t
rai
n
t_variable_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolaege
c
la
s
t
:
allow c
l
ast_term
to represent
m
ultiple of any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
c
l
a
st
.
c
: ex
t
ra
c
t out common c
l
oog_n
a
m
es_name_at_l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoo
l
aege
minor changes to
CloogConstr
a
int abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-01-23
Sven
Ver
d
oolaege
Fix up o
p
tional
i
n
c
lusion of
b
a
ckup mp_get_memory_
f
unc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-01-09
Sve
n
V
e
r
d
oolaege
c
l
o
og/constraints
.
h: don't
p
ut #incl
u
d
e
's in
s
ide extern
"C"
commit
|
commitdiff
|
tree
2008-12-23
Sven Ve
r
d
ool
a
ege
dro
p
unused
c
l
o
o
g
_constraint_set_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-12-02
S
v
en Verdoolaeg
e
A
d
d
bac
k
up mp_get_memory_funct
i
o
n
s i
m
plementation for
.
.
.
commit
|
commitdiff
|
tree
2008-12-02
Sv
e
n V
e
rd
o
olaege
update isl
f
or
c
ompatibility with
old gmps
commit
|
commitdiff
|
tree
2008-11-11
Sven Verdoolaeg
e
update isl for improve
d
p
i
pli
b
eff
i
ciency
commit
|
commitdiff
|
tree
2008-11-08
Sven Ve
r
doolaege
Look for more opport
u
nities for bloc
k
ing statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Ver
d
oola
e
ge
cloo
g
_program_read: dela
y
constr
u
ction
o
f
b
l
ocklist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en Verdool
a
ege
cloog_l
o
op_
s
ep
a
rate: combine
l
oops with identical domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
e
n
Verdoolaege
cloog_loop_se
p
arat
e
: minor
c
lean-ups
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
ven Verdoo
l
a
ege
cloog_loop_separate: exploit disjointness
o
f l
o
op doma
i
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
Sven Verdoolae
g
e
cl
a
st
.
c:
sort equations in guard cl
a
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-08
S
v
en
V
erdoola
e
g
e
O
p
tionall
y
r
e
frain from print
i
n
g
a
n
y
i
n
formatio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sve
n
Verdoolaege
clast
.
c
:
don'
t
in
s
e
rt any "scalars" for l
e
vel 0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Ver
d
oo
l
aege
so
u
rce/i
s
l
:
f
ix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-11-06
Sven Verdoo
l
aege
Explicitly specify -rpath for libtool libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaege
include/cloog/do
m
ain
.
h: avoid use of C++ keyword "temp
l
ate"
commit
|
commitdiff
|
tree
2008-10-14
Sven
V
erdool
a
ege
add i
s
l backend
commit
|
commitdiff
|
tree
2008-10-14
Sven Verdoolaeg
e
options
.
c: remove -rays option
commit
|
commitdiff
|
tree
2008-10-03
Sven
V
e
rdoolaege
Handle 0
D
problems by a
d
ding a 0th l
e
vel to
t
he main
.
.
.
commit
|
commitdiff
|
tree
2008-10-03
Sv
e
n Verdoolaege
cloog_loop_merge: ensure lo
o
p doma
i
ns are c
o
nvex, i
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
Sven V
e
rdoolaege
i
nsert_g
u
ard: make sure coefficient
i
n left ha
n
d sid
e
.
.
.
commit
|
commitdiff
|
tree
2008-10-02
S
v
e
n Ve
r
doolaege
i
ns
e
rt_guard: avoid out
-
of-bounds
a
c
c
e
s
s
commit
|
commitdiff
|
tree
2008-10-02
Sv
e
n Verdoolaege
Introduce CloogConstraint abstracti
o
n
commit
|
commitdiff
|
tree
2008-10-02
Sven Verdoola
e
ge
Rename CloogCo
n
str
a
in
t
s to Clo
o
gConstraintSe
t
commit
|
commitdiff
|
tree
2008-10-02
Sve
n
Verdoolaege
fix typos i
n
ins
e
rt_loop comments
commit
|
commitdiff
|
tree
2008-09-28
S
ven
V
erdool
a
ege
cloog_do
m
ain_print_s
t
r
ucture: print a
l
l
p
o
lyhe
d
r
a in
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Verdoolaege
Let cloog_doma
i
n_lowerbound_update return
the
u
p
dated
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven Ve
r
doolaege
C
o
mb
i
ne
cloog_scattering_lazy_isscalar and c
l
o
o
g
_scattering_
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
S
v
e
n V
e
r
d
oolaege
in
c
lude/cloog/domai
n
.
h: r
e
move decla
r
ations o
f
(un
u
sed
.
.
.
commit
|
commitdiff
|
tree
2008-09-28
Sven V
e
rdoolaege
te
s
t/test_run:
o
nl
y
check si
m
plified
hull generations
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
t
e
st/test_run: also c
h
ec
k
correctness of simplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
e
n
Verd
o
olaege
cloog_doma
i
n
_
simplify:
avoid out-of
-
b
o
u
nds array acc
e
ss
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
T
r
eat parameter doma
i
n
s differently
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Change semantics
o
f
c
l
oog_doma
i
n
_
cut_first
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laege
cloog_domai
n
_isempty: accept
N
ULL arg
u
ment
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
cloog_d
o
main_empty: make empty do
m
a
i
n
using template
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
In
f
orm
f
unction reading in s
c
a
t
tering funct
i
on of domain
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
pass the
number of paramete
r
s to func
t
ions reading
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
introduce CloogScattering abstraction
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
l
a
ege
m
a
ke textual
tests backen
d
dependent
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Verdoolae
g
e
sort el
e
m
e
n
t
s of
min
a
nd max reductio
n
c
lasts
commit
|
commitdiff
|
tree
2008-09-23
Sven Verd
o
olaege
allow out-of-s
r
c test
f
ile ge
n
eration
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Remove lines refer
r
ing to "number of polyhedra" in
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verdoolae
g
e
P
a
ss CloogOptions to function reading (list
s
of) domains
commit
|
commitdiff
|
tree
2008-09-23
Sven V
e
rdoolaege
all
o
w ba
c
k
ends to
h
av
e
thei
r
own options
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
la
e
g
e
configure:
h
a
n
d
l
e
g
mp a
n
d polylib "submod
u
les" in a
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
Ver
d
oola
e
ge
create
b
acken
d
(PolyL
i
b) sp
e
cif
i
c librar
y
commit
|
commitdiff
|
tree
2008-09-23
S
ven Verd
o
olaege
remove dependence o
n
P
olyLi
b
from clo
o
g co
r
e
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolae
g
e
Test
correctness of generated
c
ode, without r
e
quiri
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
S
v
en Verdool
a
e
g
e
add clo
o
g
_d
o
main_cub
e
function
,
returning a cube of
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaege
Let
clo
o
g_doma
i
n_universe re
t
urn a
univers
a
l d
o
main
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoolaeg
e
Replace use
of Value in cloog core by new cloog_int
_
t
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdo
o
laeg
e
abstract out Clo
o
gMat
r
ix
commit
|
commitdiff
|
tree
2008-09-23
Sven
Ver
d
oolaege
clast
.
c: use CloogEquali
t
ies and CloogCons
t
raints instead
.
.
.
commit
|
commitdiff
|
tree
2008-09-23
Sven Verdoo
l
aege
C
l
o
og
B
lock
:
remove unused sca
t
terin
g
fie
l
d
commit
|
commitdiff
|
tree
2008-09-23
Sven
Verd
o
olaege
av
o
id use
of matrices in s
o
urce/program
.
c
commit
|
commitdiff
|
tree
2008-09-23
Sve
n
V
erdool
a
ege
c
o
mplete CloogD
o
main abst
r
action
commit
|
commitdiff
|
tree
2008-09-23
Sv
e
n Verdoolaege
domain
.
c: rem
o
ve some
u
nused f
u
ncti
o
ns
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oolaege
move cloog_va
l
ue_{up,d
o
wn} out of do
m
a
i
n
.
c
commit
|
commitdiff
|
tree
2008-09-15
Sve
n
Verdoo
l
aege
perform special options tests in a loop
commit
|
commitdiff
|
tree
2008-09-15
Sven
V
erd
o
olaege
tests: print unified diff between expected and obtained
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
S
v
en Verdoola
e
ge
A
dd -callable o
p
tion f
o
r generating
c
ode to be used
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
make defa
u
l
t
CFLAGS
o
verrida
b
le
commit
|
commitdiff
|
tree
2008-09-15
Sven Verdoolaege
cloog_names_r
e
ad_strings
:
fix check f
o
r sufficient
.
.
.
commit
|
commitdiff
|
tree
2008-09-15
Sven
V
e
rdo
o
laege
Remove escedk
t
e
st
commit
|
commitdiff
|
tree
2008-09-15
S
v
en V
e
r
d
oolae
g
e
Fix up
vivi
e
n and vivi
e
n2 test
s
commit
|
commitdiff
|
tree
2008-09-11
Sven
V
erdoo
l
aege
Fix
cloog_dom
a
in_lazy_disjoint
commit
|
commitdiff
|
tree
2008-09-06
Sven Verdoolaege
f
ix memory leak in clast construction
commit
|
commitdiff
|
tree
2008-09-02
S
v
e
n
V
e
rdoolaege
add examples subdirectory to th
e
distribution
commit
|
commitdiff
|
tree
2008-08-31
Sven Verdoolaege
Manual
l
y ge
n
erat
e
p
df file usi
n
g
t
exi2dvi
commit
|
commitdiff
|
tree
next