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
Merge branch 'maint'
2016-06-28
Sven Ver
d
oolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Ve
r
doolaege
is
l
_printer_print_ast_node: fix printing of mark node
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
Verdoola
e
ge
isl_map_is
_
equal: first check if inputs are
obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
isl_*_lexopt: use actual
domain of inp
u
t as initial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
a
dd isl_basic_s
e
t_lexmin_compute_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_map_lexopt*:
compute
o
p
timum over approximate domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_
b
asic
_
ma
p
_lexopt*: postpone
extr
a
c
t
ion of domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
V
e
rd
o
olaege
isl_*_lexopt*: r
e
p
l
ac
e
"max"
a
rgument by "f
l
a
gs"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_t
a
b_basic_map_partial_lexopt*: clean up error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doola
e
ge
merge isl_basic_*_par
t
ial_lex* implem
e
nta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven V
e
r
doolaege
isl_basic_map_
l
exopt*: pre
i
nitializ
e
domain
i
n
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
merg
e
isl_tab_basic_map_partial_lexopt* imple
m
ent
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rename b
a
sic_map
_
p
a
r
ti
a
l
_
lexopt*_
p
m
a to
ba
s
ic_map_p
a
rtial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ver
d
oolaege
rename basi
c
_map_partial_
l
ex
o
pt*_map to b
a
sic_ma
p
_partial_
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verd
o
olaeg
e
renam
e
basic_m
a
p_part
i
al
_
le
x
o
p
t_base to
basic_m
a
p_p
a
rtial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ve
r
doolaege
add inter
m
edi
a
t
e isl_t
a
b_basic_ma
p
_partial_lexopt_p
w
_mul
t
i_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_basic_map_com
p
a
t
ible_dom
a
in
:
r
eturn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_space_m
a
t
c
h:
r
etu
r
n is
l
_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n V
e
rdoolaeg
e
isl_space_mat
c
h
:
re
n
ame "dim" argument
s
to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl
_
space
.
c: m
a
tch: rename
"dim" argu
m
ents to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_basic_map
_
compatible_do
m
a
i
n:
add m
e
mory
m
anag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaeg
e
i
s
l_basic_*_partial_lex*: a
d
d memor
y
mana
g
emen
t
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
i
s
l
_tab_
b
as
i
c_map_partial_lexopt: add
m
e
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erd
o
o
l
aege
isl_ta
b
_p
i
p
.
c:
isl_context_gbr_
a
l
l
oc: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
rdoolaege
isl_t
a
b_pip
.
c
:
isl
_
c
ontext_allo
c
: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: propaga
t
e_equalities: remove undo tracki
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
a
d
d i
s
l_ta
b
_need_undo and isl_tab_clear_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
e
rdoolaege
isl
_
tab
_
b
a
si
c
_map_partial_lexopt
:
limit scope of
symmetry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaeg
e
isl_te
s
t
.
c: gener
a
li
z
e isl_map_
l
exm
i
n
t
ests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc
:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
doc: make reas
o
n fo
r
isolat
e
option
r
esult
i
ng in anchored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven
Verdo
o
l
a
ege
is
l
_tab_pip
.
c:
p
ara
l
lel_constraints: remove
s
tale line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab
.
c: fix
t
ypo
i
n
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdo
o
laege
isl
_
*_partial_lex{min,max}_pw_multi_
a
ff: handle existen
t
iall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolaege
isl_tab_p
i
p
.
c: sol
_
pma_ad
d
: e
x
t
r
act
out set_f
r
om_a
f
f
ine_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oo
l
aege
add isl_basic_set_div_i
s
_k
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Ve
r
doolaege
a
d
d isl_basic_set_swap_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
a
d
d isl_m
a
t_s
c
ale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
i
s
l_pip: allow existential
l
y
q
uant
i
fied va
r
iables
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c
: set_p
l
ug_in_par
a
meters: add
m
emory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdool
a
ege
p
ip
.
c; plug_in_parameters: add memory manage
m
ent ann
o
tation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
a
e
ge
pip
.
c: opt
_
at: add
m
emo
r
y ma
n
age
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Ve
r
doolaege
pip
.
c: opt
_
at: a
v
o
i
d acces
s
ing ctx field directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
V
e
rdoolaege
add
isl_basi
c
_map_div
_
i
s
_marked
_
unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aeg
e
i
s
l_m
a
p
.
c: d
i
v_is_
u
nknown: return
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
Add new i
s
l
_ast_node_t
o
_C_str
f
unct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
A
d
d new isl_ast_expr_t
o
_C_str function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
py
t
hon int
e
rface:
r
eplace
a
ssert with
e
xplicit abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as
Grosser
python i
n
te
r
face: replace a
s
ser
t
wi
t
h e
x
p
licit abor
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven Ve
r
doolaege
isl_
s
pace_find_dim_by_n
a
me: check
t
hat dime
n
sion has
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doolaege
d
oc: clari
f
y that isl_
p
rinter_get_str can only be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven V
e
rdoolaege
isl_o
u
tput
.
c: print_
c
onstraints: avoid
invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoo
l
aege
isl_output
.
c
:
pr
i
n
t_disj
u
nct: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Verdoolaege
isl
_
outp
u
t
.
c
:
is
l
_map_pri
n
t_isl_
b
ody: hand
l
e N
U
LL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
v
en Ve
r
d
o
o
laege
i
s
l_prin
t
er_get_st
r
:
r
epor
t
e
r
r
o
r
w
he
n
called on
w
rong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoolaege
doc: cle
a
n up ex
t
ra files generated by biblatex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
isl
_
sched
u
le_node_band
_
s
p
lit: preserve iso
l
ate option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verd
o
olae
g
e
add private isl_sched
u
le_band_r
e
place_
a
st_buil
d
_optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ve
r
doola
e
ge
use isl
_
sched
u
le_node_band_get_ast_isolate_option
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add
i
sl_sched
u
le_band_get_ast_is
o
late
_
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Verdoolae
g
e
isl_basic_map
_
r
e
m
ove_re
d
undancies: sort constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoo
l
aege
isl_co
a
l
esce
.
c
:
fuse: simpli
f
y fuse
d
re
s
ul
t
immediatel
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_coa
l
esce
.
c: f
u
se: c
a
ll is
l
_ba
s
ic_map_finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
i
s
l_map_c
o
al
e
sce: check for pr
o
tru
s
i
ons on adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_map_coalesc
e
:
allow protru
s
io
n
s out of equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
ool
a
ege
isl_coa
l
esce
.
c
: wrap
_
in
_
f
a
cet
s
: e
x
tract out try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
e
r
do
o
l
aeg
e
isl
_
coalesce
.
c: can_wrap_in_set: extract out type_of_
r
elaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
isl
_
coalesce
.
c
:
wrap_in_facets:
e
xtract out wrap_in_facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en
Verdoolaege
isl
_
coalesce
.
c: can_
w
rap_in_set: minor sim
p
lificatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_
c
oalesce
.
c
: wrap_i
n
_facets: do not pass i
n
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaege
isl_map_
c
o
alesce: tighten co
n
strain
t
s of potenti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_map
_
c
o
al
e
sce
:
a
llo
w
gen
e
ral coales
c
ing with e
x
pa
n
ded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
ol
a
e
g
e
i
sl_coalesce
.
c: co
a
les
c
e_with_ex
p
anded_d
i
vs: store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolae
g
e
is
l
_
c
oalesce
.
c: coalesce
_
lo
c
a
l_pa
i
r: allow reuse of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdo
o
laege
i
sl
_
coalesce
.
c: coalesce_local_pair: extract out set_in
e
q_st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
isl_coalesce
.
c: coal
e
sce
_
local_pa
i
r
: extract
out
set_eq_st
a
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Ver
d
o
olaege
is
l
_
c
oa
l
esce
.
c: co
a
lesce_local_pair: ex
t
ract
out clear
_
status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
o
laege
isl_coa
l
esce
.
c:
c
oalesce_local_pair
:
extrac
t
out init_sta
t
us
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolae
g
e
i
s
l_coalesce
.
c: generalize
check_coalesce_
s
u
b
set to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaege
add isl_options_{get,set}_
p
ip_symmetry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Verd
o
olaege
add i
s
l_basic_map
_
expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
e
rdoolaege
isl_map
.
c: fix t
y
p
os
i
n co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoo
l
aege
i
s
l
_o
u
tput
.
c
: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Verdoolaege
i
sl
_
tab
.
h: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoolaege
Mer
g
e bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2016-06-03
Sven
V
e
rdoola
e
ge
isl
_
basic_set_expand_
d
i
v
s:
only add div constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rd
o
olaege
isl_co
a
l
e
sce
.
c
: add_sub_vars: explicitly
m
ark
added
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaeg
e
isl_c
o
ale
s
ce
.
c
:
add_
s
ub_vars: move
"
correct
"
integ
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ver
d
oolaege
isl_co
a
lesce
.
c: wrap_
i
n_facets: a
v
oi
d
invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
V
erdoolae
g
e
isl_pr
i
nter_print_map: print div constraints again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n V
e
rd
o
olaege
isl_printer_print
_
m
a
p: fix
printin
g
of affine expres
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
is
l
_output
.
c:
p
r
int_
d
isjuncts: avoid invalid
ac
c
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n
Verdoolaege
isl_output
.
c
: print_d
i
sjunct
:
handle NU
L
L
i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
d
o
o
la
e
g
e
isl_vec_al
l
o
c
:
plug m
e
mory le
a
k on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
Verdoolaege
isl_blk
.
c: extend: pl
u
g
memory leak on err
o
r pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
AST generation: special ca
s
e
pure outer disjunctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
add is
l
_{set,map
}
_dr
o
p_constr
a
ints_not_involvin
g
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verd
o
o
laege
ad
d
i
s
l_{set,
m
a
p
}_p
l
ain_unsh
i
fted
_
simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoo
l
a
ege
AST ge
n
eration: always p
r
int braces
around body of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
isl_t
a
b
_pip
.
c: find_solutions:
extract out reset_any_to
_
u
n
known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next