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_*_partial_lex{min,max}_pw_multi_aff: fix handling of existentials
2016-07-19
Sve
n
Ve
r
d
oolaeg
e
i
sl_*_partial_lex{min,max}_
p
w_multi_aff: fi
x
handlin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
add isl_basic_
s
et_first_unknown_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verdoolaege
i
s
l_tab_pip
.
c:
i
s
l_context_op
.
add_div: genera
l
ize to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdool
a
ege
isl_tab_add_div:
e
x
tract o
u
t isl_tab_insert_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oolaege
i
s
l_tab_add_div: c
h
e
ck
size of inte
g
er
division description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaeg
e
isl_
b
asic_map_add_div: generali
z
e to isl_basic_map_insert_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
V
e
rdo
o
la
e
ge
isl
_
basic_
m
ap_add_div: explicitly zero
o
ut c
o
e
fficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolae
g
e
extrac
t
o
ut shared
i
s
l
_basic_
m
ap
_
a
d
d
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
V
erdoolaege
isl_tab: keep track of
l
oc
a
tion of
i
nse
r
te
d
i
n
t
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
V
e
rdoo
l
a
e
ge
isl_tab
.
c: perform_
u
n
d
o
:
ext
r
act out dr
o
p_b
m
ap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n Verdoolaege
privately
e
xport isl_
b
asi
c
_
map_drop_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verdoolaeg
e
isl
_
b
as
i
c_ma
p
_drop
_
div: add m
e
mory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdool
a
ege
isl_tab_pip
.
c: isl_conte
x
t_op
.
free: ret
u
rn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
isl_tab_pip
.
c: isl_conte
x
t
_
op
.
ad
d
_div: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoo
l
aege
isl_t
a
b_pip
.
c
:
con
t
ext_tab
_
add_div:
r
e
tur
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoo
l
aege
is
l
_
t
a
b
_pip
.
c:
add_div
:
add
memory man
a
geme
n
t ann
o
ta
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en
Verd
o
olaege
isl_tab_pip
.
c: isl
_
c
ontext_op
.
add_div: add memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verd
o
olaege
isl_
t
a
b
_pip
.
c:
c
ontext
_
tab_add_div: add memory ma
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sve
n
Verdo
o
laege
isl
_
tab_pip
.
c
:
set_from_affine_ma
t
rix: improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaeg
e
isl_
m
ap_coalesce:
a
dd
check t
h
at basic map
a
nd
t
a
bleau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
v
en Verdoolaege
isl_
t
ab_detect_implicit_equalities:
d
o
n
ot add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verd
o
olaege
isl_tab
.
c: cut_to_hyp
e
rpl
a
ne: impr
o
ve error messag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
rdoolaege
isl_ta
b
.
c:
c
ut_to_hyperp
l
a
n
e: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
rdoolaege
isl_tab
.
c:
close_row: improve
e
rror
m
essag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoo
l
aeg
e
isl_tab
.
c:
c
lo
s
e
_
row: im
p
r
o
ve er
r
or messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdool
a
ege
isl_tab
.
c:
close_row: return
i
sl_s
t
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
ad
d
isl_ma
p
_dim
_
min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
export i
s
l
_pw_qpolynomial_eva
l
and is
l
_
union_pw_qpoly
n
omial_
e
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
rdoolae
g
e
expo
r
t isl_pw_qp
o
l
ynomial
_
domain and
isl_union_pw_
q
polynom
i
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Verdoolaege
exp
o
rt is
l
_
b
asic_set_s
a
m
p
le_
p
oint and isl_set_sample_point
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
interfac
e
: expose constructio
n
of AS
T
nod
e
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon i
n
terf
a
ce: exp
o
se isl_ast_
b
uild and i
s
l_ast_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gross
e
r
pytho
n
interface: automatical
l
y
derive method t
y
pe
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
T
obias
G
rosser
python inte
r
fac
e
:
o
n
l
y expor
t
__st
r
__ and _
_
re
p
r__
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
p
y
thon interface: add type check to __str__ meth
o
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n Verdoo
l
aege
p
y
thon interface: isl_cl
a
ss::print
_
method: extrac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaege
pyt
h
on int
e
rface:
i
sl_class::p
r
int_method
:
u
p
date documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdool
a
ege
dec
l
are more isl_*_to_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
py
t
hon interface:
suppo
r
t '
c
har *'
a
n
d
'const
c
har
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdool
a
e
g
e
python in
t
erface: isl_class::print
_
me
t
h
o
d:
e
xt
r
act
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias
Grosser
pyt
h
on interf
a
ce: extrac
t
method
print_
m
ethod
_
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python
i
nter
f
ac
e
: add expor
t
ed_ prefix to MyASTConsumer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
r
o
s
ser
python inte
r
face: e
x
t
r
act method p
r
int_method_types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Grosser
python inter
f
a
c
e: extract method p
r
int_representation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
expose
isl_
a
st_node_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Ve
r
doolaege
dump isl_as
t
_expr and is
l
_ast_
n
ode object
s
in
block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_sc
h
edule
.
c
:
ext
r
a
ct out
generic *_to
_
str an
d
*_d
u
mp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
s
l_pri
n
ter_p
r
int_
a
st_node: inclu
d
e
it
e
rat
o
r o
f
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n
V
erdoolae
g
e
isl_prin
t
er
_
print_ast_no
d
e: print isl_ast_n
o
d
e as Y
A
M
L
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdool
a
e
ge
isl_printer_print_
a
s
t
_
expr:
suppor
t
an
i
sl format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_print
e
r_print_
a
s
t
_
e
xpr: extr
a
ct out pr
i
nt
_
ast_
e
xpr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_ast
.
c: isl_printer_
p
r
int_ast_expr: drop
n
eedle
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
sl_
a
st
.
c: remo
v
e mo
r
e
r
e
mnants of code removed before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdool
a
ege
interface: update to CompilerInvo
c
ation::
s
etLang
D
e
f
aults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdo
o
lae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
o
o
laeg
e
isl_print
e
r_
p
rint_a
s
t_nod
e
: fix p
r
inti
n
g of mark
nodes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_map_is_equal
:
first
check
i
f inputs a
r
e obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven
V
e
rdo
o
laege
i
sl_*_lexopt: use
ac
t
ual domain of input a
s
in
i
tial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoola
e
ge
add isl_basic_set_lexmin
_
compute_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_
m
a
p_lexo
p
t
*: compute optimum over ap
p
roximate
d
omains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
r
d
o
ol
a
ege
i
s
l_basic_map_lex
o
pt*:
p
os
t
pone extraction
o
f domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
ol
a
ege
isl_*_lexopt*: replace
"m
a
x
"
argument by
"flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoola
e
ge
i
s
l_t
a
b_bas
i
c_map_p
a
rtial_lexopt*: clean
up
e
r
r
o
r hand
l
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
rdool
a
ege
merge
i
sl_basic_*_partia
l
_
lex
*
implementat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
Ve
r
doolaege
isl
_
basi
c
_map_lex
o
pt*: prei
n
itialize do
m
ain in t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
r
doolaege
m
e
rg
e
isl_
t
ab_basic_map_part
i
al_lexopt
*
impleme
n
t
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolae
g
e
r
ename
b
asic
_
m
ap_partial_le
x
op
t
*
_pma to ba
s
ic_map_partia
l
_l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
rename
b
asic_ma
p
_partial_lex
o
pt*_map to basi
c
_map_part
i
a
l
_
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oolaege
r
e
n
a
me
b
asic_m
a
p_partial_lexopt_base
t
o basic_ma
p
_p
a
rtial_l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoola
e
ge
add i
n
termediate i
s
l_tab_basic_map_parti
a
l
_
lexopt_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
b
a
s
ic_map_comp
a
tib
l
e_domain: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l
_sp
a
ce_
m
atch:
r
etu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
o
o
l
a
ege
isl_space_match: rename "di
m
" argumen
t
s
to "sp
a
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oo
l
aege
isl_
s
p
a
ce
.
c: match: rename "dim" arguments to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdool
a
ege
isl_basic_m
a
p
_
compatible_doma
i
n:
a
d
d memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
g
e
i
s
l_basic_
*
_p
a
rtial
_
lex*:
a
d
d
m
e
m
ory ma
n
a
g
ement ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdool
a
ege
i
s
l_tab_basic_map_partial_lex
o
pt:
a
dd me
m
o
r
y
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_
t
ab_p
i
p
.
c: isl_contex
t
_gbr_al
l
oc:
a
d
d memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_tab_pip
.
c: isl_c
o
ntext_alloc: a
d
d memo
r
y managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
e
rdoolaege
isl_
t
ab_p
i
p
.
c: propaga
t
e_
e
q
u
alities: remove undo tracking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
add i
s
l_tab_
n
ee
d
_
undo and isl_tab_cl
e
ar_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
d
oolaege
isl
_
tab_basic_map_par
t
ial_l
e
xopt: limit scope of symm
e
try
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdo
o
laege
isl_
t
est
.
c:
g
eneralize isl_map_
l
ex
m
i
n tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaege
d
oc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc: make r
e
a
s
on for isola
t
e option
result
i
ng
i
n anchored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdool
a
ege
i
sl
_
tab_pip
.
c: parallel_constraints:
remove s
t
ale
line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sv
e
n
Verdo
o
laege
is
l
_
t
ab
.
c:
f
i
x
typo
i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
S
ven Verdoolaege
isl_*_partia
l
_
lex{min,max}_p
w
_multi_aff: han
d
le ex
i
s
t
entiall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verd
o
olaege
isl_ta
b
_pip
.
c:
s
o
l
_pma_
a
dd: extract out s
e
t
_from_affine
_
m
atrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
add isl_basic_
s
et_d
i
v
_
is_kno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rdoola
e
ge
ad
d
isl_
b
asic_set_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Ve
r
doolaege
add isl_mat
_
scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdo
o
l
a
e
g
e
i
sl_pip
:
al
l
o
w existe
n
tially
q
uantified
v
ar
i
able
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verd
o
olaege
pip
.
c: set_plug_in_parameters: ad
d
memory m
a
nagemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
pip
.
c; plug_in_p
a
rameter
s
: add memory management anno
t
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoo
l
aege
p
i
p
.
c: opt_at:
a
dd memory management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oolaege
pip
.
c: opt_
a
t:
a
void acces
s
ing ctx field
directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add
i
sl_basic_ma
p
_div_is_marked
_
un
k
n
o
wn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
do
o
laege
isl_map
.
c: di
v
_is_unknown
:
return isl
_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
Ad
d
new i
s
l_a
s
t
_
n
o
de_
t
o
_
C_str fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next