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_boolean
2014-03-24
S
v
en Verdoolaege
extrac
t
out
pet_boolean
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
e
x
t
ract out
p
et_t
o
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
ext
r
a
ct o
u
t pe
t
_not
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
ex
t
ract
out p
e
t_and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
add more p
e
t
_expr_is_* functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
extract
o
ut the
h
andling
o
f ski
p
c
o
nditi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oolaeg
e
e
x
t
r
act o
u
t
p
e
t_c
r
eate_test_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
e
x
tract ou
t
pe
t
_sc
o
p_add_b
o
olean_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
cc: scop_add_array:
rename
"
dim" v
a
ri
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdo
o
laege
pet_expr: keep t
r
ac
k
of t
y
p
e_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doolaege
e
x
tract s
h
ared PetScan::ext
r
act_access_expr(isl_multi
_
pw_aff *)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
e
rd
o
ol
a
ege
extr
a
ct out pe
t
_comparison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdool
a
ege
scan
.
cc: move UnaryOperatorKind2pet_op_ty
p
e,
BinaryOp
e
rator
K
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoo
l
aege
add pet_stmt_can_build_ast
_
exp
r
s and pet_sco
p
_
c
an_bui
l
d_ast_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
pet_scop
_
collect_arrays:
collect arra
y
s
in a sorted set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
e
r
doolaege
pet_scop_
c
ollect_arr
a
y
s: a
v
oid
t
ryi
n
g t
o
remove "type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
pet
_
stm
t
_from_p
e
t_ex
p
r: drop isl_ctx argu
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ol
a
ege
make pet_expr objec
t
s ref
e
rence count
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolae
g
e
Pet
S
can::extract_argument: av
o
id modifyin
g
p
a
rt of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
upd
a
te isl
f
o
r
__isl_nul
l
memory mana
g
eme
n
t a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdool
a
eg
e
e
xt
r
act
some
nested
parameters
related
code
i
n
to ne
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
add
pet_exp
r
_a
c
cess_get_ref_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
V
erdool
a
ege
a
d
d pe
t
_expr_access_i
s
_read
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdool
a
ege
add pet_expr_acces
s
_
i
s_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
add
p
et_expr_fo
r
e
ach_call
_
e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
a
d
d
p
et_expr
_
double_get_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
add pet_
e
xpr_acce
s
s_g
e
t
_
depen
d
ent_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
add pet_expr
_
acces
s
_get_mus
t
_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
upd
a
te isl
for isl_spac
e
_
domai
n
_
factor
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
export pet_expr_access_get_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
export
pet_expr_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
export pet_ex
p
r_is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doola
e
ge
e
xport
pet_expr_foreach_access
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
extrac
t
o
u
t
pet_expr_access_pull
b
ack_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extrac
t
out pet_expr_ac
c
ess_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoola
e
ge
ext
r
act ou
t
p
e
t_expr_access_get_para
m
eter_sp
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolaege
extract
o
ut pe
t
_expr_
a
ccess_
g
e
t
_data_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xtr
a
ct out
p
et_expr_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xtrac
t
out pe
t
_value_bounds_apply to a separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
m
o
ve pet_exp
r
f
u
nctions to separate f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
scop
.
c
:
e
xpr_
w
rites: use pet_ex
p
r_f
o
reach_acc
e
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
la
e
ge
scop
.
c
:
expr_de
t
ect_para
m
e
ter_
a
c
c
ess
e
s: u
s
e
pe
t
_expr_map_ac
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
p
e
t
_scop_detect_parame
t
er_a
c
ce
s
ses: rename
"
d
im"
variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolaege
scop
.
c:
expr_
p
ropagate_p
a
ram
s
: use
p
et_expr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
extract out pe
t
_
filter_insert_p
m
a to separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n V
e
rdoo
l
a
eg
e
add
m
ore test c
a
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
pet_expr: mer
g
e una
r
y, binary and ternary
types into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Ver
d
ool
a
ege
extract integers a
s
intege
r
expres
s
ions
r
ather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoo
l
aege
update test c
a
se outpu
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven V
e
rd
o
ol
a
ege
ad
d
s
upp
o
rt for int
e
xp
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
p
et_check_cod
e
.
c:
p
ass
a
long iteration spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en
Verdoolaege
e
xtract out
s
hared pet_stm
t
_
get_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Ver
d
oolaege
ex
p
or
t
pet_expr_fr
o
m_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoo
l
aege
pet_
s
cop_emb
e
d: pass isl_a
f
f
sch
e
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoo
l
aege
e
xtract
ou
t
p
et_stmt_is_
a
ssign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
extract o
u
t
comm
o
n pet_
s
tmt_is_k
i
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
d
ool
a
e
g
e
PetScan::ext
r
act_i
n
cr
e
ment: improv
e
e
rror message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
support logical operators in
e
x
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ver
d
oolaege
sup
p
ort i
n
t
M
o
d
,
int
C
e
il and intFl
o
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
ool
a
ege
provid
e
getter and setter for detect-conditional-assign
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
p
e
t_check
_
co
d
e: du
m
p iteration do
m
ains
if
the
y
are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
pet
_
check_code: par
s
e i
s
l options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
s
c
a
n
.
cc: indicato
r
_function: coalesce domain before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Ve
r
d
oolaege
sco
p
.
c
:
f
ix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
er
d
oolaege
scan
.
cc: fix typos i
n
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n Verdoolaege
pet_scop_r
e
st
r
ict_skip:
f
i
x
typo
i
n
error mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
PetSc
a
n::
i
s
_
nested_allowe
d
: check for skip cond
i
t
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
print
.
c
:
print_pet_expr: f
i
x memory manage
m
ent
a
nnota
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ver
d
oolaege
drop dead
me
t
h
o
d PetScan::
i
s_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
doolae
g
e
scop
.
c: embed_access:
d
rop
redund
a
nt v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_
s
cop_fi
l
t
er_sk
i
p
:
avoid rec
o
mputation of test expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ver
d
oolaege
PetScan::extract_non
_
a
f
fin
e
_c
o
ndi
t
ion: r
e
move
redun
d
a
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en van Haastre
g
t
AX_DETE
C
T
_GIT_HEAD: avo
i
d
e
mpty
v
ersi
o
n strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdo
o
la
e
ge
s
e
parate out sh
a
red PetSc
a
n::update_scop_start_end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdoolaege
pet_
e
xpr_dump: only print expr->acc
.
r
ef_
i
d
i
f
it
i
s set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
s
c
op
.
c: stmt_pr
o
pa
g
ate_
p
ara
m
s:
also update accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdo
o
la
e
ge
sco
p
.
c:
stmt
_
collect_params: also collect
p
arameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: *_collect
_
p
arams:
f
ix error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
pe
t
_sco
p
_align_p
a
rams: improve error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_al
i
gn_par
a
ms: renam
e
"dim" variable to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
PetScan::
e
xtract_n
e
sted: plug memory
leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdoolaege
scan
.
c
c
:
clear_assignmen
t
:
fix
l
ogic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
V
erdoolaeg
e
P
e
tScan:
:
extra
c
t
(
I
fStmt
*): cl
e
ar
assignments in body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::e
x
tract_infinite_f
o
r: also cl
e
ar assig
n
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
PetScan
:
:extra
c
t_for: al
w
ays keep virtual iterato
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolae
g
e
m
odify tests
/
unsigned3
.
c test case
t
o use the iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoola
e
ge
when autodete
c
ti
n
g
only skip in
i
tia
l
decl
a
rations in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoo
l
aeg
e
do not extract
l
oop ar
o
und partial
b
ody when
auto
d
etecti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en Verdoolaeg
e
PetScan::e
x
tract_non_affine_co
n
dition: take statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdo
o
laege
PetSca
n
:
:extrac
t
_for: do not allow
initial value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Verd
o
olaege
PetScan:
:
extract_for: clear assignment to i
t
erator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
v
e
n Verd
o
ola
e
ge
PetSc
a
n::unsup
p
or
t
ed: pass fixed
charact
e
r
s
tring to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Verd
o
olaege
configure
.
a
c: add llvm-config
--system-libs to CLAN
G
_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaeg
e
update isl for
support for
r
ec
e
n
t
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven
V
e
r
doolaeg
e
Makefile
.
am: av
o
id
use of
I
NCLUDES
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
AX_DETEC
T
_GIT_HEAD: dete
c
t gi
t
v
e
rsion with
newer
v
ersions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sven Verdoolaeg
e
READ
M
E: add con
t
a
ct
inform
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Alber
t
Cohen
Support fo
r
additional bina
r
y/unary
o
pera
t
ors in C
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
add affine assumptions t
o
the
contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sve
n
Verdoolaege
parse __pencil_assume statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
