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
remove PolyLib backend
2010-01-26
S
v
en
V
erdo
o
laege
remove PolyLib b
a
c
k
e
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
r
d
o
o
la
e
g
e
c
r
eat
e
pkg-c
o
nfig
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
ma
k
e
i
n
stalled header f
i
les independent of config
u
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
m
o
v
e Poly
L
ib independen
t
files out of polylib s
u
bdirectory
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
make
con
s
traintset
.
c PolyLib i
n
dependent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add more cl
o
og_seq_* functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
add
c
l
oog_m
a
trix_re
a
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
la
e
ge
add cl
o
og_
i
n
t
_
r
ead
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erd
o
ol
a
ege
a
dd cloog_matrix_pr
i
nt
_
structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
m
o
ve l
o
wer-bounds fix-up from cloog_lo
o
p_strid
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
r
doolaege
add
cloog_int_cdiv_q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
a
ege
drop
s
pecial
h
andlin
g
of c
o
n
s
tan
t
term w
h
ile i
n
serting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ve
r
doolaege
a
d
d s
o
m
e
more
cloo
g
_int_t
c
om
p
ariso
n
operat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdo
o
laege
c
l
o
o
g_matri
x
_print:
p
rin
t
number
o
f
rows a
n
d
columns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
a
dd cloog
.
te
x
i to
d
istributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add sor1d f
i
l
es to distr
i
buti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
ma
k
e C
L
ooG cor
e
c
o
mpletely backend-independent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
updat
e
d
omai
n
and
scatt
e
ring reading functions
t
o
c
hanges
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
c
l
oog_
l
o
op_si
m
plify:
simplify
unions bef
o
re
s
implifyi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-29
Sve
n
V
e
r
d
oolaege
cloo
g
_loop_generate: de
t
ect com
p
on
e
nts and gener
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-29
Sven
Verdoo
l
aege
update isl for
i
sl_set_follows_at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
e
rdool
a
ege
c
l
o
og_lo
o
p_generate
:
con
t
inue r
e
cursing
e
ven if
only
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-29
S
ve
n
Verdo
o
laege
cloog_loop_generate: se
p
arate restrictio
n
an
d
p
rojection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ve
r
doo
l
ae
g
e
cloog
_
loop_sor
t
: s
e
parate out c
l
oog_loop_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-29
Sve
n
Verdoolaege
fix implementation o
f
cloog_loop_scalar_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdo
o
laege
source/isl/domain
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
laeg
e
cl
o
og
_
loop_n
e
s
t: also introduce a nesting fo
r
the
d
eepest
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
cloog_loop_nest: make loop disjoint b
e
fore inserting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-19
S
v
e
n
Verdoolaege
cloog_loop_disj
o
i
nt: fix over
-
eager
o
ptimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verdoolaege
update isl for f
i
x in
gist computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
updat
e
isl for
fix i
n
convex hull co
m
p
u
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
u
pdat
e
isl for imp
r
ove
d
set difference
implemen
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl
b
ackend: detect equalities on
all set
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laeg
e
only turn on
wa
r
nings in top level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
d
o
olaege
keep t
r
a
c
k of off
s
ets o
f
st
r
ided loops and us
e
them
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-11-02
S
v
e
n Verdoo
l
a
e
ge
update isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
get_submodules
.
sh
:
no longer ini
t
ialize submodules
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolae
g
e
c
l
oo
g
_domain_st
r
id
e
: handl
e
uni
o
n domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
update isl for
isl_set
_
dim_residue_
c
l
ass
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-09-24
Sven Verdoolaege
source
/
clast
.
c
:
insert_loop: drop redundan
t
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
V
erdoolaege
clo
o
g
_
loop_stride: prope
r
ly handle dom
a
ins
with f
i
xe
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
do
o
laege
update
isl for fix i
n
i
s
l_ba
s
ic_set_dim_res
i
due_clas
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
PolyLib
b
ackend
:
c
l
oo
g
_domain_stride:
handle s
i
ngl
e
ton
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
test/Makefile
.
am: add all known go
o
d versi
o
ns for test_run
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rd
o
o
l
aege
up
d
ate is
l
for
g
br bas
e
d sampli
n
g
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Verdoola
e
ge
u
pdate
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-13
S
ve
n
Verdoolaege
i
sl backend
:
fix retu
r
n of cloog_domain_convex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolae
g
e
Makefile
.
am: expl
i
citly set DIST_SUB
D
IRS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdo
o
laege
update ins
t
alla
t
ion
i
nstructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
c
o
nfigure
.
in: bu
i
ld isl b
a
cken
d
b
y
default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
ge
c
on
f
igure
.
in: allow not building
polylib
b
ackend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Ver
d
o
ola
e
ge
doc: document clas
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven Verd
o
olaege
clast: in
c
lud
e
co
p
ies
of Cl
o
ogSt
a
temen
t
s instea
d
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
V
e
r
doolaege
cloog_statem
e
nt_
c
opy:
a
dd missi
n
g copy of state
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-09
Sven
V
erdoolaege
doc: fix so
m
e spelling mistakes
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdo
o
laege
rename pprint
t
o clast_
p
print to
avoid n
a
me
s
p
ace pollution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
Sven Verdoolaege
m
ake C
l
oogDomain an
d
CloogSc
a
ttering completely
o
paque
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-03
S
ven Verdoolaege
cloog_names_alloc: fix typo in comment
commit
|
commitdiff
|
tree
2009-06-01
Sv
e
n Ver
d
o
o
la
e
g
e
c
la
s
t: extract enum
cl
a
st_expr_type from out
of
c
last
_
e
x
pr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-06-01
Sve
n
Ve
r
d
oolaege
u
p
date READM
E
for
n
ew patch submit
t
ing proc
e
dure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sve
n
Verdoolaeg
e
av
o
id r
e
co
m
putation
o
f
"one" (and -1) by stor
i
ng a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
clast
:
make global struct
clast_
s
tmt_ops const
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
move all global
v
ariab
l
es to CloogState
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdo
o
laege
move
i
sl_ctx from CloogOptions
t
o CloogStat
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
erdoolaege
cloog
_
optio
n
s_r
e
ad:
fix
mi
s
named a
r
gc an
d
argv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven Verdoolaege
cloog_domain_dim
e
n
s
ion:
return actual dimension
(
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
V
e
r
doolae
g
e
PolyLib backend: store num
b
er of par
a
meters in CloogDomain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-31
Sven
Verdoolaege
cl
o
og_name
s
_alloc: initialize structure with de
f
a
ult
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-10
Sven
V
erd
o
o
laege
update docs to introduction of
CloogScatteri
n
g and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolaege
PolyLib backend: d
i
sable cloog_s
c
a
tter
i
n
g
_
lazy
_
block
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
V
erdoo
l
aeg
e
i
nse
r
t_modulo_g
u
ard:
move
r
eduction of gua
r
d
s
to
t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sv
e
n Verdoola
e
ge
source
/
clas
t
.
c: i
n
se
r
t
_
modulo_guard:
o
nly co
m
p
ute
b
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven Verdoolaege
c
loog_constraint_equal_type:
t
reat a
l
l modulo guar
d
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
S
ven Verdoola
e
ge
cl
o
og_loop_simplif
y
: it
e
rate
over siblin
g
s in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-22
Sven
V
e
r
doola
e
ge
Remove lines referring to "num
b
er of polyhedra" in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
up
d
ate
i
s
l
for new ve
r
sion of isl_basic_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
e
ge
isl backend
:
c
loo
g
_domain_simplify_unio
n
: use isl_set
_
coa
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rd
o
olaege
Extract out
b
a
c
kend specific c
l
o
o
g_doma
i
n_s
i
mpli
f
y_un
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl backe
n
d: use isl_set_bounde
d
_s
i
mple_hull for computing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
clast
.
c:
i
nse
r
t extra mo
d
ulo
gua
r
ds invo
l
ving loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl
b
a
ckend:
di
v
_expr: free div afte
r
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
upda
t
e
i
s
l for change in int
e
rnal representatio
n
a
f
f
ecting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doola
e
ge
u
pdate i
s
l for
normalizat
i
on during convex hull co
m
putati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
clast
.
c: clast_re
d
uction
_
cmp: treat
all
u
na
r
y "reductions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven V
e
r
d
oo
l
a
e
ge
pretty p
r
inter: drop " "
in
f
ront of ";
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
S
v
en
Verdo
o
laege
remove
c
p
p
option (defaulting to tru
e
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Verdoolaege
turn on "equalit
y
s
p
reading" (es
p
) by default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-09
Sven Ve
r
doolae
g
e
re
m
ove csp opt
i
on
(
def
a
ultin
g
t
o tr
u
e)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-03-08
S
ven V
e
rdoolaege
prin
t
e
x
ecution t
i
me again if s
y
s/resource
.
h is avai
l
ab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven V
e
r
doolaege
is
l
backen
d
: support exi
s
t
en
t
iall
y
quantifie
d
varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en Verdoolaeg
e
isl backe
n
d: d
r
op existe
n
tials when comp
u
ting fal
l
b
ack
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
u
pdate is
l
for plu
g
for isl
_
map_simp
l
e_
h
ull mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sve
n
V
e
rdoolaege
update isl fo
r
changed calling conven
t
ions of isl_ba
s
ic_set
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
ven Verdoola
e
g
e
upda
t
e isl for
ch
a
nge in cal
l
ing convention
of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaeg
e
update isl for refcounted isl_constrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven
V
erdoola
e
g
e
upda
t
e isl for in
t
r
o
duction
of isl_dim
s
t
r
uc
t
ure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sv
e
n Verdoolaege
cl
a
st
.
c: insert
_
guar
d
: i
n
ser
t
modu
l
o
g
u
a
rds based on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
Sven Verdoolaege
clast
.
c
:
extract out
c
loog
_
constraint_
s
et
_
n_it
e
rators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolaege
clast
.
c: e
x
tract ou
t
common cl
o
og_con
s
tra
i
nt_varia
b
l
e_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2009-01-23
S
v
en
V
erdoolaege
clast: allow clast_term to repr
e
sent multiple
of
a
ny
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next