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
Add a source-2-source compiler example to the documentation
2015-07-24
Sven Verd
o
olaeg
e
A
void
use o
f
u
n
d
o
cumented isl_*_p
r
int functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-13
Sven Verdoolaege
clo
o
g_domain_cube: reimplement
using documented func
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
add memor
y
mana
g
ement annot
a
t
ions to
p
u
b
lic isl based
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sven V
e
rdoolaege
docume
n
t
cloog_is
l
_state_mal
l
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-05
S
v
en Verdoolaege
i
s
l
backend: a
v
o
id use of isl *_
l
ik
e
fun
c
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
Verdoolaege
c
loog_loo
p
_s
i
mplify: add st
r
ide con
s
traint before projecti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoola
e
ge
loop
.
c:
r
e
m
ove outdated
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-11
S
ven Verdoolaege
cl
o
og_d
o
main_from_is
l
_
set: t
u
rn param
e
t
e
r
sets into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-15
Sven Verdoolaeg
e
source
/
nam
e
s
.
c
: cloog_na
m
es_generate_items: fi
x
up
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-15
Sven Ver
d
o
ol
a
ege
s
o
u
rce/isl/constrai
n
ts
.
c: cloog_constrai
n
t_set
_
reduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-15
Sven Ver
d
oolaege
source/progr
a
m
.
c: cloog_program_ppri
n
t: remov
e
u
n
used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-15
Sv
e
n Verdoo
l
aege
source/c
l
ast
.
c:
i
nse
r
t_modul
o
_
guard_constrai
n
t
: re
m
ove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
up
d
ate isl t
o
v
er
s
ion
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoolaege
update isl
f
or c
h
a
n
ge
in i
s
l_set_r
e
ad_
f
rom_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdool
a
ege
dro
p
include of re
m
oved
i
sl
/
di
v
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaeg
e
updat
e
isl for
r
e
moval of i
s
l_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
V
e
rd
o
olaeg
e
cloog_constrain
t
_set_reduce: simpl
i
fy e
q
uality
c
onstraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verdoo
l
aege
update isl f
o
r
cha
n
g
e
in isl_{in,
}
equality_
a
l
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoola
e
ge
update isl for c
h
ange in space of
isl_pw_* o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
rename isl_di
m
to is
l
_
s
pa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
g
e
update isl for
r
ena
m
e o
f
isl
_
d
im to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
l
aege
isl b
a
ck
e
nd: cloog_d
o
main_
p
roject:
avoid use of undocumente
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
update test case to reflect change in
isl's isl
_
a
f
f_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Ver
d
oolaege
CLooG 0
.
1
6
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-12
Sven Ve
r
doolaege
update isl to version
0
.
0
7
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
S
ven Verdoolaeg
e
isl b
a
ckend
:
remove uses of is
l
_
c
o
n
straint_
a
d
d_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdool
a
ege
is
l
backend: remove fi
n
a
l
u
se of isl_constraint_clear
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
Sven
Verdool
a
e
g
e
upda
t
e isl for isl
_
bas
i
c
_
se
t
_drop_const
r
ai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
S
v
en Ver
d
oolaege
remove u
s
es
o
f
cloog
_
const
r
aint
_
clear
f
rom co
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaeg
e
i
s
l backe
n
d
:
remo
v
e
us
e
of isl_ba
s
i
c_s
e
t_fi
r
st_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
Sven Ver
d
oolae
g
e
is
l
back
e
nd
:
remove d
e
p
e
n
dence
o
n internal
re
p
resenation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
Sven Ve
r
doola
e
ge
is
l
backen
d
:
represent equalitie
s
as is
l
_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaege
s
our
c
e
/
i
s
l/do
m
ai
n
.
c
:
ad
d
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-14
Sve
n
Verdo
o
l
a
ege
cloog_l
o
op_simp
l
ify: split u
p
union-domains
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-11
Sven V
e
rd
o
olaege
cloo
g
_loop_
f
r
e
e_p
a
rts: free lo
o
p->unsimplified
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rdoolae
g
e
add dummy fi
e
lds to
empty structures
for Solaris cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-07
Sv
e
n Verd
o
ola
e
g
e
use silent make rules
w
h
e
n availa
b
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-07
Sve
n
V
erdoolaege
a
u
to
g
en
.
sh: r
e
place sup
e
rp
r
oject part by
cal
l
to autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-06
Sven Verdoolaeg
e
configure
.
ac
:
use no
n
-deprecated form of AM_INIT_AUTOMA
K
E
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-06
S
v
en Verdool
a
e
g
e
re
n
am
e
c
onfigure
.
in
t
o confi
g
ure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-03
S
v
en Verdoolaege
all
o
w unro
l
ling
of loops with multiple lower bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
S
ven Verdo
o
laege
up
d
ate
low
e
r bounds d
u
ring clast co
n
str
u
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
update isl f
o
r more isl_af
f
operat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sve
n
Verdoola
e
ge
test/
g
e
ner
a
te_test: add
s
tandard CLooG
m
acro
s
to
o
u
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sv
e
n Ver
d
oola
e
ge
isl back
e
n
d: ignore equal
i
ty constrai
n
ts when look
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven V
e
rdoolaege
cl
a
st:
save domains on e
n
tire o
u
tpu
t
tr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoo
l
aege
includ
e
s
t
ride con
s
trai
n
t in saved domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n
Ve
r
d
oolaege
add su
p
po
r
t
for unrol
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Ve
r
doola
e
ge
update isl fo
r
isl_aff support an
d
isl_set_add_co
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-14
Sven
V
erdo
o
laege
cloog
_
loo
p
_generate_general: split of
f
cloo
g
_lo
o
p_re
c
urs
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-14
Sve
n
Verd
o
olaeg
e
add cloog_
i
nt_l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-11
Sven Ve
r
dool
a
ege
cloog_loop_constan
t
:
don
'
t drop c
o
nstra
i
nts on ou
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-08
Sven V
e
rdoolaeg
e
isl/doma
i
n
.
c: fix typ
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-07
Sven Verdoolaege
fix check fo
r
whether user statem
e
nt domains
s
houl
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-07
Sv
e
n Ver
d
oo
l
a
ege
cloog_scattering_lazy_blo
c
k: check
whet
h
e
r
e
nt
i
re
s
chedule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-07
Sven
V
erdo
o
l
a
ege
clo
o
g_domain_s
i
mple_c
o
nv
e
x: rem
o
ve unused va
r
iabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en Verd
o
o
laege
clast generation: don't feed malformed
c
o
n
s
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaeg
e
isl
/
constraints
.
c: fix typos in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdo
o
laege
c
l
oog_do
m
ain
_
simple_con
v
ex: always
c
ompute simpl
e
hu
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-26
S
v
en Verdoola
e
ge
fix backtracking in pr
e
sence of cons
t
ant lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-20
S
v
en
V
e
rdo
o
laege
CLooG 0
.
16
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-20
Sven Verdoolaege
u
pd
a
t
e
isl to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-17
Sve
n
V
erdoolaege
avoid u
s
e of
i
sl_ctx
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdoolaege
doc: f
i
x de
s
cription of
default v
a
lue for -esp option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oola
e
g
e
doc: improve
de
s
cription of -sh option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-13
Sven Verdoolaege
doc: rem
o
ve rema
i
n
i
ng ref
e
rences to o
l
d
cpp option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
ven Verdoola
e
ge
isl interfa
c
e: remove name
a
nd internal s
t
ructure of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolae
g
e
u
p
date isl for
change in is
l
_
m
ap_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
pro
p
agate
up
d
at
e
d lower bounds on strided loops t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaege
upda
t
e
i
sl for impro
v
e
d
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
update isl
f
or a change in constraint ordering
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
l
a
ege
upd
a
t
e isl for im
p
roved coalescing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-20
Sven
Verdoolaege
u
pdate i
s
l for r
e
na
m
e of isl_basic_set_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdoolaege
CLooG 0
.
16
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
erdoola
e
ge
clast
.
c: fix use of
s
tr
i
d
e
c
onstraint when constructing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
c
la
s
t
.
c: don't constru
c
t se
t
for redu
c
tion fo
r
lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
clast c
o
nstruction: keep track of va
l
id strid
e
entrie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
Verdoolaeg
e
source/st
r
i
d
e
.
c: add missi
n
g
i
ncl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
erdoolaege
source/
i
sl/constraints
.
c: fix typos in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoolaege
cloo
g
_input
_
du
m
p_cl
o
og: prin
t
ne
w
line afte
r
l
ist of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Verdoolaege
clo
o
g_inpu
t
_dump
_
cloog: allow union contexts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n Verdoolaege
update
isl t
o
ver
s
i
o
n 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-02
Sven Verdoolaege
clo
o
g_loop_merge: pro
p
erly
h
andle union domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-02
Sven Verdo
o
laege
cloog_
l
oop_simplify: do
n
't brea
k
up
d
omain
s
with union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
cloog
_
union_domain_fr
o
m_isl_u
n
ion_
s
e
t
:
a
c
tuall
y
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-24
S
v
en Verdool
a
eg
e
CLooG 0
.
1
6
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-24
Sven V
e
rd
o
olaege
add otl
t
e
s
t fil
e
s to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdo
o
laege
update isl to
ver
s
ion 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
e
n Verdoolaege
c
l
oog_
l
oop_restrict_inner:
drop loops
with e
m
pty inner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-08
Sven Ver
d
ool
a
eg
e
Update call to cl
o
og_loo
p
_si
m
plify to
handl
i
ng of 0D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-06
Sven Verd
o
o
l
a
ege
inp
u
t format: allow unions
i
n
context and in
s
ca
t
tering
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-06
Sven Verdoolaege
cloog_loop_i
s
_constant
:
don't assume a de
c
omposition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-06
Sven Verdoolaege
c
lo
o
g_domai
n
_lazy
_
i
sconstant: add extra argum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-05
Sven
Verdool
a
ege
cloog_l
o
op_gener
a
te_gene
r
al:
add special tre
a
tment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-05
S
v
en Verdoolaege
clo
o
g
_union_d
o
main_from_isl_
u
nion_set:
set iter
a
to
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-05
Sven
Verdo
o
laege
cloog_union_domain_set_name: pl
u
g memor
y
leak
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
a
v
o
i
d
use of isl_
b
asic
_
set, isl_set and is
l
_ma
p
internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoo
l
a
ege
dr
o
p
print_number argume
n
t
fr
o
m cloog_
s
catt
e
ring_print_c
o
nst
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
v
e
n
Verdoolaege
u
pdate isl for rename of
header files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
Sven Ver
d
oolaege
u
pdate is
l
for fix in ha
n
dling of existentially quantified
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next