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
extract out pet_expr_gist
2014-03-21
Sven Verdoolaege
ex
t
ract
o
ut pet_expr
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
extract out pet_value_bo
u
n
ds_apply to a separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
mov
e
pet_expr fu
n
ctions
t
o separ
a
te
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
r
d
oo
l
aege
sc
o
p
.
c
:
exp
r
_w
r
ites: u
s
e pet_expr_foreac
h
_
a
ccess_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
r
doolaege
scop
.
c: expr_detect_parameter_acc
e
sses: use
p
et_expr_
m
ap_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdool
a
e
g
e
pet_sc
o
p_detec
t
_
p
ara
m
eter_acce
s
ses:
r
e
n
ame "dim
"
v
ariab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Ver
d
o
o
la
e
ge
scop
.
c: ex
p
r
_
propagat
e
_
params: use p
e
t_expr_ma
p
_a
c
ce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdool
a
ege
extract out pet_f
i
lter_i
n
sert_pma to separate
f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
add mor
e
t
est c
a
se
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolae
g
e
pet_
e
xpr: m
e
rge unary, bi
n
ary and te
r
nary types
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
V
e
r
doolaeg
e
extract
integers as integer expressions rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
update
t
est case
ou
t
pu
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
add support
for int ex
p
r
es
s
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
pet_
c
h
eck_code
.
c: pa
s
s along iteration sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven
V
erdoolaege
extr
a
ct
out shared pet_stmt_get_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
export p
e
t_
e
xpr_from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
l
aege
pet
_
sco
p
_embed: pass is
l
_a
f
f schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pet_stmt_is_as
s
ign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verd
o
olaege
extrac
t
o
ut
common pet_stmt_is_kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
Pe
t
Sca
n
::extract
_
increment: improve error mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
support
l
ogi
c
al operators in expre
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
support intMod, in
t
Ce
i
l and intFloor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
p
r
ovide gette
r
an
d
sett
e
r for det
e
ct-cond
i
ti
o
n
al
-
assig
n
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_check_code
:
dump i
t
erati
o
n domains
if
t
h
e
y
a
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
pet_check_co
d
e: parse isl opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
r
doolaege
scan
.
c
c
: indicator_function: coalesc
e
do
m
ain before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
rdoolaege
s
cop
.
c:
fix typos
in
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
r
d
o
o
laege
scan
.
cc:
f
ix typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Ve
r
do
o
la
e
ge
p
e
t_scop_restrict_skip: fix typo in error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
Pet
S
can::is_nested_al
l
owed: c
h
eck fo
r
skip c
o
nditions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoola
e
ge
print
.
c: print
_
pet_e
x
pr: fix memory ma
n
age
m
e
nt
a
nnotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
er
d
oolae
g
e
drop
dead method PetScan::is
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
s
c
op
.
c: embed_a
c
cess:
d
rop redundant variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
pet_scop_fi
l
ter_skip: avoid recomp
u
t
ation of t
e
st expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
e
t
Scan::extr
a
ct_non_a
f
fine_c
o
nd
i
tion
:
remove redun
d
ant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Verdoola
e
ge
se
p
arate ou
t
s
h
ared
P
e
t
Scan::upda
t
e_scop_start_e
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
pet_expr_dump
:
on
l
y
p
rint expr->
a
cc
.
ref
_
id if it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
s
cop
.
c: stmt_pr
o
pagate_params: also update acce
s
se
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
scop
.
c:
s
t
mt_collect_params: also coll
e
ct para
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Ver
d
oolaege
s
c
op
.
c
: *
_
col
l
ect_params: f
i
x error
h
and
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoo
l
a
e
ge
pet_scop_align_par
a
ms: improve error ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_
s
c
o
p
_
al
i
g
n
_params: rename "dim" varia
b
l
e
to "space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
l
a
ege
Pet
S
can::ex
t
ract_ne
s
ted: plug memory leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verd
o
olaege
s
can
.
cc: c
l
ear_assignm
e
nt:
f
ix logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Ve
r
doolaege
P
etScan::ex
t
ract(IfStmt
*):
clear assi
g
n
m
ents in
b
ody
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
doolaege
Pet
S
can::ext
r
act
_
infinit
e
_for: al
s
o clear assignments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::extract
_
for: always k
e
ep
vir
t
ual iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verd
o
olaege
mod
i
fy tes
t
s/unsigned3
.
c te
s
t case t
o
use the ite
r
a
tor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verd
o
o
l
aege
when a
u
todetecting only skip
i
niti
a
l
d
eclarations
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
do
not extract loop ar
o
un
d
partial body when
a
utod
e
t
ecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaege
P
etScan::
e
xt
r
ac
t
_non_affine_condition: take s
t
a
tement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetScan::ext
r
act_for:
d
o not allow i
n
i
tial value t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaege
PetScan
:
:extract_fo
r
: clear
ass
i
g
nmen
t
to iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Ve
r
doolaege
PetSca
n
::unsupported: pa
s
s fix
e
d
character str
i
ng
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
v
en Verdoolaeg
e
configur
e
.
ac:
a
dd llvm-config --syst
e
m-libs to C
L
ANG_
L
IBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
ven V
e
rdoolaeg
e
updat
e
isl
for s
u
p
p
o
rt for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven Ver
d
ool
a
eg
e
Makefil
e
.
am: avoid use o
f
I
NCLUD
E
S variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
AX_DETECT_
G
IT_HEAD:
d
etect git versi
o
n
wi
t
h newer
v
ersions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
S
v
en Ve
r
doolae
g
e
README
:
add contact informati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
add af
f
ine
a
s
s
umptions to the conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Verdoolae
g
e
pars
e
__pencil_assume statem
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven
Ver
d
o
o
laege
extract out PetScan:
:
e
x
t
ract
_
argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdoolaege
add sup
p
ort
for struc
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdo
o
l
aeg
e
add pet_
s
cop_co
l
lect_t
a
gged
_
must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolae
g
e
add
pet_scop_collect_must_k
i
ll
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoolaege
scop
.
c: extract
o
u
t expr_collect
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
d
o
olaege
sco
p
.
c: s
c
op_coll
e
ct_accesses: r
e
name "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add
p
et_expr_access
_
g
et
_
tagged_may_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oola
e
ge
a
d
d pet_scop_collect_tagged_{may,must}_{reads,writ
e
s}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoo
l
aege
expo
r
t pet_e
x
pr_access_get_may_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en
V
erd
o
olaege
scop
.
c: expr_collect_accesses: plug memory l
e
ak o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
extr
a
ct ou
t
pet
_
clang_ba
s
e_type into
separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaeg
e
scan
.
cc:
e
xtract out subscript
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verdoolaege
scop
.
c: extract out *_is_virtual
_
arr
a
y func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoola
e
ge
pet_expr_from_index_and_depth: extra
c
t out extend_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaeg
e
i
n
troduc
e
pet_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolae
g
e
u
s
e is
l
_
*
_reset_user instead o
f
*_anonymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
update
i
sl
for
s
u
p
port for
m
ember a
c
c
esses in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oo
l
aege
pet_expr_free: return
struc
t
p
e
t
_expr *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
P
e
t
S
can::resolve_nested(
s
truct
p
et_stmt *): remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoo
l
aege
P
etScan::resolve_n
e
ste
d
(struct pet_expr *)
:
remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoo
l
aege
scan
.
cc: c
o
mp
u
te_wrappin
g
: remove unus
e
d
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
sc
a
n
.
c
c:
ext
r
act_skip_seq:
r
emove
unused
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
oolae
g
e
scan
.
cc: universally: remove unu
s
ed variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaeg
e
PetScan::extract_a
f
f
i
n
e: rem
o
ve unused
v
a
ri
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
Makefile
.
a
m
:
a
dd dummy C++ sou
r
ce f
i
le to pet and pet_check_cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaeg
e
stop li
n
king
i
n cla
n
g
l
ibraries directl
y
i
nto pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en
Ve
r
doo
l
aege
a
l
so p
r
int c
l
an
g
vers
i
o
n when printin
g
pet v
e
rsion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
ae
g
e
R
EADM
E
: up
d
at
e
lat
e
s
t
release of LLVM/cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaege
p
arse
.
c: remove spuriou
s
dupl
i
c
a
te declar
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ve
n
Verd
o
ola
e
ge
p
et
_
scop_free: return s
t
ruct pet_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ven Verdoolaege
PetScan::e
x
tr
a
ct(StmtRange, bool, bool): break out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_sco
p
_colle
c
t_{reads,write
s
}: take arguments into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdoolaege
pet_scop_
c
o
llect_{re
a
d
s
,wri
t
e
s}: inters
e
ct ranges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
scan
.
c
c
: extract
_
depth: use
c
orrect
dim
e
nsion type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_expr_f
r
om_access_and_in
d
ex: plug memory l
e
ak o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sven Ver
d
o
ol
a
ege
con
f
igu
r
e
.
a
c
: remove explicit depe
n
den
c
e on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verd
o
olaege
discard
in
c
ompletel
y
extract
e
d compou
n
d statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven V
e
rd
o
o
laege
fix
h
andl
i
ng of compound statem
e
nts with
initia
l
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdool
a
e
g
e
pe
t
_
transform_C_s
o
urce
:
handle multiple
explici
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next