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
update isl for fix in handling of existentially quantified variables
2010-11-15
Sven Verdoolaege
update isl fo
r
fix in hand
l
ing of exist
e
ntially quan
t
i
fied
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-28
Sve
n
Verd
o
ola
e
ge
opti
o
nal
l
y store domains of sc
a
t
t
ering dimensions in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-28
S
v
en Verdoo
l
a
ege
add isl_
s
et_from_cloog_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
cl
o
og_dom
a
in_pr
i
nt_struc
t
ure
:
print domain in isl format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdool
a
ege
add cloog_
v
ec_dum
p
for
debugging
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Ver
d
oola
e
g
e
source/loo
p
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Ver
d
oolaeg
e
cloog_d
o
m
ain_from_
i
sl_set: mak
e
sur
e
di
v
s are comp
u
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
cloog_l
o
op_specialize: only s
p
ecialize w
i
t
h
con
v
ex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
clast
.
c:
insert
_
modulo_guard_constraint: prop
e
rly
h
andl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
olaege
cl
o
o
g
_
domain_pro
j
ect: dr
o
p
divs in
v
ol
v
i
n
g level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Ve
r
doolaege
cloog
_
in
p
ut_
d
ump
_
cl
o
og: us
e
e
xten
d
ed pol
y
li
b
output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven
V
erdoola
e
ge
u
pdat
e
i
s
l for renaming of isl_map_remove
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
S
ven Verdoolae
g
e
u
p
d
ate isl for improved co
a
lescing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sven Ve
r
doolaege
cloog_loop_from_domain: call cloog_lo
o
p_
m
a
l
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
cloog_lo
o
p
_
remove_
e
mpty_domain_loops: proper
l
y
t
erminate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
Sven Verdo
o
l
aege
doc:
fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven Verdoolaege
detect strides even if
t
h
e
r
emainder of the l
o
wer b
o
und
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
S
ven Verdoolaege
m
o
v
e
all st
r
ide information into separ
a
t
e
CloogStride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven
V
e
rdoolaege
add cloo
g
_u
n
ion_doma
i
n_from_i
s
l_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-13
Sve
n
Verdoolaege
isl/dom
a
in
.
c:
f
ix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdo
o
lae
g
e
c
l
as
t
.
c:
only upd
a
t
e lower
b
ou
n
ds during the construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdo
o
laege
cloog_loop_block: fi
x
typo t
h
a
t
could resu
l
t in inc
o
r
r
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoola
e
ge
mar
k
cloog
_
i
sl_state_
m
alloc as
h
aving C
l
i
nka
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
c
loo
g
_input
_
d
ump_cloog:
fix typ
o
t
hat broke dump of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-08
Sven
Verdoolaege
add cloog_
u
nion_domain_from_isl_
u
n
i
on_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
p
r
ovid
e
a simplifie
d
and doc
u
mented API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven Verd
o
olaege
cloog_names_read_s
t
rings: do not generat
e
names
if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven Verdoola
e
ge
cloog_prog
r
a
m
_read: s
e
parate r
e
a
d
ing from input from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-25
Sven V
e
rdoo
l
a
ege
allow
l
i
b
rary users t
o
spec
i
f
y
n
ames of statement
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
S
v
e
n Verdoolaege
dete
c
t all one-
t
ime l
o
ops and c
o
n
v
ert them t
o
a
n
assignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sven Verdoola
e
ge
source/clas
t
.
c: cle
a
n up insert_fo
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
al
l
ow str
i
d
e
detection o
n
l
o
o
p
s
without consta
n
t lower
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
replace clo
o
g_domai
n
_
i
nt
e
gral_lowe
r
bound by cloog_domain_can
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
isl backend
:
cloo
g
_con
s
traint_set_foreach
_
constrain
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoola
e
ge
update isl fo
r
isl_constraint_is
_
div_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ver
d
o
o
laege
isl backend: cloog
_
do
m
ai
n
_project:
m
ake sure all divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
u
pdate isl
f
o
r is
l
_map_is_single
_
valued
commit
|
commitdiff
|
tree
2010-05-06
Sv
e
n V
e
rdool
a
ege
Turn
o
f
f backtrack by defa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Ver
d
oo
l
aege
cl
o
og_loop_
g
e
ner
a
te: optimize the lo
o
p domains after
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
Verdoolaege
cloog_loop_genera
t
e: restrict inn
e
r lo
o
p do
m
ains before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven
Verdoo
l
a
ege
cloog_loop_generate_c
o
mpone
n
ts
:
extract ou
t
extract_compone
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven V
e
rdoola
e
ge
par
a
meterize cl
o
og_loo
p
_components_tarja
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n Ve
r
doolaege
update isl for impr
o
ve
d
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Ve
r
d
o
olae
g
e
split parameter domains
w
hen co
n
vex
h
ull opera
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
olaege
isl back
e
nd: clean up
rea
d
ing fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
upda
t
e
isl for change in
i
s
l
_
set_gist a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
simpl
i
fy cloog_loo
p
_
merge imple
m
entation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
c
loog_domain_union: free arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ver
d
oolaege
generate
loo
p
s
f
or all
dimensions i
f
-otl 0 is specified
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven
V
erdoo
l
aege
clast
.
c: insert_guard: make sure enough s
p
ac
e
is allo
c
ated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sven Verdoolaege
u
p
date isl for
various fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolae
g
e
upd
a
te is
l
f
o
r isl_basic
_
set_for
e
a
ch_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
erdoo
l
aege
in
t
rodu
c
e
c
loog_const
r
aint_set_foreach_con
s
traint
a
bstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ve
r
do
o
laege
isl
_
ba
c
kend: cloo
g
_domain_re
a
d_
s
c
a
t
tering: re
a
d scat
t
erings
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
olaeg
e
isl
b
ackend: sca
t
t
e
ring relation now maps domain dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verdoolaege
isl backend:
c
loo
g
_domain_read_scattering: allo
w
unio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
up
d
ate isl
for readi
n
g of
e
x
tended PolyLib for
m
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdool
a
e
g
e
allow
b
uil
d
ing without isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
remove P
o
l
y
Lib ba
c
kend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Ve
r
d
o
ola
e
ge
cre
a
te
pkg-confi
g
fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
dool
a
ege
m
ake i
n
stall
e
d
h
eader files inde
p
endent of configure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
move PolyL
i
b indepe
n
dent files out of polylib subdir
e
c
tory
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
o
olaege
make constraint
s
et
.
c
PolyLib
i
n
d
e
pendent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add m
o
r
e cloog_se
q
_* functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolae
g
e
add cloog_matrix_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven
Verdoo
l
aege
add cloog_int_
r
ead
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
r
doola
e
g
e
add c
l
oog_matrix_print
_
structu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
mo
v
e
lower
-
b
o
unds fix-up fr
o
m c
l
oog_lo
o
p_stride to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
o
o
laege
ad
d
cloog_int_cdiv_q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Ve
r
doola
e
ge
d
r
o
p special handli
n
g of con
s
tant term while inserting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaeg
e
add s
o
m
e m
o
re c
l
oog_int_t com
p
ari
s
on operat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaeg
e
cloog_matrix_print: print number of row
s
and colu
m
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add cloo
g
.
texi
to distribu
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
o
o
lae
g
e
add sor1d files
to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
m
a
ke
CL
o
oG c
o
r
e
compl
e
tely
b
ac
k
end-inde
p
endent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
upda
t
e
d
omain and scatter
i
ng reading functio
n
s
to ch
a
n
ges
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
cloog_loop
_
simplify: sim
p
l
ify unions
b
efore simplifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdo
o
l
aege
cl
o
o
g
_loop_genera
t
e: detect
c
ompone
n
ts and generate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Verdoolaege
update isl for
isl_set_foll
o
w
s
_at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Verdoola
e
ge
cloog_loop_gener
a
te: c
o
n
t
inue
recurs
i
ng even if only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoo
l
aege
cloog_loo
p
_generate: don't
projec
t
in "sc
a
lar" ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven V
e
rdool
a
ege
clo
o
g_loop_gen
e
rate:
s
plit o
f
f
re
s
triction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Ve
r
d
o
olaege
cloo
g
_
loop_generate: separat
e
restriction and
p
rojection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Verdoolaege
source/lo
o
p
.
c: s
e
parat
e
o
ut
leve
l
_is_co
n
stant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ve
r
do
o
laege
c
loog_loop_so
r
t
: separate out cloog_loop_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
e
n Ve
r
doolaege
so
u
rce/loop
.
c: drop
r
edu
n
dant co
n
tex
t
argument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Verdoola
e
ge
source/loop
.
c: drop redun
d
a
nt nb_par argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven V
e
rdoolaege
im
p
lement
c
loog_loop_scalar_eq
in
ter
m
s
o
f
cloog_loop_cons
t
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
e
rdoolaege
fi
x
imp
l
ementa
t
i
o
n of cloo
g
_loop_scalar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Ver
d
oolaege
sourc
e
/is
l
/domain
.
c:
fix typ
o
in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdoo
l
aege
cloog_l
o
op_ne
s
t: also introduce
a
nestin
g
f
or the deepes
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoolaege
cloog_loop_nest:
m
ake lo
o
p disjoint bef
o
re insert
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
v
en V
e
rdoolaege
c
l
oo
g
_
loo
p
_disjoint: fix over-eager opt
i
mization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
Ve
r
doolaege
upda
t
e isl for fix i
n
gist computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdo
o
laege
update isl
f
or fix in
c
onvex hull comput
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
V
erdoola
e
ge
update isl for improved set diffe
r
e
n
ce
implementation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdo
o
l
a
ege
isl
ba
c
kend: de
t
ect eq
u
alit
i
es on
a
ll sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
onl
y
turn o
n
w
a
rnings in
t
op leve
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
don't construct gua
r
ds on expressions that turn
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Ve
r
doolaege
kee
p
trac
k
of offsets of
s
trided loo
p
s an
d
use the
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next