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_ast.c: remove more remnants of code removed before inclusion
2016-06-28
Sven Verdoolaege
isl_ast
.
c: remove more remn
a
n
t
s of
c
ode removed
b
efore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
n
t
e
rface:
update to CompilerIn
v
oca
t
ion::setLangDefa
u
lts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdool
a
e
g
e
isl_
p
rinte
r
_prin
t
_
as
t
_node: fix
printing
of
mark n
o
des
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
isl_map_is
_
equal: first check
i
f
inputs
a
re obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_*_le
x
opt: use actual d
o
main of input as ini
t
ial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
a
d
d
i
s
l
_basic_
s
et_lexmin_comp
u
te_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdo
o
l
a
ege
isl_map_lexopt*: comput
e
opti
m
um over approximat
e
domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven
V
erdool
a
ege
isl_basic_map_lexopt*: postp
o
ne
e
xtraction of domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_*_l
e
xopt*: replace "
m
ax" argument by
"flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoola
e
ge
isl_
t
ab_basic_map_part
i
a
l_lexopt*:
clean up err
o
r handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
merge isl_basic_
*
_partial_l
e
x
* implementations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
d
oolaege
isl_basic_map_lexopt*: prei
n
itialize domai
n
in
t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
merge isl_tab_basic_map_pa
r
tial_le
x
opt* im
p
le
m
e
n
tation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
r
ename basic_map_partial_lexopt*_pma
t
o basic_map_
p
artia
l
_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
re
n
a
m
e basic_map_partial_lexop
t
*
_
m
a
p
to b
a
si
c
_map_par
t
i
a
l
_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
rename b
a
sic_map_p
a
rtial_
l
exopt_
b
ase to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
add intermediat
e
isl_ta
b
_basic_map_p
a
rti
a
l
_
le
x
opt
_
pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_b
a
sic_map_compatible_domain:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
do
o
laege
isl_space_m
a
tch: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_sp
a
ce_match: rename "di
m
" arguments
t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
r
d
oola
e
ge
isl_spac
e
.
c:
m
atch: rename "dim" arguments to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl
_
basic_ma
p
_compatib
l
e
_
doma
i
n: add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaege
i
s
l_basic
_
*_
p
artial_lex*: add
memory
m
anag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdo
o
l
aege
i
s
l
_
tab_ba
s
ic
_
map
_
partial_lexopt: add m
e
mo
r
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_tab_p
i
p
.
c
:
is
l
_
context_g
b
r_alloc:
ad
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaege
isl_tab_
p
ip
.
c
:
isl_
c
on
t
e
xt_alloc: add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
isl_t
a
b_p
i
p
.
c: pro
p
a
gate_equalities: remove undo t
r
ac
k
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolae
g
e
a
dd
isl_tab_need_undo
a
nd isl
_
tab
_
clear_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
is
l
_tab_basic_m
a
p_pa
r
tial_
l
exopt: l
i
mit scope of s
y
mmetry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
i
sl_test
.
c
:
general
i
ze
i
sl_ma
p
_
l
exmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
do
c
:
fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaeg
e
do
c
:
make reason for
i
s
ola
t
e op
t
ion resulting in
anchored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
S
v
en Verdoolaege
isl_tab_pip
.
c:
paral
l
el_cons
t
raints: remove stal
e
l
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
S
v
en
V
erdoolaege
i
s
l_tab
.
c
:
fix
t
ypo
in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven V
e
rdoolaege
isl_*_
p
artial_lex
{
min,max}
_
pw_mul
t
i
_
aff:
h
andle existenti
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaeg
e
i
sl
_
t
ab_pip
.
c: sol_pma_add: ext
r
act o
u
t set_from_affine_matri
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verd
o
olaege
add isl_basic_set_div_is
_
k
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolae
g
e
add isl_basic_set_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
add i
s
l
_
mat_scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
isl_pip: allow ex
i
stentia
l
ly quantified v
a
riables
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n V
e
rdoolaege
pi
p
.
c: set_plug_in_paramet
e
r
s
: add
memo
r
y man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
laege
pip
.
c; pl
u
g_in_pa
r
ameters: add m
e
mory management anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
olaege
pip
.
c: opt_at: add memory mana
g
ement annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verd
o
olaege
p
ip
.
c:
o
pt_at: avoid accessi
n
g ctx
f
i
e
ld directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_basic_
m
ap_div_is_mark
e
d
_
unkno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Ve
r
doolaege
isl_map
.
c: di
v
_
i
s_u
n
known: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdoola
e
ge
isl
_
space_f
i
nd_d
i
m_by_na
m
e: check that
dim
e
nsion h
a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doolaeg
e
doc
:
c
l
arify
that
i
sl_printer_get_str can
only be use
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doolaege
isl_outp
u
t
.
c:
print_constraints: avo
i
d invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sv
e
n Verdoo
l
aege
isl_out
p
u
t
.
c: print_disjun
c
t: avoid i
n
valid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoo
l
aege
isl_output
.
c: isl
_
map_print_isl_
b
ody: handle
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erdoolae
g
e
i
s
l_pr
i
n
t
e
r_get_s
t
r:
r
epo
r
t error when
c
a
lle
d
o
n
wrong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
S
v
en
V
erd
o
olaege
doc: clean up
extra files gene
r
ated
b
y
b
iblatex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven
V
erdo
o
laege
isl_schedule_node_band_split: preserve isolate option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sve
n
Verdoolaege
a
dd p
r
ivate isl_schedule_band_r
e
place_ast_build
_
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Ver
d
oolaege
use i
s
l_sched
u
le_node
_
band_ge
t
_as
t
_isolate
_
op
t
ion
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdool
a
ege
add isl_schedule_ba
n
d_get_ast_iso
l
a
t
e_option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_basic_map_remove_redundan
c
i
es: so
r
t constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
i
s
l
_coalesce
.
c: fuse: s
i
mplify fused resul
t
i
m
med
i
ately
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
S
v
en Ver
d
oolaeg
e
isl_coa
l
esc
e
.
c:
fuse:
c
al
l
i
sl
_
basic_map_final
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
ege
isl_map_coale
s
c
e: check
f
or protrusions on
a
djacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
ege
isl_m
a
p_coale
s
ce: all
o
w
protrusions out
of eq
u
ality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
V
e
rdool
a
ege
isl
_
coal
e
sce
.
c
: wrap_i
n
_fa
c
e
t
s:
extract ou
t
try_wra
p
_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Ver
d
oolaege
is
l
_coalesce
.
c: can_w
r
ap_in_set: extr
a
ct
out type_of_r
e
laxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
d
o
o
laege
is
l
_co
a
lesce
.
c: wrap_in_facets
:
ex
t
ract out wrap_in_facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
V
erdoolaege
isl
_
coalesce
.
c: can_wra
p
_i
n
_s
e
t: mino
r
simplification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verd
o
olaege
isl_coalesce
.
c:
w
rap_in_facets: do n
o
t pass i
n
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_map_coales
c
e:
t
ighten
c
onstraints of
potential
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdo
o
laege
isl_map_
c
oal
e
sce: allow general coalescing with expanded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rd
o
olae
g
e
isl_coa
l
esce
.
c: coalesce_wi
t
h_ex
p
anded_divs: store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
isl_co
a
l
esce
.
c: co
a
lesce_local_pair: al
l
o
w reuse of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
aege
isl_coa
l
esce
.
c: coalesce_local_pair: extract
out
s
et_ineq
_
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
is
l
_coale
s
ce
.
c:
c
oalesce_local_pair: ex
t
ract
out se
t
_
eq_sta
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_coalesce
.
c:
coa
l
es
c
e_local_pa
i
r: e
x
t
ract out clear_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Ve
r
doolaege
isl_coa
l
e
s
ce
.
c
: coalesce_local_pair:
e
xtra
c
t out init_st
a
tus
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaege
isl_coalesce
.
c: generalize c
h
eck_coalesce_subset to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
aege
a
d
d isl
_
opti
o
ns_{get,set}_
p
i
p
_symmetry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
ven
V
erdo
o
laege
add isl
_
basic_map_expand_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Verdoolaege
isl_map
.
c: fix typos
i
n comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven V
e
rdoolaege
isl_output
.
c: fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdool
a
ege
isl_tab
.
h:
f
ix
t
y
po in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoolaeg
e
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2016-06-03
S
v
en Verd
o
olaege
isl_basic_set_expand_divs: onl
y
ad
d
div
c
onstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verd
o
olaege
isl
_
c
o
alesc
e
.
c: add_sub
_
v
ars: explici
t
ly
m
a
rk ad
d
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verd
o
olaege
isl_c
o
alesce
.
c: add_s
u
b_vars: mov
e
"corre
c
t" intege
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ve
n
Verdoolaege
i
s
l_coalesce
.
c:
w
rap_in_fa
c
ets: avoid
i
n
v
alid a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdool
a
e
ge
isl_printer_pri
n
t_map: print
d
iv constrai
n
ts again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoola
e
g
e
isl_printer
_
prin
t
_map: fix p
r
inting of affi
n
e expre
s
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolae
g
e
isl_out
p
ut
.
c: print_disjuncts: avoid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ven
V
e
rdoolaege
isl_output
.
c: pri
n
t_d
i
sjunct: handle NULL
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Ver
d
oolaege
is
l
_vec_alloc: plug memo
r
y
l
eak on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laege
isl_blk
.
c: ex
t
en
d
: plug
m
emory leak on erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoola
e
ge
A
S
T genera
t
ion: special case pur
e
outer disjunctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verd
o
olaege
add isl_{
s
et,map}_drop_constra
i
nts
_
n
o
t_involving_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven V
e
rd
o
o
lae
g
e
add isl
_
{set,map}_plain_unshifted_sim
p
le_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Verdoolaege
AST gene
r
at
i
o
n: alwa
y
s print braces
ar
o
und body of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ve
r
dool
a
e
ge
isl_tab_pip
.
c: find_solutions:
e
xtract out r
e
se
t
_any_to_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoola
e
g
e
i
s
l
_map_*_simple_h
u
ll: keep resu
l
ts in
a cac
h
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
implement
i
sl_set_free in terms of isl_map_fr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next