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
separate out extraction of nested expression from isl_id
2014-03-24
Sven Verdoolaege
separa
t
e out extraction of nested
e
xpressio
n
fro
m
isl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
pe
t
_e
x
p
r_i
s
_sca
l
ar_
a
ccess: do not consider scalar
f
ields
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extr
a
ct out pet_extract_cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
extract out pet_boolean
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolae
g
e
ext
r
a
c
t out pet_to_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
l
a
e
g
e
extract out pet
_
no
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract o
u
t pet_
a
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
add mor
e
p
et_expr_is_*
f
u
nc
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out the handlin
g
of skip
conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
ext
r
ac
t
out pe
t
_create_test_in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
extract o
u
t pet_s
c
o
p_add_boolea
n
_
a
r
r
ay
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
scan
.
cc: sc
o
p
_
add_array: ren
a
me
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
pet_e
x
p
r
:
k
e
ep track
of type_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
extract sha
r
ed
P
e
t
S
can::e
x
tract_
a
ccess_ex
p
r(isl_mult
i
_
p
w_aff *)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
extra
c
t ou
t
pet_compari
s
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
s
ca
n
.
cc: move U
n
ary
O
peratorK
i
n
d2p
e
t_op_type, Bina
r
yOper
a
torK
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
add pet_stmt_c
a
n_build
_
ast_ex
p
r
s and
p
e
t_scop
_
can_b
u
ild
_
ast_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_scop
_
collect_arrays
:
collec
t
arrays in a sorted set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
d
oolaege
pet_
s
co
p
_col
l
e
c
t_a
r
rays: avoid t
r
ying to
r
emove "type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
p
e
t_s
t
mt_from_pet
_
expr: drop
isl_
c
t
x
argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
make p
e
t_expr objects refe
r
ence
counte
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
PetScan::extract_argument: avoid
m
odifying part of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaeg
e
updat
e
isl
for __isl_
n
ull memory management anno
t
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
o
l
a
e
ge
extract some nes
t
ed pa
r
a
m
e
ters re
l
ated
code
i
nto n
e
st
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oo
l
a
ege
add pet_expr_a
c
c
e
ss_get_r
e
f_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
add pet_ex
p
r
_
a
c
c
e
s
s
_
i
s
_read
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
a
d
d
pe
t
_
e
x
pr_access_is_
w
rite
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
add
p
e
t_expr_foreach_c
a
ll
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doolaege
add pet_expr_dou
b
le_get_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdool
a
ege
a
d
d pet_expr_access_g
e
t_depen
d
en
t
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verd
o
olaeg
e
add
p
e
t
_expr_ac
c
ess_get_
m
ust_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doola
e
ge
update isl
f
or is
l
_space
_
doma
i
n_fac
t
or_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
e
xport pet_expr_
a
ccess_
g
et_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ve
n
Verdoolaege
e
x
p
ort
p
e
t_e
x
p
r
_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
o
olaege
e
xport pe
t
_
e
xpr_is
_
a
f
fine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
exp
o
rt pet_expr_forea
c
h_acc
e
ss_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolae
g
e
extract out pet_expr_a
c
ce
s
s_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
extr
a
ct out pet_expr_ac
c
ess_move_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Ve
r
doolaege
ext
r
act o
u
t pet_expr_acc
e
ss_
g
e
t
_p
a
ramet
e
r_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
e
xtract out pet_expr_
a
ccess_ge
t
_data_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdo
o
laege
extract out pet_expr_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
extrac
t
out
pe
t
_value_bounds_apply
t
o a sep
a
rate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
move pe
t
_
e
x
p
r functio
n
s to s
e
parate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
s
cop
.
c: expr_wri
t
es
:
use pet
_
expr
_
foreach_a
c
cess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
rdoolaege
scop
.
c: ex
p
r_d
e
t
ec
t
_paramet
e
r_acce
s
ses: use
p
e
t_expr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
e
ge
pet_scop_de
t
ect_parameter_ac
c
esse
s
: re
n
ame "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
scop
.
c: expr_p
r
o
p
agate_params: use
p
et_expr_map_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
extract
o
ut p
e
t
_
filt
e
r
_insert_pma to
separ
a
te fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verd
o
olaege
add
mo
r
e
t
est cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
pet_expr: merge
un
a
ry, bi
n
a
r
y
and ternary types
int
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
extract integers as integer expressions rathe
r
than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
upd
a
te tes
t
case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
r
d
oolae
g
e
add sup
p
ort for int
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
p
e
t_check_code
.
c: pa
s
s alo
n
g it
e
r
a
ti
o
n
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n Verdoolaege
extr
a
c
t ou
t
shared
p
e
t_stmt_get_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
export
pe
t
_
e
xp
r
_from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doolaege
pet_scop_embed: pa
s
s i
s
l
_aff sc
h
e
d
ul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract
o
ut pet_stmt_is_as
s
ign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en
V
erdo
o
laege
extract out comm
o
n
p
e
t
_
s
tmt
_
is
_
kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
PetScan::extra
c
t_
i
n
c
reme
n
t: improve error m
e
ssa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
support logical operators in expre
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
V
erdoola
e
ge
support intMod, intCe
i
l
a
nd in
t
Floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
provide
g
et
t
e
r and set
t
er for detect
-
conditional-ass
i
gnmen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
p
e
t
_
che
c
k_code: dump iteration domains
if t
h
ey ar
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pet_che
c
k_co
d
e: parse isl
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdo
o
laege
scan
.
cc:
indicator_fun
c
tion: coales
c
e domain before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
ol
a
ege
sco
p
.
c:
f
ix
typos in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
s
can
.
cc: fix typos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolaege
p
et_scop_restrict_skip: fix typo in er
r
or message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
r
d
oolaege
P
e
tScan::is_nested
_
allowed: check for skip
conditi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaeg
e
print
.
c: pri
n
t_
p
et_ex
p
r:
f
ix
m
e
mory managem
e
nt annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
dr
o
p dead me
t
hod PetScan::is_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n V
e
rdoo
l
aege
scop
.
c:
embed_access: dr
o
p
redundant variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
pet
_
scop_filter_
s
kip: av
o
id re
c
omputation
o
f test
e
xpress
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
doolaege
PetS
c
an::extract_non_
a
ffine_condit
i
o
n
:
r
e
move re
d
undant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ver
d
oolae
g
e
separate out shared PetSc
a
n:
:
upda
t
e_scop_st
a
rt_end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
pet_e
x
pr_dump: only p
r
int expr->a
c
c
.
ref_id if it is
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
g
e
s
c
op
.
c
:
stmt_propag
a
t
e
_params: also update
accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
scop
.
c
:
stmt_collect_p
a
r
a
m
s: also c
o
llect
p
a
ramet
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
s
c
op
.
c: *_collect_pa
r
am
s
: fix
e
r
r
or h
a
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
pet
_
sco
p
_align
_
par
a
ms:
i
mprove error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
pet_scop_al
i
g
n
_par
a
ms: rename "d
i
m" variable to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
PetScan::ext
r
act_nested: pl
u
g memory l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
V
erdoolaege
s
c
an
.
cc: clear_assig
n
ment: fix
l
ogic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
P
e
tScan::extr
a
ct(IfStmt *): clear assignments in
b
od
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
PetScan::
e
xtrac
t
_infinite_for:
a
lso cle
a
r a
s
signments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
P
etScan::extract_for: alwa
y
s keep vir
t
ual
iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaeg
e
mod
i
fy t
e
sts/unsigned3
.
c test case to
use the iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Verdoo
l
aege
w
h
en
a
u
to
d
etecting on
l
y
s
k
ip in
i
tial declarations in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaege
do not ex
t
ract loo
p
a
r
ound partial
bod
y
w
hen autodetecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ver
d
oola
e
ge
PetScan::
e
xtract_non_af
f
ine
_
conditio
n
: ta
k
e stateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Ve
r
doolaeg
e
PetScan::e
x
tr
a
c
t
_for:
do not
a
llow initial value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ve
r
doolaege
PetScan
:
:
e
xtract_for: clear assignment to iterat
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven
V
erdoolaege
Pe
t
Sca
n
:
:u
n
supporte
d
:
p
ass
fi
x
ed
c
haracter strin
g
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verd
o
olaege
c
o
nf
i
gure
.
ac:
a
dd llvm
-
config
-
-system-libs
t
o CLANG_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven
Verdoolaege
update isl for support for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdoola
e
ge
Makef
i
le
.
a
m
: avoid use of INCLUDES var
i
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Ver
d
ool
a
ege
AX
_
DETECT_GI
T
_H
E
A
D
:
dete
c
t git version with
n
ewer versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sv
e
n
V
e
r
d
oo
l
aeg
e
REA
D
ME: add contact in
f
ormati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
add
affine assumptions to the context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next