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
expose isl_ast_node_to_str
2016-06-28
Sven Ve
r
doola
e
ge
expose
i
sl_ast_n
o
de
_
t
o
_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verd
o
olaege
dump isl_ast_ex
p
r and isl
_
a
st_node objects in bl
o
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ve
n
Verdoo
l
aege
isl_sched
u
le
.
c: extract
o
ut generi
c
*_to_st
r
and
*
_dump
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
i
s
l
_print
e
r_p
r
int_ast_node: inc
l
u
d
e
it
e
ra
t
or of
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
isl_printer_pr
i
nt_ast_node: prin
t
isl_as
t
_node as
YAML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdo
o
l
a
ege
isl_print
e
r_prin
t
_
a
st_exp
r
: support
an
isl f
o
r
m
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoolae
g
e
isl_pr
i
n
t
e
r_print_ast_expr: extract
o
ut print_ast_expr_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdo
o
laege
isl_
a
st
.
c: isl_pr
i
n
t
er_
p
rint_ast_expr: drop needl
e
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdool
a
ege
isl_ast
.
c:
r
em
o
ve m
o
r
e
r
emnants of code removed before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
dool
a
e
ge
interf
a
ce: update
to
C
ompile
r
Invocatio
n
::setLangDefa
u
lts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
Merge b
r
a
n
ch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
sl
_
printer_print_ast_node: fix prin
t
ing o
f
mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoola
e
ge
isl_ma
p
_
is_equal: fir
s
t check if inpu
t
s are obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
isl_
*
_lex
o
pt: use actual do
m
ain of input as
i
niti
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdo
o
laege
add isl_ba
s
i
c
_
set_
l
e
x
min_compute_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oolaege
i
s
l_m
a
p_l
e
x
o
pt*:
c
om
p
ute optimum over
approxi
m
a
t
e domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
i
sl_basic_ma
p
_
lexopt*: postpone
e
xtraction
of domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*_lexop
t
*:
re
p
lace "max" argument b
y
"flags"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdo
o
lae
g
e
isl_
t
ab
_
basic_map_part
i
a
l_l
e
xopt*: clean up error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
m
e
rge isl
_
basic_*_part
i
al
_
l
ex* implementation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaeg
e
isl_basic_ma
p
_lexopt*
:
preinitialize
domain in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
Verd
o
ol
a
ege
merge
i
sl_tab_basic_m
a
p_p
a
r
t
ial_l
e
xopt* implementation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rename
b
asic_ma
p
_p
a
rtial_lexop
t
*
_pma to basi
c
_map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
olaege
r
e
name basic_map_partial_lexo
p
t*_map to basi
c
_map_pa
r
tial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdoolaeg
e
rena
m
e ba
s
ic_map_par
t
ial
_
lexopt
_
base to
b
asic_map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolae
g
e
add interme
d
iate isl
_
tab_basi
c
_map_pa
r
tial_l
e
xop
t
_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laeg
e
isl_basic_map_c
o
mpatible_dom
a
in: retur
n
is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
isl_space_match: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_space_m
a
tch: rename "dim
"
arg
u
ments
to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
isl_spa
c
e
.
c
:
m
a
tch: rename "
d
im" ar
g
u
me
n
t
s to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolae
g
e
i
sl_basic_map_compatible_
d
omain: add memo
r
y managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
is
l
_basic
_
*_partial_lex*: add memory managem
e
n
t
a
nn
o
tat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl
_
tab_basic_map_part
i
al_lexopt: add
m
emory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_ta
b
_pip
.
c
:
isl_cont
e
xt_gbr
_
a
lloc: add memory ma
n
a
g
emen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: isl_c
o
nte
x
t_al
l
oc: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
olaeg
e
isl_tab_pip
.
c: propagate_equalitie
s
: remove un
d
o tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
add isl_tab_need_undo and isl_tab_clear_undo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
is
l
_ta
b
_basic_map_partial_lex
o
pt:
limit
s
cope
of symme
t
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
isl_te
s
t
.
c
:
g
eneralize is
l
_map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
doc
:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
d
o
c: m
a
ke reason fo
r
i
so
l
ate
o
ption resulting in anchored
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Ve
r
doolaege
isl
_
tab_p
i
p
.
c: pa
r
allel_const
r
aints: remove stale l
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab
.
c
: fix typo
in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
is
l
_
*
_partia
l
_le
x
{
m
i
n,max}_pw
_
multi_a
f
f: h
a
ndle existentiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n
V
erd
o
ol
a
ege
is
l
_t
a
b_pip
.
c: sol_pma_ad
d
: extract out set
_
fro
m
_affine_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
V
erdoolaege
a
dd isl
_
basic_se
t
_div_is_k
n
o
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
add isl_basic_set_swap_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoola
e
ge
add is
l
_mat_
s
cale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolae
g
e
i
sl_
p
i
p: allow exi
s
tentially quantifie
d
variables i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolae
g
e
pip
.
c
:
set
_
plug_in_parameters:
a
dd
memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n V
e
rdoo
l
ae
g
e
pip
.
c;
plug_in_param
e
t
ers: add mem
o
ry management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: o
p
t_at:
add mem
o
ry manag
e
m
e
nt annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oolaege
pip
.
c: opt_at: avoid acces
s
ing ctx field directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verd
o
olae
g
e
a
dd
isl_
b
asi
c
_map_div_is_
m
arked_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ve
n
Verd
o
olaege
isl_map
.
c:
d
iv_is_unknown: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
Gro
s
se
r
A
d
d new i
s
l_ast_no
d
e_to_C_str function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gross
e
r
Ad
d
new isl
_
a
s
t_
e
xpr_to_C_str
f
unction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
p
yt
h
on interfac
e
: re
p
lace asser
t
with ex
p
l
i
cit abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
T
obias Gros
s
er
py
t
hon i
n
terfac
e
: replace
a
ssert with e
x
plicit abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdool
a
ege
i
sl_
s
pace_find_dim_by_n
a
m
e: check t
h
a
t
dimension has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Verdo
o
lae
g
e
doc: clarify that isl
_
pr
i
nter_get_str
c
an o
n
ly
b
e u
s
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
isl
_
output
.
c: p
r
int_c
o
ns
t
r
a
ints:
a
void invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
Verdoola
e
ge
is
l
_o
u
tput
.
c:
p
rint
_
d
i
sjunct: avoid i
n
v
a
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
d
oolae
g
e
isl_o
u
tput
.
c: isl_map_print_isl_body: handle NU
L
L inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ver
d
oolaeg
e
isl_printer_ge
t
_str: re
p
ort error when cal
l
e
d o
n
wron
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sven Ve
r
doolaege
doc
:
clean up extra files g
e
nerated by biblat
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
isl_
s
chedule_node_band_split: preserve isolate option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
S
ven Verdoolaeg
e
add private
i
s
l
_sc
h
edule_b
a
nd_r
e
place_
a
st_
b
u
i
l
d_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven V
e
rdo
o
laege
use
i
sl_schedule_node
_
b
and_get_ast_iso
l
a
t
e_option to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add isl_sch
e
dule_band_get_ast_i
s
olate_
o
pt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven
V
e
rdoolaege
i
s
l_basic_map
_
remo
v
e_re
d
undancies: sort constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Verdoolaege
isl_
c
o
alesce
.
c: fus
e
: simplify fused resul
t
immediately
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
S
v
en Verdoolae
g
e
isl_coalesce
.
c: fus
e
: call isl_
b
a
sic_map_finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Ver
d
oolaege
isl_map_co
a
les
c
e: ch
e
ck for protrusions on ad
j
a
c
en
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolaege
isl_map_coalesce: allow
p
rotr
u
s
i
ons o
u
t of equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n
Verdoolaege
isl_
c
oalesc
e
.
c
: wrap_in_facets: extract out try_wr
a
p_in
_
facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c: can_wrap_in_se
t
:
ext
r
act ou
t
type_
o
f_r
e
laxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaeg
e
isl_coal
e
sc
e
.
c: wrap_i
n
_facets: extract ou
t
wr
a
p_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_coalesce
.
c: can_wrap_in_
s
et: minor simplificat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Verdoolaege
i
s
l_coalesce
.
c: wrap_in_f
a
cets: do not p
a
ss in list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven
Verd
o
olaege
isl_map
_
c
o
alesce: t
i
ghten
constraints
of
p
otenti
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
ege
isl_map_co
a
l
esc
e
: al
l
o
w general coalescing with e
x
pan
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
isl_coalesc
e
.
c
: c
o
a
l
esce_with_
e
xpanded_divs: st
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olae
g
e
isl_coal
e
sce
.
c
: coales
c
e_local_pair: allow reuse of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdo
o
laeg
e
isl_coalesce
.
c
:
c
oalesce_
l
ocal
_
pa
i
r
: extract out set_ineq_s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
a
e
ge
i
s
l_coalesce
.
c: coalesce
_
l
o
cal_pair: extract out s
e
t
_
e
q
_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_
c
o
ales
c
e
.
c: coalesce
_
local_pair: extra
c
t
o
ut clear
_
s
t
atus
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdool
a
ege
isl_coalesce
.
c: coa
l
esce_
l
ocal_pair: ext
r
a
c
t out init_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doo
l
aeg
e
is
l
_coalesce
.
c: generalize check_coalesce_subset to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoo
l
aege
add
isl_options_{get,set
}
_pip_sym
m
etr
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Verdoola
e
g
e
add isl_
b
asic_map_expa
n
d_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Verdoola
e
ge
isl_map
.
c:
fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Ve
r
doolaege
i
s
l_out
p
ut
.
c
:
f
ix typo
in c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
S
ven V
e
r
d
oolae
g
e
isl_tab
.
h: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-03
S
ven Verdoola
e
ge
isl_basic_set_expand_d
i
vs: only
a
dd
div constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
erdoola
e
g
e
isl_coalesce
.
c
: a
d
d_su
b
_vars: ex
p
li
c
itly mark added
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Ver
d
o
o
l
a
ege
i
s
l_coa
l
esce
.
c
:
a
d
d_sub_vars: mov
e
"co
r
rect" intege
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_coale
s
ce
.
c:
w
ra
p
_
i
n
_facet
s
:
avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolaege
i
s
l_
p
rinter_print_map:
p
ri
n
t div
c
onstraints a
g
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next