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 cloog_vec_dump for debugging
2010-10-27
S
ve
n
Verdoola
e
g
e
add cloog_vec_dump for debugging
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoo
l
a
eg
e
sourc
e
/loop
.
c: fix
typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoo
l
aege
cloog
_
domain_f
r
om_i
s
l_set: ma
k
e sure
d
iv
s
a
re co
m
puted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven V
e
rdoolaege
cloog_loop_spe
c
ialize
:
only
s
pecialize with convex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
c
la
s
t
.
c: in
s
ert_modulo
_
guard
_
c
o
nst
r
aint: pr
o
perly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
V
erdoo
l
aeg
e
cloo
g
_domain_pro
j
ect: dro
p
d
ivs
i
nvolvin
g
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdool
a
ege
cloo
g
_inpu
t
_dump_cloog: use extended polyli
b
o
u
tput
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Ver
d
oolae
g
e
update isl for
r
enaming of i
s
l_map_r
e
move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven
Verdoolaege
update isl
f
or improved coalescin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
cloog_loop_from_domain: ca
l
l
cloog_loop
_
malloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-18
Sve
n
Verdoolaege
cloog
_
loop_remove
_
empty_domai
n
_loops: properly term
i
nate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
Sven
V
er
d
oo
l
aege
d
o
c: fix
typ
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-09-04
A
ndreas Simb
ü
rger
Add
s
up
p
ort
for co
m
pile
-
time
a
n
d run-ti
m
e versi
o
n checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-21
Ud
a
y
R
eddy
Add
.
gitignore
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven Verdoolaeg
e
detect str
i
des even if the remai
n
der of
the low
e
r bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sven V
e
r
d
oolaege
m
ove al
l
stride infor
m
at
i
on into separate CloogStride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-14
Sve
n
V
e
r
doolaege
add cloog_unio
n
_domain_fr
o
m_isl_
u
n
ion_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-13
Sven Verdo
o
lae
g
e
isl/domain
.
c: fix typo in
commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-11
T
o
bi
a
s Gross
e
r
Set default languag
e
to C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-10
S
ve
n
Ver
d
o
olaeg
e
cla
s
t
.
c:
only
u
pdate lowe
r
bounds duri
n
g th
e
cons
t
ru
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdool
a
e
ge
clo
o
g_loop_block: fi
x
typo that could result in
i
ncorrect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Ver
d
oolaege
mark cloog_is
l
_
stat
e
_ma
l
loc as having C linkage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-09
Sven Verdoolaege
cloog_input
_
dump_cloog:
fix typo that br
o
k
e
dump of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-08
Sven Verdool
a
ege
add
c
loog_union_domai
n
_from_isl_union_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
T
o
bias Grosser
Introduce cloog_i
n
put_dump_cloog
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolae
g
e
provide a simplified and do
c
u
m
ented API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sve
n
Verdoola
e
ge
cloog_
n
ames_read_st
r
ings: do n
o
t generate names i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-01
Sven Verdoolaege
c
l
o
og_pr
o
gram_r
e
a
d
: sepa
r
a
t
e read
i
ng from inp
u
t
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-25
Sven
Verdoo
l
aege
allow l
i
b
r
ary use
r
s to
specify names of
s
tatements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
Sven Verdoo
l
aege
detect
all o
n
e-time
l
oo
p
s an
d
convert them
to
a
n as
s
ignmen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-15
S
ven Verdoolaege
sourc
e
/clast
.
c: clean up insert_for
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
g
e
a
llow stride detection on
l
oops wit
h
out consta
n
t low
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
r
eplace c
l
oog_domain_in
t
egral_lo
w
erbound b
y
cloog_domain_can
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
i
s
l backend:
c
l
oog_
c
on
s
traint_set_foreach_
c
onstr
a
in
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
u
pdate is
l
fo
r
isl_constraint_
i
s_div_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdo
o
la
e
ge
isl backen
d
: cl
o
og_domain_project: ma
k
e sur
e
al
l
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-16
Tob
i
as Grosser
d
u
mp Scatt
e
ringLi
s
t in cl
o
og_program_dump_clo
o
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
aege
update
isl for
isl_m
a
p
_is_sing
l
e_va
l
ued
commit
|
commitdiff
|
tree
2010-05-06
Sve
n
V
erdoo
l
aege
T
u
rn off
b
acktrack
b
y
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
cloog_l
o
op_g
e
ne
r
at
e
: optimize
t
he loop
domains
after
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verdoolaege
cloog_loop_generate: rest
r
i
ct inn
e
r
loop d
o
mains befo
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
Sven Verd
o
olaege
clo
o
g_loop_
g
enerate_components: extract out ext
r
act_comp
o
ne
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-05-06
S
v
en
Ve
r
do
o
l
a
ege
para
m
et
e
rize
c
loog_loop_
c
o
mpone
n
ts_
t
arjan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdoolaege
update
i
sl for improve
d
g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n V
e
rdoolaege
split parame
t
er domai
n
s when convex hull
o
peration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erdoolaege
isl bac
k
end:
clean up reading functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
update isl for change in isl_set_gist
a
rg
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
s
i
mplif
y
cloog_loop_merge implementatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
cloog_domain_
u
nion: free ar
g
ument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
ae
g
e
g
e
nerate loops for all
d
ime
n
sions
if -otl 0 is sp
e
cified
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-17
Sven Ver
d
oolaege
clast
.
c: ins
e
r
t
_
guard
:
ma
k
e sure
e
nough
sp
a
ce is
a
l
l
oc
a
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-03-11
Sven V
e
r
d
oolaege
update is
l
for various fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
up
d
ate isl f
o
r isl_basic_set_
f
oreach_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verd
o
olaege
introd
u
c
e
cloog_con
s
t
r
ain
t
_
se
t
_foreach_co
n
straint abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_ba
c
kend: c
l
oog_
d
omain_read_scattering:
r
e
a
d
scatter
i
n
g
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl backend: scattering rela
t
ion now
m
aps domain dimensio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl b
a
ckend: clo
o
g_
d
oma
i
n
_
read_s
c
att
e
rin
g
:
a
llow un
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
V
e
rd
o
olaege
update isl f
o
r reading of ex
t
e
n
ded P
o
lyLib form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Ve
r
doolaege
allow buil
d
ing
withou
t
isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
ool
a
eg
e
remove
P
o
lyLib
b
ackend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
c
r
ea
t
e pkg-c
o
nfig
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
make instal
l
ed h
e
a
der
files independent
o
f configure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
m
ove Pol
y
Lib independent files o
u
t
of polylib sub
d
ir
e
ctory
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
g
e
make constraintse
t
.
c PolyLib indep
e
n
d
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add mo
r
e cloog_seq_*
f
un
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdool
a
ege
add cloog_matri
x
_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdool
a
e
g
e
add c
l
oog_int_r
e
ad
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
add cloog_matrix_print
_
st
r
ucture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
move
l
ower-bou
n
ds
f
ix-up
from cloog_loop_s
t
rid
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Verdoolaege
a
d
d
cloog
_
in
t
_cdi
v
_q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
drop s
p
ecial
h
a
ndling
of cons
t
ant term while i
n
sertin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
add
some more c
l
o
o
g
_int_t co
m
p
arison ope
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verd
o
olae
g
e
cloo
g
_matri
x
_prin
t
: print numbe
r
of
r
ows
and columns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
a
dd cloog
.
texi to distributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
eg
e
add sor1
d
files t
o
distrib
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaeg
e
mak
e
C
LooG cor
e
completely
ba
c
kend-i
n
d
epende
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
update domain and scattering readi
n
g functions to changes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
d
o
olaege
cloog_loop_simplify: sim
p
li
f
y
unions before s
i
mpli
f
ying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdool
a
ege
cloog_loop_generate:
d
etect components and generate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
V
e
rd
o
olaege
u
pdate
i
s
l for isl_
s
et
_
follows_at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Verdool
a
ege
cloog_loop_g
e
ne
r
ate: continue rec
u
rsing even if only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoo
l
aege
cloog_loop_
g
enerate: don'
t
project in "
s
cal
a
r
"
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdool
a
ege
cloog_loop_generat
e
: split off restr
i
ctio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Ve
r
doolaege
cloog_loop_genera
t
e
:
sepa
r
ate restrictio
n
an
d
projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolae
g
e
source/
l
o
o
p
.
c:
s
eparat
e
out leve
l
_is_constant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
ven Verdoolaege
cl
o
og_loop_
s
o
r
t:
separat
e
out cloog_loo
p
_count
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
S
v
en Ver
d
oolae
g
e
sou
r
ce/lo
o
p
.
c: drop re
d
undant con
t
ext
a
rg
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven
Verdoolaege
s
ource/
l
oop
.
c: dro
p
r
e
d
u
ndant nb_par
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdool
a
ege
implement
cloog_loop_scalar_eq in terms of
cloog_loop_consta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-29
Sven Verdoolaeg
e
fi
x
implementation of clo
o
g_loop_scalar_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-25
Sven Ve
r
dool
a
e
ge
sourc
e
/isl/domain
.
c: fix t
y
po
i
n comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdoola
e
ge
cloog_loop_nest: also introd
u
ce
a
nesting for the deepest
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
cloog_loop_nest: m
a
ke
loop disj
o
int before in
s
ert
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
c
loog_loop_disjo
i
nt: f
i
x over-eage
r
optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verd
o
o
lae
g
e
up
d
ate isl
f
o
r fix in
g
ist computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
d
ool
a
ege
upd
a
te i
s
l fo
r
fix in con
v
e
x hull co
m
puta
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
r
doolaeg
e
update
i
sl for improved
set d
i
fference implement
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoola
e
ge
i
s
l backend:
d
etec
t
equalities
on all sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
o
n
ly
turn
o
n warnings in t
o
p le
v
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verdoolaege
do
n
't constr
u
c
t guards on expres
s
ions that turn o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next