repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_transitive_closure.c: set_path_length: avoid NULL pointer dereference
2015-05-01
Sven Verdoo
l
ae
g
e
isl_
t
ransitive_closure
.
c
: set_path_len
g
th: avoid NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_space_add_dims: avoid NULL po
i
nter
dereference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdo
o
lae
g
e
isl_m
a
p_
s
i
m
plify
.
c: remove_shifted_constraints: hand
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
is
l
_
basic_map_plain_cmp: handl
e
NULL arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-21
S
v
en Verdoolaege
include/isl/union_
m
ap
.
h: add missing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven Verdoolaege
is
l
0
.
14
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven Verdoolaeg
e
AUT
H
ORS: a
d
d
M
i
c
h
ael Kruse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-27
Sven V
e
rdoolaege
i
s
l_
s
chedule_
c
onstraints_compute_schedule:
h
and
l
e
conditiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-26
Sven Verdoolaege
isl
_
scheduler
.
c:
i
s_condition
_
false: al
l
ow
edge->tagged_c
o
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
S
ve
n
Verdool
a
ege
isl_schedu
l
er
.
c: mov
e
up
s
ome functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-25
Sven
Verdool
a
ege
isl_sched
u
ler
.
c
: updat
e
_
edge: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-21
Sven
V
e
r
doolaege
isl_local_space_su
b
stitute_seq:
h
ono
r
argument for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en V
e
rdoolae
g
e
is
l
_map_simplify
.
c: handl
e
ove
r
flow in round_up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verdoolaeg
e
i
sl_map_simpli
f
y
.
c: remove_du
p
l
i
cate
_
divs: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
V
e
rdoolaege
i
s
l_
a
st_cod
e
gen
.
c: pw_aff_constant_is
_
negative: improv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdool
a
e
g
e
isl_id
.
c: isl_
i
d_has_nam
e
_and_
u
ser
:
handle m
i
ssing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolae
g
e
i
s
l_basi
c
_
m
ap_gist:
f
ix typo in code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Ver
d
o
o
l
ae
g
e
isl_aff
.
c: pw
_
mu
l
t
i
_aff_from_map
_
s
tride: f
i
x
t
ypo in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolae
g
e
i
s
l
_output
.
c
: print
_
p
w
_
m
ulti_aff_bod
y
_wrap: pro
p
e
rly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
isl_out
p
ut
.
c:
p
rint_union_pw_qp
o
lynomial_fold_isl:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
rd
o
o
l
aeg
e
i
sl_
o
utput
.
c: print_union_p
w
_qpolynomia
l
_isl: properl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Verdoo
l
aege
isl_output
.
c:
i
sl_unio
n
_map_p
r
int
_
isl:
p
roper
l
y keep
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
isl_ba
s
ic_set_drop_constraint: add missin
g
isl_basi
c
_set_co
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en Verdoola
e
g
e
isl_a
s
t
_
e
xp
r
_is
_
equal: properly handle expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Ver
d
oolaege
isl_conv
e
x_hull
.
c:
c
ompute_
f
ac
e
t: avoid double
free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_
c
o
degen
.
c: add
_
im
p
lied_guards
:
co
m
b
ine d
e
gene
r
at
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven Ve
r
doolaege
is
l
_printer_flush: act
u
a
l
l
y clear buffer when
c
alled
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
i
s
l_basic
_
map_gist: a
v
oid mo
d
ifying
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
S
ven Verdoo
l
ae
g
e
isl 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolae
g
e
upda
t
e AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Ve
r
doolaeg
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoola
e
g
e
isl_map_conv
e
x_hul
l
:
d
etect equalities before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
e
rdool
a
ege
isl_sc
h
e
d
ule_c
o
nst
r
aints_compute_schedule: allow parti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ve
r
doola
e
ge
add isl_
m
a
p
_n
_
basic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ve
r
d
o
o
lae
g
e
split schedul
e
r code
f
rom schedu
l
e object
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
make isl
_
aff_
p
rivate
.
h more self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaege
doc
:
fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdo
o
laege
docu
m
ent isl_set_is_s
i
ngleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: update isl_
*
_list
doc
u
mentat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: clean up
is
l
_
v
al
documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
isl_schedule_const
r
aints_com
p
ute_schedule: compre
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolae
g
e
isl
_
sched_n
o
de: ren
a
me "dim" f
i
eld to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_m
o
rph_get_
v
a
r
_m
u
lti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
Verdoolaege
add isl_morph_g
e
t_dom_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
a
d
d isl
_
morph
_
get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
rdoolaeg
e
pr
i
vate
l
y
export i
s
l
_
aff_all
o
c_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolae
g
e
a
d
d
i
s
l_mat_is_s
c
aled_identit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
add i
s
l_mat_get_ro
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
r
doolaege
isl_b
a
sic_{
s
et,map}_has_de
f
ining_equality
:
a
l
low passi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven V
e
rdoolaege
document
i
s
l_space_tuple_matc
h
as isl_sp
a
ce_t
u
ple_is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
erdoolae
g
e
isl_
m
a
p_plain_is
_
disjoint: check tuple spaces befor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdool
a
ege
isl_
s
p
ace_tu
p
le_match: al
s
o ig
n
ore param
e
ters in
nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
l
a
ege
i
sl_s
p
ace_tuple_ma
t
ch: rename
"
d
im" variables to "
s
p
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doolaege
isl_tes
t
: take options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdo
o
laege
i
sl_
u
nion_*_
a
d
d_*: perform ch
e
ck for
"
zero" part unconditionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n Verdoolaeg
e
isl
_
union_*_
a
dd_*: a
v
o
id duplicate checks in calle
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_m
a
p_is_single_valued: look
a
t domain
s
paces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_map_is_
s
ingle_valued:
e
xtract out
single_
m
ap_i
s
_si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
isl_union_map
_
is_singl
e
_valued: ad
d
a couple of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
isl_basic
_
map
_
output_defining
_
equ
a
lity: accept divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n
Ve
r
d
ool
a
ege
extract ou
t
s
h
ared i
s
l_basic
_
map_
o
utput_defining_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oolaege
AST g
e
nerator: drop redundant lower bou
n
ds on strided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
M
e
rge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_pw_*_gist: special case context eq
u
a
l to single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolaeg
e
is
l
_pw_*_g
i
st: specia
l
c
a
se universe c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
isl_te
s
t: general
i
ze isl_pw_qpolynomial_g
i
st tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven
Verdoolaege
isl_map_simplify
.
c:
drop spuriou
s
sem
i
c
olon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven
Verdoolaege
i
sl_map_gist: return universe on g
i
st with empty set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n V
e
rd
o
olaege
isl_input
.
c: basic_map_re
a
d: che
c
k t
y
pe of
res
u
lt returned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
S
v
e
n Verdoolaege
isl_basic_ma
p
_
g
ist
:
r
e
move r
e
dundant div
cons
t
raint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_map_
g
ist
:
r
emove
o
bviousl
y
red
u
ndant red
u
c
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
i
sl_
b
asic_map_gist: avoid (temporarily) a
d
ding context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolae
g
e
isl_map_subtrac
t
: check if i
n
puts are disjo
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
doc/S
u
bmittingPatches: ment
i
o
n
t
hat each mail should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
S
v
e
n
Verdoolae
g
e
doc: fix do
c
umentation of is
l
_basic_set_{in,}equalities_matr
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
erdoolaege
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
Verdoolaege
isl_convex
_
hull
.
c
:
con
v
ex_hull_pair: add miss
i
ng
r
e
turn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
Sven V
e
rdoolaege
i
sl_
m
ap_{
d
o
main,range}_product: remove possible ob
v
ious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n
V
erdool
a
ege
isl_ma
p
.
c:
m
ap_product: rename
"dim_pro
d
uct" ar
g
u
me
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verd
o
ola
e
ge
add isl_map_re
m
o
v
e_obvious_duplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
aege
isl_map_norm
a
lize:
e
x
t
r
act out sort_and_r
e
mov
e
_dupl
i
c
a
t
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoola
e
ge
isl_map_
n
ormal
i
ze: remove
empty p
a
rts before sorting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
aege
is
l
_basic_
m
ap
_
sort
_
c
o
nstraints: use isl_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sve
n
V
er
d
o
o
laege
i
s
l_
b
asic
_
map_s
o
rt_constraints
:
skip s
o
rting i
f
co
n
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_ba
s
ic_
m
ap_align_divs
:
only
exte
n
d dst when nee
d
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven V
e
rdoolaege
clean up
i
s
l
_
bas
i
c_map_align_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map_simplify
.
c
: remove_redu
n
dant_divs: u
p
date
o
utdated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
i
sl_reordering
_
dump: also d
u
mp
target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Verdoolaege
up
d
ate for c
h
a
n
ge i
n
Targ
e
tO
p
t
ions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
o
laege
update for removal
o
f
l
lvm/AD
T
/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
ven
V
erdool
a
e
g
e
interfa
c
e/extrac
t
_interface
.
cc: avoid use
o
f S
o
u
rceManag
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-30
Sven Verdoolaege
update for removal of D
e
faultImageName Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sv
e
n Verdoo
l
aege
i
s
l
_
print
e
r_pri
n
t_pw_aff: use i
s
l_ast_b
u
ild
_
expr_
f
rom_
p
w_
a
ff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven
V
erdoolaege
add fa
b
er
t
est case from CLo
o
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven
V
e
rdoolae
g
e
AST generator: exploit all
in
f
ormation while looki
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven V
e
rdoo
l
aege
i
sl_ast_codeg
e
n
.
c
:
generate_do
m
ain:
interse
c
t wit
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sve
n
V
e
rdoo
l
aege
AST
g
e
n
erator: e
x
p
loit impl
i
ed guard t
o
simpli
f
y inner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoo
l
aege
drop
i
sl_ast_buil
d
_
s
et_enforced
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
S
v
en Ve
r
d
o
olaege
add a new AST genera
t
or t
e
st case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdo
o
laege
AST gene
r
ator: im
p
rove handli
n
g of
p
ending
c
on
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next