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: construct_extended_path: handle NULL input
2015-05-01
Sven Verdoolaege
isl_tra
n
sitive_
c
l
o
s
ure
.
c: construct_extended_path
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolae
g
e
i
s
l_tr
a
nsitive_closure
.
c: add_delta
_
constraints:
a
void
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_transitive_closure
.
c: set_p
a
th_length: a
v
oi
d
NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
olaege
isl_space_add_di
m
s: a
v
oid N
U
LL pointer dere
f
erence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven
Verdo
o
laege
i
s
l_map_simplify
.
c: remove_shifted_constr
a
ints:
h
a
ndle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-01
Sven Ve
r
do
o
laege
isl
_
basic_map_pl
a
i
n_cmp: handle NULL argu
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-21
Sven Ve
r
doolaeg
e
in
c
lu
d
e/i
s
l
/
u
nion_map
.
h: add missi
n
g
i
ncl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
Sven Verd
o
olaege
isl 0
.
14
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-09
S
v
en Verdoolaeg
e
AUTHOR
S
: add Michael Kruse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-27
S
v
en
V
erdo
o
laege
isl_
s
chedule_c
o
ns
t
raints_
c
ompute_
s
chedule: han
d
le c
o
n
ditiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-26
Sven Verdoolaege
isl
_
scheduler
.
c: is_condi
t
ion_false: allow e
d
g
e
-
>
t
agged_cond
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-25
Sven Verdoolaege
isl
_
sch
e
duler
.
c:
m
o
v
e
up
some
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-25
S
v
e
n Ve
r
doolaege
isl_
s
chedule
r
.
c:
update
_
edge: i
m
prove er
r
or hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdoolae
g
e
i
sl_local_space_s
u
bstitute
_
se
q
:
honor
a
rgument for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
r
d
oolaege
isl
_
m
a
p_simp
l
ify
.
c: ha
n
dle overflow in
r
o
u
nd
_
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven
V
e
r
d
o
o
l
aege
isl_map_s
i
mplify
.
c
: remove
_
duplicat
e
_
divs: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Verdoolae
g
e
is
l
_a
s
t_c
o
degen
.
c: pw_aff_constant
_
is_negative:
imp
r
o
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en Verdoolae
g
e
i
s
l_id
.
c: isl_i
d
_has_
n
ame_and_use
r
: handle missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
ven Ver
d
oolaeg
e
i
s
l_b
a
sic_m
a
p_gist: fix typo i
n
co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Verdool
a
ege
i
sl_aff
.
c: pw
_
m
u
lti_
a
ff_from
_
map_stride: fix typo
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sv
e
n Ve
r
doolaege
isl_
o
utp
u
t
.
c: pri
n
t_pw_mu
l
t
i
_aff_body_wr
a
p: 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:
pr
i
n
t
_union_pw_qpol
y
n
omial_f
o
ld_isl:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
isl_ou
t
pu
t
.
c: print
_
un
i
on_pw_qpo
l
y
nomial_isl:
p
r
o
perly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven
V
e
r
doolaege
isl_out
p
ut
.
c:
i
sl_union_map_print_isl: p
r
operl
y
keep
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en Verdoolaege
isl_basic_
s
e
t
_drop_c
o
nstra
i
nt:
add miss
i
n
g
isl_basic
_
s
e
t_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
v
e
n Verdoolaeg
e
isl_ast_e
x
pr_is
_
equ
a
l: pro
p
erly han
d
le express
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Ver
d
oolaege
isl_convex_h
u
l
l
.
c: compu
t
e_fac
e
t:
avoi
d
double
fre
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verd
o
olaege
isl_ast_code
g
en
.
c: add_implied_guard
s
: c
o
mbine degenerate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
S
v
en Verdoola
e
ge
isl_printer_flush:
actually cle
a
r buffer
when call
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
i
s
l
_basic_map_gis
t
: avo
i
d modifying input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven
V
e
rdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n Verdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven
V
e
r
doolaeg
e
Me
r
ge branch
'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
isl_map
_
c
onvex_hull: d
e
t
ect eq
u
alities before check
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verd
o
olaege
isl_schedule_constraints_compu
t
e_schedule: a
l
low partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ver
d
o
olaege
add isl_m
a
p_n_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
Verdoolae
g
e
split
s
c
heduler
code from schedule object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
erdoolaege
make isl_aff_priv
a
te
.
h m
o
re self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n Verdoolaege
doc: fix
ty
p
os
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
document isl_set_is_s
i
ngleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
doc: update i
s
l_*_list documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdo
o
la
e
g
e
do
c
:
cle
a
n up isl_val docu
m
en
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdo
o
l
aege
isl_sch
e
d
ule_co
n
straints_compute_sched
u
le:
compress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
l
ae
g
e
isl_sched_node: renam
e
"dim
"
field to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add isl_morph_g
e
t_
v
a
r
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Ve
r
do
o
laege
add isl_morph_get_dom_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_mor
p
h_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
o
o
laege
private
l
y ex
p
o
r
t isl_aff_all
o
c_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_mat_is_scaled_i
d
ent
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erd
o
olaege
add
i
s
l
_mat_get_r
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
er
d
oolaege
isl_basic
_
{set,ma
p
}_h
a
s_d
e
fining_equality: al
l
ow passing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
S
ven Verd
o
olaege
document
i
sl_space_t
u
ple_match
as isl_space_tuple_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
isl
_
map_plain_is_disj
o
int: check tuple spac
e
s before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
isl_space_
t
uple_
m
at
c
h: also ignor
e
param
e
ters in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
sl_
s
pace_tuple_ma
t
ch:
r
en
a
me "
d
im" var
i
ables to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verd
o
olaege
isl_test: take options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdool
a
e
g
e
isl_union_*_add_*: perform
check
for
"
zero" part unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_*_
a
dd_*: avoid
d
uplicate checks in ca
l
lers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
isl_union_map_i
s
_s
i
n
gl
e
_valued: lo
o
k at domai
n
spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_uni
o
n_map_
i
s_
s
i
n
gle
_
valued: e
x
tr
a
ct
o
u
t sin
g
le_map_is_
s
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
er
d
oolaege
isl_union_map_is_single_valued: add a coupl
e
of ex
t
ra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
e
r
d
o
o
l
ae
g
e
isl_b
a
si
c
_
m
ap
_
o
utput_
d
efining_equality: acc
e
pt divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
e
x
t
r
act
o
ut shared i
s
l_bas
i
c
_
map_
o
utput_defini
n
g
_eq
u
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
AST generator: drop redund
a
nt lower bounds
o
n
strided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doola
e
ge
isl_pw_*_gist: specia
l
case context equal to single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_pw_*_
g
is
t
:
s
pec
i
al case
u
n
iv
e
rs
e
co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
V
erd
o
olaege
isl
_
test:
genera
l
iz
e
isl
_
pw_q
p
olynomial_gist
t
e
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl_map_simplify
.
c:
drop spurious semic
o
lon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
is
l
_map_gist:
re
t
urn univers
e
o
n
gist with
e
m
p
ty se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven
Verdoo
l
aege
isl_inpu
t
.
c: basic
_
map_read: check type of result re
t
urne
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_b
a
sic
_
map_gist:
r
e
move redundant div
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sv
e
n Verdoolaeg
e
isl_
b
asi
c
_map_gi
s
t:
r
e
m
ove
obv
i
ously red
u
ndant re
d
uced
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
erdoola
e
g
e
isl_b
a
s
ic
_
m
a
p
_gi
s
t:
avo
i
d
(tem
p
o
r
arily) a
d
di
n
g c
o
ntext
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven
Verdoolaege
isl_map_s
u
btra
c
t: check if inputs are
d
is
j
oint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven V
e
r
d
oolaege
doc
/
Subm
i
tting
P
atches: m
e
nt
i
on that eac
h
mail
s
ho
u
ld
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
doc: f
i
x
d
o
cu
m
entatio
n
of isl_basic_s
e
t_{in,}
e
qu
a
lities_ma
t
rix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
Merge
b
ra
n
c
h
'
m
a
i
nt'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoola
e
ge
i
sl_convex_hu
l
l
.
c: con
v
e
x_hull_pair: add miss
i
n
g
return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-04
Sven Verd
o
olaege
i
s
l_map_{
d
omain
,
range}_pr
o
duct:
r
emove poss
i
ble obvious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
aege
isl_map
.
c: map_product: rename "dim_
p
roduct" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n Verdo
o
laege
add isl_map_remove_obvious_duplicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en Verdoolaege
isl_map_n
o
rmalize:
e
x
tr
a
ct
o
ut sort_and_re
m
ove_duplicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaeg
e
isl_map_normalize: remove empty parts bef
o
r
e sorting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
doolaege
isl_bas
i
c_map_sort_constraints
:
use i
s
l_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n Ve
r
doolaege
isl_basic_map_sort
_
constraints
:
skip sortin
g
i
f
c
on
s
t
rai
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_basic_map_align_divs
:
only extend dst when needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en Verdoolaege
clean up isl_
b
asic_map_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
dool
a
ege
isl_map
_
s
i
mplify
.
c: remove_redu
n
dant_divs: updat
e
outdated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en V
e
rd
o
olaege
isl_reordering_dump: also
dump ta
r
get space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
erdoolaege
update
f
or ch
a
nge in TargetOptions
r
efco
u
n
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdool
a
ege
u
pdate for removal of llv
m
/ADT/Owni
n
gPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoo
l
aege
interface
/
extra
c
t
_in
t
erface
.
cc: avoid us
e
of SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-30
S
v
e
n
V
erdoolaege
u
p
date
f
o
r removal of DefaultImage
N
ame
Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sv
e
n Verdoolaege
isl_printe
r
_prin
t
_pw_aff: use isl_ast_buil
d
_expr
_
fr
o
m_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
S
ven Verdoo
l
aege
add faber test case fr
o
m
CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sv
e
n
Verdoola
e
ge
AS
T
generator
:
exploit al
l
i
nformation w
h
ile loo
k
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
i
sl_ast_
c
odegen
.
c: generate
_
domain:
i
ntersect with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolae
g
e
AS
T
g
ener
a
tor: exploi
t
im
p
lied guard t
o
simplify
i
nner
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven
Verdoolaege
d
ro
p
i
s
l_ast_bu
i
ld_set_enf
o
rced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
