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
imath-32: allow updating isl_int passed as argument
2015-08-10
Sven
V
er
d
o
olaege
im
a
th-3
2
: allow updat
i
ng isl_int pass
e
d as
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-08
Michael K
r
use
Add missing CL
E
ANF
I
LES a
n
d DISTCLEANFILES
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-08
Michae
l
Kruse
Do
not cr
e
ate gitver
s
ion
.
h at con
f
igure-t
i
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-06
T
o
bias Grosser
Make pa
s
s-by-refe
r
enc
e
exp
l
icit by usin
g
point
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Ver
d
o
olaege
Mer
g
e
b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2015-08-05
Sv
e
n Verdoolaege
add i
s
l_sched
u
le_gist_domain_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verdo
o
la
e
ge
a
d
d
i
sl_mu
l
ti_union_pw
_
aff
_
coa
l
e
s
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verdoolaege
isl_union_a
c
cess_inf
o
_compute_flow: take into
account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sve
n
Ver
d
ool
a
ege
isl_printer_print
_
loc
a
l_space: pri
n
t
closing parenthesis
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-04
Sven
V
erdoolaege
drop is
l
_ast_b
u
ild_res
t
rict_p
e
nding
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-04
Sven
Verdoolaege
isl_output
.
c
: prin
t
_di
v
: improve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Mic
h
ae
l
Kru
s
e
Uninstall
G
DB bi
n
dings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven V
e
r
doolaege
isl_out
p
ut
.
c: pr
i
nt_disjunct: use name
s
from space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven V
e
rdoolaege
i
s
l_output
.
c: print_d
i
sju
n
ct: ren
a
me "dim"
t
o "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven V
e
rdoolaege
isl_basic
_
map_gist: do not introduce conte
x
t divs in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sve
n
Verdoolaege
isl_
m
ap_simplify
.
c: uset_g
i
st:
do no
t
introduce var
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven
V
er
d
oolaege
isl_map_simplify
.
c: us
e
t_gist: drop
r
edund
a
n
t
intersection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
i
s
l_ba
s
ic_m
a
p_gist
:
only take into account e
q
ualitie
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sv
e
n Ver
d
oolaege
add some more gis
t
test cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sve
n
Verdoolaege
add isl_bas
i
c_set_plain_affine_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdool
a
eg
e
i
s
l
_map_simplify
.
c:
uset_gist_full:
a
llow equali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
isl
_
ma
p
_sim
p
lify
.
c use
t
_gist_f
u
l
l
: d
e
t
ect equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Ve
r
doolaege
i
sl_map_sim
p
lify
.
c
:
up
d
ate_
i
neq: take into acco
u
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
i
s
l_
b
asic
_
m
ap_gist: preserve ori
g
inal cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaege
isl
_
map_simp
l
ify
.
c: us
e
t_gist_full: take constra
i
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaege
isl_m
a
p_simplify
.
c
:
e
x
tract out uset
_
gist
_
{
un,}co
m
p
r
essed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Ver
d
oolaege
isl_map_simplify
.
c: us
e
t
_gist_full: check for redunda
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Ve
r
d
oolaege
i
sl_map_simplify
.
c: uset_gist_fu
l
l: ne
g
ate c
o
nst
r
a
in
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaege
i
s
l_m
a
p
_simplify
.
c: extract ou
t
group
_
and_drop_irrelevant_c
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sv
e
n Verdoola
e
ge
isl_m
a
p_simplify
.
c: extract ou
t
c
onstraint_index_is_redundant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
v
en Verdoolaege
isl_map_simplify
.
c
:
hash_index: extract out hash_in
d
ex
_
ine
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
v
e
n
Verdoolaeg
e
is
l
_
map_simplify
.
c: isl_c
o
nstra
i
n
t_index: keep track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verd
o
ol
a
ege
i
sl_map_
s
implify
.
c: e
x
t
ract out setup_constraint_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sve
n
Verdoolaege
isl_ma
p
_sim
p
lify
.
c:
extract o
u
t shared
c
onstraint
i
nd
e
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Ver
d
oolaeg
e
isl_basic_map_gist: dro
p
nor
m
ali
z
ation of
d
i
vs in context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven Verdoolaege
isl_ma
p
_simpli
f
y
.
c: uset_gist_full: drop redun
d
ant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sv
e
n Ver
d
oola
e
ge
isl_
b
asic_map
_
o
verlying_set: simply
r
e
se
t
spa
c
e
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
S
ven Verdoolaege
i
sl_ba
s
ic_map_reset
_
space: special
case
reset to same
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-26
S
ven Verdoo
l
a
ege
python inte
r
face:
do not treat fun
c
t
ion
po
i
nte
r
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-26
Sven Verdoolaege
is
l
_
b
asic_set_
r
emove_
e
qu
a
l
i
ties: a
l
w
ays set t
r
ansf
o
rmation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Ve
r
doolaege
isl_basic_
m
ap_
r
e
s
e
t_space:
rena
m
e "dim"
v
a
riable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Ve
r
doolaege
i
n
terface/extract_interfac
e
.
cc: adjust
t
o removal o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Tobias
G
r
osser
tes
t
_input
s
/briseba
r
re
.
p
i
p: us
e
unix l
i
ne endings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
S
v
en Verdoolaege
Merge
br
a
nc
h
'maint'
commit
|
commitdiff
|
tree
2015-07-24
S
v
en Verd
o
olaege
allow mult
i
ple isl_pw_multi_aff objects with
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven
V
erdoolae
g
e
extract out isl_u
n
i
o
n
_sing
l
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven
Verdoolaege
isl
_
u
n
ion_*_add_pa
r
t_ge
n
eric: check
for over
l
a
p
ping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven
V
erdoo
l
aege
isl_union_*
_
plain_is_equal: al
s
o check total number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-22
T
obias Grosser
isl_simple_hull:
check for empt
y
/si
n
gle
-
disjunct map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-21
Tobias Grosser
isl
_
ast_b
u
ild_expr_fro
m
_basic
_
set: d
o
n
o
t use freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sven V
e
rdoolaege
isl_mat_va
r
iabl
e
_comp
r
essio
n
:
only set *T2 to NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sven V
e
rdoolaege
A
S
T ge
n
e
ration: use
c
onsistent
set of p
e
nding
con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdool
a
e
g
e
isl_union_pw_aff
_
pullback_u
n
ion_pw_multi_a
f
f: use i
s
l_union_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
i
sl_aff
.
c: u
p
a
_pb
_
upma: us
e
isl_union_
p
w_multi_a
f
f_foreach_p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ve
r
dool
a
ege
isl_aff
.
c
: b
i
n_o
p
: use isl_union_pw
_
mul
t
i
_
aff_fo
r
each
_
p
w
_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven Verdoolaege
isl_aff
.
c: b
i
n_en
t
ry:
u
s
e
isl_union_pw_multi_aff_f
o
reach_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoola
e
ge
is
l
_union_*_m
a
tch_
d
oma
i
n_op: use isl_un
i
o
n
_
*
_
f
o
reach_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verd
o
olaege
isl_uni
o
n
_
*_match_bin_op: use isl_union
_
*_foreach_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
Verdoolaege
isl_union
_
*_foreach_*
:
c
heck for error befor
e
calling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_un
i
on_pw_
q
polynomial_to_po
l
ynomial: use isl_un
i
on_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoolaege
isl_union_pw_a
f
f_flo
o
r: us
e
isl_u
n
ion_pw_aff_transform_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ve
n
Ve
r
do
o
laeg
e
isl_union_
*
_n
e
g: u
s
e
is
l
_u
n
ion_*_transform_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
e
r
doo
l
a
ege
isl
_
union_*_scale_dow
n
_val: use isl_union_
*
_transform_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
Ve
r
do
o
l
aeg
e
isl
_
union_*
_
scale_va
l
: use isl
_
union
_
*_tr
a
n
s
f
o
r
m
_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven Verdoolaege
is
l
_union
_
*_mul
_
isl_int: extract out isl_union_*_transfor
m
_i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoolaege
isl_union_pw_multi_aff_
s
c
a
le_m
u
lti_val: use isl_union_pw_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoolaege
isl_union_*_
s
ubtrac
t
_domain: use isl_union_*_
t
rans
f
orm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_
u
n
i
o
n
_*_any_set
_
o
p
: use isl_
u
nion_*_t
r
ansfor
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven Verdoolaege
isl_u
n
ion_*_
d
up: extract
o
ut isl_un
i
on_*_transform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union_*_reset_user: use isl_
u
nion_*_transform_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
V
e
rdoolaege
is
l
_unio
n
_*_s
e
t_di
m
_name: use
isl_union
_
*_transform_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rd
o
ol
a
ege
isl_uni
o
n_*_drop_di
m
s: use isl
_
u
ni
o
n_*_transform_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rdoolaege
i
sl_union_*_realign_domain
:
extr
a
ct out isl
_
union
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Michael Kruse
Remove inlin
e
qualifie
r
of
isl_sioimath_gcd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-17
S
ven Ve
r
d
oolae
g
e
i
sl_ast_build
_
set_
l
oop
_
b
o
un
d
s:
extract o
u
t u
p
date
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-16
S
ven
Verd
o
olaeg
e
i
sl_coalesce
.
c:
coa
l
esce_wit
h
_subs: do
n
ot
add div
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
ven Verdool
a
e
g
e
isl_union_templ
.
c:
extract out sh
a
red isl
_
union_
*
_foreach_
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
i
s
l_union_templ
.
c: extract out
share
d
isl_union_*
_
n
egate_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verd
o
olaege
isl_union_
t
e
m
pl
.
c:
extract out share
d
isl_union_*_
r
emo
v
e_par
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sve
n
Verdoolaege
isl_union_tem
p
l
.
c:
e
xtrac
t
out shared isl_u
n
ion
_
*_al
l
oc
_
sa
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoo
l
aege
ex
t
r
a
ct
o
u
t isl_union_neg
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdool
a
e
g
e
ex
t
ract out
i
sl
_
u
n
ion_eval
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
extr
a
ct out isl_union_macro
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Ver
d
oolaege
isl_u
n
io
n
_*_
f
ind_p
a
rt_entr
y
: use
i
sl_space_get_doma
i
n_
h
a
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Ver
d
ool
a
eg
e
add isl_space_get_domain_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
v
en Ve
r
doolaege
rena
m
e i
s
l
_ha
s
h_dim to is
l
_
h
ash_
s
pac
e
and "d
i
m" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven V
e
rdoola
e
ge
Merge
b
ran
c
h 'maint'
commit
|
commitdiff
|
tree
2015-07-13
Sve
n
Verd
o
olaege
isl_un
i
on_*: use c
o
nsi
s
tent hash
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sven Verdoo
l
a
e
ge
isl_u
n
ion_*_coa
l
esce_e
n
try: imp
r
ove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sven Ve
r
doola
e
ge
isl_union_*_co
a
lesc
e
_e
n
try
:
use "PART" type instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-05
Sven Verdoolaege
doc/us
e
r
.
pod: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-04
Sven Verd
o
o
l
a
ege
AS
T
genera
t
ion
:
remove re
d
undant con
s
traints before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-01
Mi
c
hae
l
Kruse
Make pa
s
s-by-ref
e
rence explicit by using po
i
n
ter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
S
v
en
V
erdoolaege
isl_ast_build_node_from_schedule: gen
e
r
a
te
disjunct
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sv
e
n Verdoolaege
isl
_
ast_codegen
.
c
:
build_ast_fr
o
m_extension: only include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven Verdoolae
g
e
is
l
_ast_co
d
egen
.
c: foreach_iteration: handle
e
m
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sv
e
n
Verdoolaege
isl_ast_g
r
aft_list_ext
r
a
c
t_shar
e
d
_en
f
orced:
a
ll
o
w empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
S
v
en Verdoola
e
ge
isl
_
ast_bui
l
d_expr_from_se
t
_intern
a
l: exp
l
o
i
t earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
S
v
en Verd
o
olaege
isl_ast_bu
i
ld_expr_from_set_internal: operate on list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven
Ve
r
doolaege
add isl_set_ge
t
_basic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next