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
add cloog_vec_dump for debugging
2010-10-27
S
v
e
n
V
erdoo
l
a
e
ge
add cloog_vec_dump for de
b
u
g
ging
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
s
o
urce/loop
.
c: fix typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoolaege
cloog_domain_from_isl_s
e
t: make
s
ure divs are
compu
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
S
ven Verdoolaege
c
loo
g
_loop_sp
e
ci
a
li
z
e:
o
nly specialize with conve
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
S
ven Ver
d
oo
l
a
e
ge
clast
.
c
:
i
n
sert_mo
d
ulo_guar
d
_co
n
strai
n
t
:
proper
l
y
handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verd
o
olaege
c
loo
g
_d
o
m
a
i
n
_
p
r
o
j
ect:
dro
p
divs involving level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Ve
r
doola
e
ge
cloog_input_
d
um
p
_cloog: us
e
extended polylib output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
S
ven Ve
r
doola
e
ge
update i
s
l for renaming
o
f
i
s
l
_map_re
m
ove
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for improved
coal
e
scing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
c
l
oog
_
l
o
op_from_domain
:
c
all cloog_loop_mallo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdo
o
la
e
ge
cloog_loop_remov
e
_
empty_dom
a
i
n
_lo
o
ps: properly termi
n
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
Sven Verdoolaege
doc:
fix
t
ypos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
An
d
reas Simbürger
Add supp
o
rt for compile-t
i
me and run-
t
ime ver
s
ion
c
hecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-21
Uda
y
Re
d
dy
Add
.
gi
t
ignore
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
S
ven Verd
o
olaege
detect stride
s
even i
f
t
h
e rem
a
inder of the l
o
wer boun
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
S
v
en Verdoo
l
aege
move
a
ll stri
d
e
i
nformation int
o
separ
a
t
e
CloogStr
i
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven Verdoolaege
add cloog_union_
d
o
ma
i
n
_
f
rom_isl_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-13
S
ven Verdoolaege
isl/domain
.
c
:
f
i
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
Tobias Grosser
Set default lang
u
a
g
e to C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
S
v
en
Ve
r
doolaege
clast
.
c: only update l
o
wer bound
s
during
t
he cons
t
ruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
S
v
e
n Verdoolaege
cloog_l
o
o
p_b
l
oc
k
:
f
i
x
ty
p
o that coul
d
result in inco
r
rect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Ve
r
doolaege
mark cloog_isl
_
state_malloc as
h
avin
g
C lin
k
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven
V
e
r
doolaeg
e
c
loo
g
_inp
u
t_dump_cloog: fix
typo t
h
at broke dum
p
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-08
Sven Verdoolaeg
e
add cl
o
og_union_
d
om
a
in_f
r
om
_
isl_uni
o
n_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Tobi
a
s Grosse
r
Introduce cl
o
og_inp
u
t_
d
ump
_
cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoo
l
aege
pro
v
ide a
s
implified and documented A
P
I
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
S
ven Verdoo
l
aege
cloog_names_read_strin
g
s: do not generate names
i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven
V
erdoolaege
cloog_progra
m
_read: separate reading fr
o
m
i
nput f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-25
Sven Ver
d
oolaege
allow
l
ibrary
user
s
t
o sp
e
c
ify names of statemen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
S
v
e
n
Verdoolae
g
e
dete
c
t a
l
l one-time loops
a
nd convert th
e
m to an assign
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sven
Verdoo
l
aege
source/clast
.
c: clean u
p
insert
_
fo
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
allow stri
d
e detection on lo
o
ps without constant lower
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
replace cloog_domain_integra
l
_
l
owerbound by cloog_domain_
c
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl backend:
cloog_
c
o
nst
r
aint_set_forea
c
h_
c
on
s
train
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolae
g
e
update isl for isl_constrain
t
_
is_div_cons
t
raint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
isl backend:
c
loog_doma
i
n_project:
m
ake sure all
d
iv
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-16
T
obias
Gross
e
r
dump ScatteringList in cloog_program_
d
ump_cloo
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
up
d
ate is
l
for
i
sl_map_is
_
s
ingle_val
u
ed
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
Turn off b
a
cktrack by default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sv
e
n V
e
r
d
o
olaege
cloog_loop_generate
:
optimiz
e
the loop domains after
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
cloo
g
_loop_generate: res
t
rict inner loo
p
d
o
ma
i
ns before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
V
e
rdoolaeg
e
c
l
oo
g
_loop_ge
n
erate_comp
o
ne
n
ts: extract
out extract_comp
o
nent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
S
ve
n
V
erdoolaege
parameteriz
e
cloog_loop_com
p
onents_tarjan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
up
d
ate isl for
improv
e
d gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
split p
a
ramet
e
r
domains whe
n
conv
e
x hull operation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaeg
e
i
s
l
b
a
ckend:
c
lean up
r
eading function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Verd
o
olaege
update isl for change i
n
isl
_
set_gist arg
u
men
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
s
i
mplify cloog_loo
p
_merge i
m
ple
m
entation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
S
ve
n
Verdoolaege
cloog_dom
a
in_
u
nion: free arg
u
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoolaege
gen
e
rate loops fo
r
all
d
imens
i
ons if
-otl 0 is specified
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven Verdo
o
laege
clast
.
c: in
s
ert_guard: make sure
e
n
o
u
gh spa
c
e is a
l
located
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sven Verdoolaege
upd
a
te isl
f
or various fix
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oola
e
ge
update
isl for isl_basic_
s
et_
f
o
r
e
a
ch_const
r
a
i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
o
olaege
introdu
c
e cloog_constrai
n
t_se
t
_f
o
reach_con
s
traint ab
s
traction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
d
oolaege
isl_b
a
ck
e
nd: cloog
_
domain_read_scattering: rea
d
s
c
atter
i
ngs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl backen
d
: scattering relation n
o
w
m
aps domain dimens
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaeg
e
isl backend: cloo
g
_d
o
main_read_s
c
attering:
a
l
low
un
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doola
e
ge
u
p
d
ate isl for reading
of
extend
e
d
P
olyLib
f
ormat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolae
g
e
allow building
w
ithout isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaeg
e
remove Poly
L
ib backend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
cr
e
ate pkg
-
config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
d
o
olaege
make
i
n
stalled header f
i
l
es independent of confi
g
ure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
r
d
oolaeg
e
mov
e
PolyLib independent fi
l
es
out of polyl
i
b
subdirectory
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
ae
g
e
make
c
o
nstraintset
.
c Poly
L
ib inde
p
endent
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
S
v
e
n
Verdool
a
ege
add
cloo
g
_matrix_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolae
g
e
add cloog_int_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven
V
erdoolaege
add cloog_
m
atrix
_
p
r
in
t
_structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en V
e
rdo
o
laege
m
ove
l
o
wer-bounds fix-up from cloog_loop_stride to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n
Verdool
a
ege
add cloog_int_cdiv_q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
eg
e
d
r
op specia
l
handlin
g
of
constant
term while inserting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
add some more cloog_int_t
comparison
o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
clo
o
g_matrix
_
print: print
n
umber o
f
rows and
c
ol
u
mns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
add cloog
.
t
exi to distr
i
bu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
add s
o
r1d fi
l
es t
o
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
mak
e
CLooG core co
m
pletely backend-independent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdool
a
e
ge
update domai
n
an
d
scattering readin
g
functions
to chan
g
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
cloog_loop_s
i
mpl
i
fy: simplify uni
o
ns before simp
l
ifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven
V
erdo
o
laege
c
l
oog_loop_gene
r
at
e
: detect components an
d
genera
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoo
l
aege
u
p
date isl f
o
r i
s
l_set_follows_at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sv
e
n Verd
o
o
laege
c
loog_loop_gene
r
ate: conti
n
u
e
recursing even if only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ve
r
doolaege
c
loo
g
_loop_generat
e
: don't proj
e
ct in "scalar"
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Verdoolae
g
e
cloog_loop_genera
t
e: split
o
ff restric
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
erdoola
e
g
e
clo
o
g
_
l
oop_gene
r
ate: separate
r
estriction and proj
e
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Verdoolaege
sou
r
ce/loop
.
c: separate
o
ut
l
evel_is_constant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaege
cloog_
l
oop_sort: s
e
p
a
rate
out cloog_loop_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolae
g
e
source/l
o
op
.
c: drop redu
n
dant c
o
n
t
ext arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven V
e
rdoolaege
so
u
rce/loop
.
c: drop redunda
n
t nb_par argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sve
n
Verdoolaege
impl
e
ment cloo
g
_lo
o
p
_
scalar_eq in
terms of cloog_loop_consta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
e
r
doo
l
aege
fix
i
m
p
leme
n
tation
of cloog_loop
_
scalar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
er
d
oola
e
ge
s
our
c
e/
i
sl/domain
.
c: fi
x
typ
o
in
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
cloog_loop
_
nest:
also i
n
troduce a nes
t
ing for th
e
deepe
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verdoolaeg
e
c
l
oo
g
_loop_nest: mak
e
l
oop disjoint be
f
o
r
e insertin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
v
e
n
Ver
d
oolaege
c
l
oog_loop_disjoi
n
t:
f
ix over-
e
a
ger optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verdoolaege
update isl for fix in gist comput
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdo
o
laege
update is
l
for fix
i
n convex hull computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
update isl for improved set di
f
ference impl
e
m
enta
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Ve
r
doolaege
i
s
l backen
d
: detect equalitie
s
on al
l
set
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doola
e
ge
only turn on
warning
s
in top level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaeg
e
don't
con
s
truct guards on e
x
pressi
o
ns that turn o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next