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_basic_map_add_div: explicitly zero out coefficient of new integer division
2016-07-19
Sve
n
V
e
rdoola
e
ge
isl_ba
s
ic_map_add_div: explicitly
z
ero
out coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
Verdo
o
l
aege
ex
t
ra
c
t o
u
t shared
i
sl_basic
_
map_add_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab
:
keep
t
rac
k
o
f
loca
t
io
n
of inserted i
n
teg
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n Verdoolaege
isl_tab
.
c: perform_undo: ext
r
act ou
t
drop_bmap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoola
e
g
e
pri
v
ately export isl_basic_map_drop_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdoolae
g
e
isl_basi
c
_map
_
drop
_
div
:
ad
d
mem
o
ry managemen
t
ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolae
g
e
isl_tab_pip
.
c: isl_
c
onte
x
t_op
.
f
r
e
e
: re
t
u
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Verdoolaege
isl_tab_pip
.
c: isl_co
n
text_o
p
.
add_div: r
e
turn isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oo
l
a
e
ge
isl_tab_pip
.
c
:
c
ontext_tab_a
d
d
_div: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
i
sl_t
a
b_p
i
p
.
c: add
_
div: add
memory
man
a
geme
n
t annot
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oo
l
aege
isl_tab_pip
.
c: isl_context_op
.
add_div
:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
S
v
en
V
e
rdo
o
laege
isl_ta
b
_pip
.
c:
c
ontext_
t
ab_a
d
d_div: a
d
d memory managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sven
Ver
d
oolaege
is
l
_tab_pip
.
c: set
_
from
_
af
f
ine_ma
t
rix:
im
p
rove e
r
r
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven
Verd
o
ol
a
ege
is
l
_map_coalesce: ad
d
check that basic
m
ap and tab
l
eau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
i
s
l_ta
b
_
detect_impli
c
it_equalities: do
n
ot add extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Ver
d
oolaege
isl_tab
.
c
:
cut_t
o
_h
y
p
erplane: improve error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Verd
o
olae
g
e
isl_tab
.
c
: c
u
t_to_hype
r
plane: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
i
s
l_t
a
b
.
c: c
l
o
s
e_r
o
w
:
i
mprove error
m
essage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaege
i
s
l
_tab
.
c: close_row: improve
e
rror message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
erdoola
e
g
e
isl_tab
.
c
:
c
lose_row: ret
u
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Gr
o
sser
a
dd
i
sl_ma
p
_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaeg
e
export isl_p
w
_qpolynom
i
al_eval
a
nd isl
_
un
i
o
n_pw_qpolyno
m
ial_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoolae
g
e
exp
o
r
t
isl_pw
_
qpolyn
o
m
ial_domain and isl_union_pw_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verd
o
ola
e
ge
export i
s
l_bas
i
c_set_sample_point and
i
sl
_
s
et_sample_point
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
obia
s
Gr
o
s
s
er
p
ython int
e
rfac
e
: ex
p
ose c
o
nstruction
of AST node from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosser
python int
e
r
f
ace: expos
e
isl_
a
st_build and isl_ast_
e
x
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
python interface: automatically deri
v
e method type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
G
r
o
s
ser
p
ython
interface: onl
y
exp
o
rt
__str__ and __r
e
pr
_
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Verdoolaege
py
t
hon int
e
rf
a
ce: add type check to __
s
tr__ met
h
ods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verd
o
olae
g
e
python interf
a
ce: i
s
l_
c
lass
:
:print_method: extra
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Ve
r
doolaeg
e
pyth
o
n interface:
i
sl_cl
a
ss::print
_
method: upda
t
e docu
m
entation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolae
g
e
declare more isl_*_to_
s
tr
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
Grosser
p
ython
interface: support '
c
har *
'
and 'cons
t
char
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoola
e
ge
p
y
thon interface: isl_class::pri
n
t_method: e
x
tract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: extra
c
t method prin
t
_method_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python inter
f
ace: add exported_ prefix to M
y
ASTCo
n
sumer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
p
ython inte
r
face:
extract
method
p
rin
t
_method_types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as Grosser
python interface: ex
t
ract
method
p
rint_repr
e
s
e
ntation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoo
l
aege
expose isl_ast_node_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
d
u
mp
isl_as
t
_expr and isl_ast_nod
e
obje
c
ts in block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
sl_schedule
.
c: extr
a
ct ou
t
g
eneric *_to_str and *_dump
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en
Verdo
o
laege
isl_prin
t
er_pr
i
nt_
a
st_nod
e
: include iterato
r
of for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
e
n
V
e
rdoola
e
g
e
i
sl_printer_print_ast
_
node: print is
l
_ast_node as YAM
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
isl_printer_print_ast_expr: support an i
s
l format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolaege
i
sl
_
p
rinter_print_
a
st
_
e
xpr: extract o
u
t pr
i
nt_ast_e
x
pr_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoolaege
is
l
_as
t
.
c: isl_pr
i
nter_print_ast_exp
r
: drop needless
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_a
s
t
.
c: re
m
ove
more remnants of code r
e
m
o
v
ed befor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven
V
erdoolae
g
e
interface: update
to Compi
l
erInvocat
i
on::se
t
L
a
n
gDefaul
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
olaege
Merg
e
b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
is
l
_printer_p
r
int_ast_n
o
d
e
: fix printing
of mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdool
a
ege
i
s
l_m
a
p_is_equal: first
c
heck if inputs a
r
e obviousl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
i
s
l_*_lexo
p
t
:
use actual domain of input as initial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoola
e
ge
add isl_basic
_
set_lexmin_comput
e
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
i
s
l
_map_lex
o
pt*: comput
e
o
p
timum over a
p
proximat
e
domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
is
l
_basic_map_lexop
t
*
: post
p
one ext
r
acti
o
n o
f
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_*_lexopt*: re
p
lace "m
a
x" argum
e
nt by "flags
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verd
o
olaege
is
l
_
t
a
b_basic_
m
ap_partial_lexopt*: clean up error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
e
rdo
o
laege
merg
e
isl_basic_
*
_
p
a
rtial_lex* i
m
plementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_ba
s
ic_ma
p
_
lexopt*:
p
reinitial
i
z
e domain in
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
merge isl_tab_b
a
sic_map_partial_lexopt* implem
e
nt
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
re
n
ame basic_
m
ap_partial_lexopt*_pma
t
o
basic_map_par
t
i
a
l_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
do
o
laege
ren
a
me basic_map_
p
a
r
tial_lexopt
*
_map
t
o
basic
_
m
ap_partial_
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdo
o
laege
r
e
name basic_
m
ap_partial_le
x
opt_base
to
bas
i
c_map
_
partial_l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoola
e
ge
add
i
ntermediate isl_tab_b
a
s
ic_map_parti
a
l_lex
o
pt
_
pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoo
l
a
e
ge
isl_ba
s
ic_map_co
m
pa
t
ible_
d
o
m
ain: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
V
erdo
o
laege
i
s
l_
s
pace_match: r
e
tu
r
n is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_space_mat
c
h: rename "dim" arguments to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_
s
pac
e
.
c: m
a
tch: rename "d
i
m" ar
g
ume
n
ts to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolae
g
e
isl_basic_map_compatible
_
d
oma
i
n: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oolaege
isl_basi
c
_*_partial_lex*: ad
d
memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verd
o
olaege
isl_tab_basic_map_parti
a
l_
l
e
xopt: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_tab_pip
.
c
: isl_co
n
tex
t
_gbr_alloc: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: i
s
l
_
context_alloc:
a
d
d memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
isl_tab_pip
.
c:
pro
p
agate_equalities: remove u
n
do
trac
k
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
add isl_tab_nee
d
_undo
a
n
d
isl_tab_cle
a
r
_und
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdo
o
la
e
ge
i
s
l
_
tab_basic_map_pa
r
tial_lexopt:
l
imi
t
scop
e
of
s
y
m
m
e
try
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
Verdo
o
l
a
ege
isl_t
e
st
.
c
: generalize isl_map
_
lexmi
n
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
d
oc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaeg
e
doc
:
mak
e
re
a
son fo
r
isolate optio
n
resulting in
a
nchored
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
v
en Verdo
o
laege
isl
_
tab
_
pip
.
c: parallel_con
s
t
raints: remove stale line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
ven
V
er
d
o
o
laege
isl_tab
.
c
: fix t
y
po i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
ven
V
e
r
d
o
ol
a
e
ge
isl_*_parti
a
l_lex{m
i
n
,
max}_pw_multi_aff
:
handl
e
exis
t
e
n
tiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n Verdoo
l
ae
g
e
is
l
_
t
a
b_pip
.
c
:
sol_pma_add: ext
r
act
out set_
f
r
o
m_affine_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oolaege
a
dd i
s
l_b
a
si
c
_
s
e
t_div_is
_
known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolae
g
e
a
dd isl_ba
s
ic_set_sw
a
p_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
add isl_mat_s
c
ale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaeg
e
isl_pip: allow ex
i
stentially qu
a
ntified varia
b
les in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdo
o
laeg
e
pip
.
c: set_plug_in_
p
arameter
s
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
laege
pip
.
c; plug_
i
n_
p
a
r
a
m
eters: add m
e
mory ma
n
agement annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaeg
e
pip
.
c: opt
_
at: add memory
m
ana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en V
e
rdoolaege
pip
.
c: opt_at: avoid
a
cce
s
sing ct
x
field dir
e
ctly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
add i
s
l_basic_map_div_is_mark
e
d_unkn
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
isl_map
.
c: div_is_
u
nknown: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gros
s
er
Add ne
w
isl_ast_node_to_C_str fun
c
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add
n
ew
i
s
l
_ast_e
x
pr_to_C_str
f
unction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
python interf
a
ce: re
p
lace as
s
ert with explicit abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
G
rosser
pyth
o
n interface
:
replace assert with explicit abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdoo
l
aege
isl_spac
e
_find_d
i
m_by_name:
c
he
c
k th
a
t
d
imensio
n
has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
er
d
oolaege
doc: clari
f
y that isl_printer_get_str ca
n
only b
e
u
se
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Verdoolaege
isl_
o
utpu
t
.
c: p
r
int_constraints: avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next