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
Avoid use of undocumented isl_*_print functions
2010-10-28
Sven Verdoolaege
optionally store dom
a
ins
o
f scat
t
e
ri
n
g dimensions
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-28
Sven Ve
r
d
oolae
g
e
add
i
sl_
s
et_fro
m
_cloog_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
cloog_d
o
main_print_s
t
r
ucture: pri
n
t domai
n
in isl forma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
add cloog_v
e
c_dump fo
r
debugging
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven
Verdoolaege
so
u
rce
/
loop
.
c: fi
x
t
y
po in co
m
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdoolaege
cloo
g
_d
o
m
a
in_fro
m
_isl_set
:
make sure div
s
are comp
u
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdool
a
ege
cloog_loop
_
specialize: on
l
y specialize with co
n
vex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
o
la
e
ge
clast
.
c:
i
nse
r
t_modulo_g
u
ard_constraint
:
prop
e
r
ly
h
andle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdo
o
laege
c
l
o
o
g_dom
a
in_project: d
r
op d
i
vs involving level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
S
v
en Verdool
a
e
ge
cloog_input_dump_cloog
:
use extend
e
d polylib out
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
u
p
date isl fo
r
r
e
naming
o
f isl_
m
ap_rem
o
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
e
r
doolaege
update isl for improved c
o
alescing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Ver
d
ool
a
eg
e
cloog_
l
oop_from_domain
:
call cloog_l
o
op_malloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sv
e
n Verdoolaege
cloog_lo
o
p_remov
e
_empty_domain_loops: pro
p
erly
t
er
m
inate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
Sven
V
e
r
doolae
g
e
doc: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven
V
erdoolaege
detect
s
trides even if
t
he
remainder of
the lowe
r
bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven Verdoolae
g
e
move all stride
i
n
f
ormation into s
e
parate C
l
o
o
gStride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sve
n
Verdoolaege
add cloog_union_
d
oma
i
n_from_isl_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-13
Sven Verdoolaege
isl/doma
i
n
.
c: fi
x
ty
p
o in c
o
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
e
r
doolaege
clast
.
c: only update low
e
r
b
oun
d
s during the con
s
t
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
S
v
en Verdoola
e
ge
clo
o
g
_
loop_bl
o
ck:
fix typ
o
that cou
l
d r
e
sult in incorrect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
mark cloog_is
l
_
s
tate_malloc as having
C linkage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
S
ven Verdoolaege
cloog_input_dump_cloog: fix typo
tha
t
broke dump
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-08
Sven Verdoolaege
add
c
l
oog_union_domain_f
r
om_isl_
u
nion_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdo
o
l
a
e
ge
pr
o
vid
e
a s
i
mpli
f
ied and do
c
um
e
nted API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven Ve
r
doolae
g
e
cloo
g
_
n
ames_
r
ead_strings
:
do not g
e
ne
r
ate n
a
mes if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven Verdoo
l
aege
cloog
_
pro
g
ram_read: sepa
r
a
t
e
reading from in
p
ut
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-25
Sven Verdoolaege
a
llo
w
library users to specify names of
s
t
at
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sven Verdoolaege
d
etect all one-time
l
oops and convert them to an ass
i
gnment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sven Verdo
o
l
a
e
g
e
so
u
rce/clast
.
c:
clean up ins
e
rt_for
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
allow strid
e
detection
o
n loops
w
itho
u
t c
o
n
stant low
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
replace cloog_domain_integral_lowerbo
u
nd by cloog_do
m
ain_can
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
i
sl backend:
c
loog_con
s
tr
a
i
n
t
_set_foreach_c
o
nstraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl
f
or isl_co
n
st
r
a
int
_
is_div_cons
t
r
ain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-28
S
ven Ve
r
d
oolaege
isl backend: cloog_do
m
ai
n
_project: make sure
a
ll divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolae
g
e
update isl
f
or
isl_map_i
s
_single
_
valued
commit
|
commitdiff
|
tree
2010-05-06
Sv
e
n Verdo
o
laege
Turn off ba
c
ktrack by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
S
ven
Verdoolaege
c
l
oog_lo
o
p_gen
e
rate: opti
m
ize the loop domains afte
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
c
l
o
og_l
o
op_gener
a
te: restr
i
ct inner loop d
o
mains before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
Verdo
o
laege
c
l
oog_loop_generate_c
o
mponents: extract out ext
r
act_co
m
ponent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
Verdool
a
ege
par
a
meter
i
ze
c
l
oog_loo
p
_compon
e
nts_t
a
rjan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n V
e
rdoolaege
upda
t
e is
l
for improved
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
spli
t
par
a
m
e
te
r
domains
when convex hull operation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
i
sl backe
n
d: clean up reading functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaeg
e
u
p
date isl
f
or
c
han
g
e in isl_
s
et_gi
s
t argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
simplify cloog_loo
p
_merge
implement
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoolaege
cloog_domain_uni
o
n: free ar
g
um
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
l
a
e
g
e
generate l
o
ops for all dimen
s
ions
i
f -otl 0 is
s
pecified
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven V
e
rdoolaege
clast
.
c
:
i
nsert_guard: make sure eno
u
gh sp
a
ce is allocated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sven V
e
rdoo
l
aeg
e
update isl
f
or various
f
ixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
upda
t
e isl for isl
_
basic_set_fo
r
e
ach_c
o
n
s
train
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verd
o
ola
e
ge
i
n
troduce cl
o
og_c
o
nstrai
n
t
_set_foreach_cons
t
rain
t
abst
r
acti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_backen
d
: cloog
_
do
m
ain_read_scatt
e
ring: read
s
c
attering
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl back
e
nd: scattering re
l
ation now maps domain
d
imension
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
o
lae
g
e
is
l
backend: cl
o
og
_
d
omain_
r
e
ad_scatte
r
ing: allo
w
unio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdool
a
e
ge
update
i
sl f
o
r reading of extend
e
d Po
l
yLib for
m
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olae
g
e
allow build
i
ng withou
t
isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
remove
Pol
y
Lib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
la
e
ge
cre
a
te p
k
g-co
n
fig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
make insta
l
led h
e
ader
f
iles ind
e
pendent
o
f configure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verd
o
o
l
aege
m
o
ve Poly
L
ib independe
n
t files out
of p
o
lylib subdir
e
ctory
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
make constraintset
.
c PolyLib
i
ndependent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Ver
d
oolaege
ad
d
more cl
o
o
g_seq_* functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
a
dd cloog_m
a
tri
x
_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cloo
g
_int_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
r
d
oolaeg
e
add cloog_matri
x
_print_structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
m
o
v
e
l
ower-bounds fix-up from
c
loog_loo
p
_
str
i
de to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cl
o
og_i
n
t
_cdiv
_
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
drop special handling of
c
o
nstant
t
erm
w
hile inserti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdool
a
ege
a
dd some m
o
re cl
o
o
g
_int
_
t comparison op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
c
l
o
og_matr
i
x_pr
i
nt: print number of
rows and columns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
add cloog
.
texi
t
o distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Ve
r
doolaege
add sor1d files t
o
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaeg
e
mak
e
CLooG
c
ore c
o
mpletely backend-independent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ve
r
d
o
ola
e
ge
update doma
i
n
a
nd scattering reading func
t
ion
s
to
c
hange
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
clo
o
g_l
o
op_
s
implify: si
m
plify unions before
s
implifyi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verd
o
o
l
aege
c
l
oog_loop_generat
e
:
detec
t
c
o
mponents
a
nd gen
e
rate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ver
d
oolaege
update
isl for isl_set_follows
_
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolae
g
e
c
l
oog_loop_generate: cont
i
nue
recursing
eve
n
if on
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
erdo
o
laege
c
l
oog_loop_generat
e
: don't projec
t
in
"scalar"
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolae
g
e
cloog
_
loop_
g
enerate
:
s
p
lit off
restriction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
erdoolaege
cloog_loop_generate: separate restricti
o
n
a
n
d projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
s
o
u
rce/loop
.
c:
se
p
arate out level
_
is
_
constant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven V
e
rdoolaeg
e
cloog_loop_sort:
separate out clo
o
g_lo
o
p_coun
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
sou
r
ce/l
o
o
p
.
c:
drop
r
edundant context a
r
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
source/loop
.
c: drop red
u
ndant nb_p
a
r arg
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven V
e
rdoolaeg
e
implement cloog_loop_s
c
alar_eq in t
e
rms of c
l
oog
_
l
oop_consta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Verdoolaege
fix implementa
t
ion of cloog_loop
_
scalar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sven
Verdoo
l
aege
source/i
s
l/domain
.
c: fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n V
e
rdoola
e
ge
cl
o
o
g
_loop_nest: also
introduce a
n
esting
for
the deepest
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
c
loog_loop_nest: make loo
p
di
s
jo
i
n
t be
f
ore inse
r
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Ver
d
oolaege
cloog_loop_disj
o
int: f
i
x over-eager op
t
im
i
zat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdool
a
ege
updat
e
is
l
f
o
r
f
ix in gist comp
u
ta
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verd
o
olaege
u
p
d
ate isl for
fix in conv
e
x hu
l
l c
o
mputati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdo
o
l
aege
u
p
dat
e
i
sl fo
r
improv
e
d
set dif
f
erenc
e
imple
m
entation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
s
l backend:
detect eq
u
a
l
ities on all sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Verd
o
olaege
on
l
y t
u
rn on warnings
in top level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
d
o
n
'
t construct guards on
e
xpr
e
s
sions that turn out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
k
e
ep track of offs
e
ts of st
r
ided
loops and use them
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
ven Verdoo
l
aege
PolyLib backend: clean up simplificatio
n
of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next