repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
PetScan::kill: use pet_expr_kill_from_access_and_index
2012-11-04
Sv
e
n
V
e
r
d
oolae
g
e
update
f
or chang
e
in clang's
H
e
aderSe
a
rc
h
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Verdoolae
g
e
up
d
ate for change in
c
l
ang's
D
ia
g
nosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoola
e
ge
s
cop_extract_from_C_so
u
rce
:
t
ake TargetOpti
o
ns object
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven
Ve
r
doolaege
PetScan::extract: also c
l
ear assignments i
n
while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoolaege
clear_assignments: also consider decremen
t
s a
n
d
increments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
S
ven Verdoolaeg
e
confi
g
ur
e
.
ac: che
c
k for getExpansionLoc in clang/Basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven
Verdoolaeg
e
confi
g
ure
.
a
c
:
l
ink against sam
e
LLVM comp
o
nents as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
S
v
en Verdoola
e
ge
PetScan::extract_
a
rray: use decla
r
ed size on VLA pa
r
a
m
e
ters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
Sven Verdoolaege
PetS
c
an::scan: use expansion offset to de
t
ermine if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolae
g
e
Pet
S
can::ex
t
rac
t
_for: also chec
k
whether bound
i
s
simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
us
e
isl_pw_
a
f
f
_tdi
v
_q and isl_pw_
a
ff_tdiv_r inst
e
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
update isl
f
or i
s
l_p
w
_af
f
_tdiv_q and
is
l
_pw_
a
ff_t
d
iv
_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
suppor
t
m
odulo opera
t
ion in statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven
Verdoolaege
include/p
e
t
.
h
: fix typo in documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoo
l
aege
make
a
voiding overflows on sig
n
ed integes op
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
rdoolaege
upda
t
e isl for r
e
name of !isl_set_dim_ha
s
_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven
V
er
d
oo
l
aeg
e
scan
.
cc: add miss
i
ng in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
Sven Verdoolaege
only requir
e
libyaml f
o
r compiling t
h
e
p
et executable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
pet
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sve
n
Ve
r
d
o
olae
g
e
configure
.
ac: allow specification of
g
mp loc
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
updat
e
is
l
to ve
r
sion 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verd
o
olaege
READ
M
E
: mention support for non-affine con
d
iti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
README: update to latest r
e
lea
s
e
of clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
sc
o
p_add_break: try and merge filte
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
support break
a
nd
c
ontinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
add
pet_
e
xp
r
_fi
l
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
scop
.
c: extrac
t
out i
n
sert
_
filter_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
scop
.
c
:
e
xtr
a
c
t
out args_in
s
ert_a
c
ce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoo
l
aege
ad
d
pet_s
c
op_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ve
n
V
e
rdoolaeg
e
PetSc
a
n::extrac
t
(IfStmt *):
e
x
tract out extra
c
t_non_affine_i
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolae
g
e
ha
n
dle generic condit
i
ons is
for lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doola
e
ge
pe
t
_sc
o
p
_
embed: take mapping f
r
om virtual to rea
l
iterator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
l
aege
PetScan::
e
xtract_for: rename variable "di
m
"
t
o "sp
a
c
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
scop
.
c
:
e
x
t
ract out int
e
rnali
z
e_
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolae
g
e
sc
a
n
.
cc: mov
e
has_n
e
st
e
d
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
sca
n
.
cc: mov
e
is
_
n
e
sted_param
e
ter up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
handle non-a
f
f
i
ne c
o
n
d
itions
i
n while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
s
c
an
.
cc: ext
r
act out PetScan::extract_af
f
ine_
w
hile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
erdoola
e
g
e
scan
.
cc: move
sco
p
_a
d
d
_array up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erd
o
olaege
scan
.
c
c: move
c
reate_test_acces
s
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pet_scop_f
i
l
ter: al
l
ow filte
r
s
w
i
t
h
non-zero-dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
scan
.
c
c: extrac
t
out identity_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
scan
.
cc:
e
x
tract
o
ut inf
i
nite_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n V
e
rdoolaege
add pet_scop_reset_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
scop
.
c: f
i
x typo
i
n comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
Sven
V
erdo
o
laege
PetScan::extract_f
o
r: remove incorrec
t
optimizatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaege
support
d
ecrement
a
nd increment operati
o
n
s in st
a
tement
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
er
d
o
olaeg
e
scan
.
cc:
fix whitespac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oola
e
ge
scan
.
cc
:
fi
x
typos
i
n com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ve
n
Verdoolaege
PetSc
a
n::nested_access:
c
heck that n
e
sted
a
ccess doesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdoolaege
Pe
t
Scan:
:
extract_non
_
aff
i
ne_co
n
dition
:
r
esolve n
e
sted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven
V
erdoolaege
PetS
c
an::e
x
tract_
a
ccess_expr: remove dupl
i
cation by
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdo
o
la
e
ge
cache ass
i
gned valu
e
s in then and else branch of
if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
ool
a
ege
pet_scop_c
o
llec
t
_array
s
:
als
o
collect
a
rrays that only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdo
o
laege
s
c
a
n
.
cc: add_paramete
r
_bounds: double
c
heck
that there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaege
p
e
t_sc
o
p_r
e
strict: pro
j
e
c
t
out unname
d
parameters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Ver
d
oolaege
PetScan::resolve_n
e
st
e
d: detect
and remove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
ool
a
eg
e
P
etScan::extract_nested: inser
t
ou
t
er filter
s
in earlie
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
mark __pet_te
s
t_* variables as
u
niquely_
d
efi
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdoolaege
pet_arra
y
: add uniquel
y
_de
f
ined attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
S
v
en
V
erdoolae
g
e
s
u
pport
a
ny a
f
fine condition in a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Ver
d
oolaege
a
dd PetScan::
t
r
y
_extract_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdool
a
e
g
e
mak
e
det
e
ction of conditional assig
n
m
e
nt option
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
p
ass pet_
o
pt
i
ons to PetScan
i
nstea
d
o
f
on
l
y t
h
e autodete
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
erdoolaege
av
o
id negative array indices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
p
et: allow
specification
o
f isl o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdool
a
eg
e
scop
.
c: expr_e
x
tract_context: don't assume
a
c
cess is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven V
e
rdoolaege
add pet_expr_i
s
_af
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
Verdoolaege
adjust to change
i
n
nu
m
ber of arguments of DeclRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verd
o
olaege
l
i
nk in new -
l
c
lang
E
dit
w
hen available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoolaege
updat
e
isl for supp
o
r
t
f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
avoi
d
overflows on
s
igned int
e
gers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
Verdoolaege
PetScan::extract_for: relax
requirement on increm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::e
x
t
r
act_for:
u
pdate
contex
t
with
re
s
pect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolae
g
e
represent
l
oop incremen
t
as isl_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Ver
d
oolaeg
e
allow slig
h
tly more
g
eneric compound in
c
remen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoola
e
g
e
PetScan::extra
c
t(If
S
tmt *)
:
update co
n
text w
i
t
h
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ve
n
Ve
r
d
oolaege
try and extrac
t
condition of ternar
y
operator as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
p
et_
s
cop
_
from_pet_stmt
:
extract
c
ontext constrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_sc
o
p_restric
t
: update
c
on
t
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ve
r
doo
l
aege
pet_scop_emb
e
d:
u
p
d
a
t
e context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
pet_scop_ad
d
:
comb
i
ne (
i
n
t
ersect)
c
ontext
s
of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
add pet_s
c
op_re
s
tr
i
ct_con
t
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
PetS
c
an::e
x
tract_af
f
ine: don't bother with
wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
Pe
t
Scan::extract_cond
i
t
iona
l
_assignment: simplify comp
u
tat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
r
epr
e
sent con
d
itions us
i
n
g
isl
_
pw_
a
ffs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rdoola
e
ge
Pe
t
Scan::extra
c
t
_for:
c
o
mpu
t
e gist
b
ef
o
re
t
e
s
ting whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract_for:
only compute is_simple once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
o
olaege
PetScan::
e
xtract_for: make domain r
e
fer to the v
i
r
tual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
PetScan::extract_for: also call can
_
wrap on non-simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract_for
:
explicitl
y
keep track of
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en V
e
rdoolaege
scan
.
cc: str
i
ded_do
m
ain: return parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
lim
i
t paramete
r
s in context t
o
possible values of correspond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
P
e
tScan::ex
t
ract_imp
l
ic
i
t_affine: simplify com
p
utation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
update isl
for chang
e
in isl_pw_
a
f
f
_con
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdoo
l
aege
s
i
mplify se
t
s and relations in pet_scop with
r
e
s
p
ec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdool
a
ege
pass value_bou
n
ds
t
o
P
et
S
can
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ven
Ver
d
o
o
laege
store
value_bou
n
ds in
i
s
l_union_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sv
e
n
V
erdool
a
ege
README: mention tha
t
ubuntu libclang-dev i
s
not sufficient
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
V
erdoolaege
R
E
A
D
ME: me
n
t
i
o
n
p
otential p
r
o
b
l
em w
h
en co
n
figuring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next