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 Verdoolaege
expose isl_as
t
_nod
e
_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoola
e
ge
dump i
s
l_ast_expr an
d
i
s
l_ast_node objects in bloc
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdo
o
l
a
ege
isl_sch
e
dule
.
c
: extract
o
ut generi
c
*
_to_str and *_dump
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
isl_printe
r
_
p
ri
n
t_ast_no
d
e: include iterato
r
of for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doola
e
ge
isl_
p
rinter_p
r
in
t
_ast_node: pri
n
t
isl_ast_
n
ode as YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoolaege
isl_
p
rinter
_
print_ast_ex
p
r: support an isl format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oolaege
isl_printer_p
r
int_ast_
e
xpr: e
x
t
ract o
u
t print_ast_expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_ast
.
c: isl_printer
_
prin
t
_a
s
t_exp
r
:
drop needless
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoolaege
i
s
l
_ast
.
c: remove m
o
re remnants of
c
ode remove
d
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
aege
i
n
terface: update to CompilerInvoca
t
ion::setL
a
ng
D
efaults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
Mer
g
e branc
h
'
m
a
int'
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Ver
d
oolaeg
e
i
s
l_
p
ri
n
ter_print_as
t
_node: fix
p
r
inting of
m
ark node
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
isl_map
_
is_equa
l
: firs
t
check if
i
nput
s
are obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*_lexo
p
t: use actual
d
omain of input as initia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
doo
l
ae
g
e
add i
s
l_basic_set_lexm
i
n_compute_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
r
d
oola
e
ge
isl_map
_
le
x
opt*: compute optimum o
v
er appro
x
ima
t
e
d
o
mains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
is
l
_
b
asic_m
a
p_le
x
op
t
*:
p
ostpone e
x
traction of do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
is
l
_*_lexopt*: repl
a
ce "max" argument by
"flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
t
ab_basic_map_
p
artial_le
x
opt*:
c
l
e
an up er
r
or
ha
n
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
me
r
ge isl_b
a
si
c
_*_part
i
al
_
l
ex* impl
e
mentations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_basic_map_lexopt*: preinitializ
e
d
o
main in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
mer
g
e isl_tab_basic_map_part
i
al_le
x
opt*
i
mplementations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven
V
erdoolaege
r
ename
b
asic_map_parti
a
l
_
l
exopt*_pma to basic_m
a
p_parti
a
l_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolae
g
e
re
n
ame basic_m
a
p
_
partial_lexopt*_map
to bas
i
c_
m
ap_partial_
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
o
l
aege
rename bas
i
c_
m
ap_pa
r
t
i
a
l_
l
exo
p
t_b
a
se to basic_map_partia
l
_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
a
d
d
intermedia
t
e isl
_
tab_basic_map_partial_lexopt_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
isl_basic_map_compati
b
le_domain:
r
eturn isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_s
p
a
c
e_
m
atc
h
: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_s
p
ac
e
_m
a
tch: re
n
ame "
d
im" arguments
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_
s
p
ace
.
c: m
a
tch:
r
en
a
me "dim
"
argumen
t
s to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_basic_map_compatible_domain: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaege
isl_basi
c
_*_
p
artial_lex*
:
a
d
d memory man
a
gement a
n
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab
_
ba
s
ic_map_partia
l
_lexopt:
add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_
t
a
b
_pip
.
c: isl_co
n
text_gbr_alloc: add memory m
a
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
i
s
l_ta
b
_pip
.
c: isl_context_a
l
loc: add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
dool
a
ege
i
sl_tab_pip
.
c: pro
p
agate_equali
t
ies: remove undo tracki
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdo
o
l
a
e
ge
a
d
d
i
s
l_t
a
b
_need_undo and isl_tab_clear_u
n
d
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_ta
b
_ba
s
ic_m
a
p_partial_l
e
xopt
:
limit scope of symmetry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl_t
e
st
.
c: generalize isl_map_lexmin t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc:
f
i
x ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
V
er
d
o
olae
g
e
d
oc: make re
a
son
f
or isolate optio
n
r
e
su
l
t
ing in anchored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
i
sl_tab_pip
.
c: parallel
_
con
s
traints:
r
e
move stale line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_*_part
i
al_lex{min,max}_pw_multi_
a
ff
:
handle existentiall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoola
e
ge
isl_t
a
b
_
pip
.
c:
sol_pma_a
d
d: extract out set
_
f
rom_affine_mat
r
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ve
n
Verdool
a
ege
add
isl_bas
i
c_set_div_is_
k
n
o
wn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add
isl_bas
i
c_set
_
sw
a
p_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_mat
_
scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolae
g
e
isl_pip: allow exist
e
ntial
l
y quantified variables
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoola
e
ge
pip
.
c
:
s
e
t_plug_in_paramete
r
s: ad
d
m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven V
e
r
doolaege
pip
.
c; plug_
i
n_paramete
r
s:
a
d
d
m
e
m
ory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: opt_at: add memory
mana
g
e
ment ann
o
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: op
t
_at:
a
void acces
s
ing ctx field dire
c
tly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaeg
e
a
dd isl
_
b
asic_map_d
i
v
_is_marked_unkno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaeg
e
is
l
_map
.
c: di
v
_i
s
_unkno
w
n:
r
etur
n
is
l
_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdoolaege
isl_space_find
_
dim_by_
n
am
e
: check t
h
at dimension has
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoo
l
a
e
ge
doc: clarify
t
h
at isl_printer_get_str
c
an onl
y
be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdo
o
laege
isl_output
.
c
:
print_
c
onstraints: avoid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven V
e
rdoolaege
i
s
l_
o
utput
.
c: p
r
i
n
t
_disj
u
nct: avoid invali
d
acce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdo
o
laege
isl
_
output
.
c: isl_
m
ap_print_isl_
b
ody: ha
n
dle N
U
LL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdool
a
eg
e
isl_print
e
r_ge
t
_str: repo
r
t e
r
r
or when call
e
d on
w
r
o
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
S
ven
Verdo
o
laeg
e
doc: c
l
ean up extra f
i
l
e
s
g
enerat
e
d by
bib
l
atex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven V
e
rdool
a
ege
isl_schedule_node
_
band
_
spli
t
: preserve
i
solate option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
S
ven
V
erdoolaeg
e
add private isl_
s
chedule
_
band
_
replace_ast_bui
l
d
_option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
use is
l
_schedul
e
_node_ban
d
_get_ast_isolate_option
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaeg
e
add isl_schedule
_
b
a
nd_get_
a
st_isolate_opt
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verd
o
ol
a
ege
isl_
b
asic_map_r
e
m
ov
e
_redu
n
da
n
ci
e
s: sort constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven
V
erdoolae
g
e
isl_coal
e
sce
.
c:
f
us
e
: s
i
mplify fu
s
ed resul
t
i
m
mediately
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sve
n
Verdoolae
g
e
isl
_
coale
s
ce
.
c
:
f
u
se:
c
al
l
is
l
_basic
_
ma
p
_fi
n
alize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
aege
isl_map_coalesce
:
check for p
r
otru
s
ions on adjac
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_map_coalesce: all
o
w protrusions out of e
q
uality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaege
isl_coalesce
.
c: wrap_in_facets: extract ou
t
try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
dool
a
ege
isl
_
coalesc
e
.
c: can_w
r
ap_in_set: e
x
tract out
t
ype_o
f
_relaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doo
l
ae
g
e
i
sl_coa
l
esc
e
.
c:
wrap_in_facets: extra
c
t ou
t
wrap
_
in_f
a
cet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaeg
e
isl_coale
s
c
e
.
c: can_wrap_i
n
_set:
m
i
n
o
r
simplif
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Verdo
o
l
aeg
e
is
l
_coa
l
esce
.
c: wr
a
p
_
i
n_facet
s
: do
n
ot pass i
n
lis
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolae
g
e
isl_m
a
p_coale
s
ce: tighten
const
r
ain
t
s of poten
t
ial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en V
e
rdoo
l
aege
isl_map_coalesce:
a
l
low
g
eneral
co
a
lescing with expa
n
ded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaege
isl_coalesce
.
c:
c
oalesce_with
_
expa
n
ded_divs:
s
tore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Verdoo
l
aege
isl_coalesce
.
c: co
a
lesce_local_p
a
ir: a
l
lo
w
r
e
use o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_c
o
alesce
.
c: c
o
a
l
esce_local_p
a
i
r: e
x
tract out set_i
n
eq_st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdo
o
laeg
e
i
sl_co
a
lesc
e
.
c:
c
oalesce_
l
ocal_pair: ex
t
r
a
ct out set_eq_
s
tat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaege
isl_coa
l
esce
.
c: coale
s
ce_l
o
cal_pair: extract
o
ut cl
e
ar_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
isl_coalesce
.
c: coalesce_l
o
cal_pair: extract out init_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c
:
gen
e
ralize ch
e
ck_coalesc
e
_subset to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
er
d
oo
l
aege
add isl_options_{get
,
s
e
t}_pip_symmetry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
ven Ve
r
doolaege
a
dd isl
_
basic
_
map_exp
a
n
d_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
ve
n
Verdo
o
l
ae
g
e
isl_
m
ap
.
c: fix typos
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
e
rdoolae
g
e
isl_output
.
c:
fix typo i
n
commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Verdoolaege
isl_tab
.
h
:
fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sv
e
n
Ver
d
o
o
laege
Merge br
a
n
ch
'
m
a
int'
commit
|
commitdiff
|
tree
2016-06-03
Sv
e
n Verdoolaege
isl_b
a
sic_
s
et_expand_d
i
v
s
:
o
n
ly add div constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laege
isl_coalesce
.
c: a
d
d_sub_var
s
: explicitly
m
a
r
k adde
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laege
isl_coalesce
.
c: add_sub_vars: move "correct" in
t
eg
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl
_
c
oalesc
e
.
c: wrap_in_facets: avoid
i
nvali
d
acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
la
e
ge
isl_
p
ri
n
ter_print
_
map: pri
n
t div constra
i
nts again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n
Verdoolaege
isl_pr
i
nter_
p
rint_ma
p
: fix printin
g
of affine expressio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_output
.
c: print_disjuncts: avoid
i
nval
i
d acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ven Verdoolaege
i
sl_outpu
t
.
c: print_dis
j
unct: handle NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
V
e
rdoolaege
isl_
v
ec_all
o
c
: plug memory leak
on er
r
or pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next