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_tab.c: perform_undo: extract out drop_bmap_div
2016-07-19
S
v
e
n Verdoolaege
i
s
l_tab
.
c: perform
_
undo: extract
out drop_bmap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
privately export isl_basic_map_dr
o
p_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdool
a
ege
isl_basic_
m
a
p
_drop_div: add memory managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdo
o
laeg
e
isl_
t
a
b
_pip
.
c:
isl_conte
x
t_op
.
free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c:
i
sl
_
cont
e
xt_op
.
add_div: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl
_
tab
_
pip
.
c: context
_
t
a
b_add_di
v
: retu
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolae
g
e
is
l
_tab_pip
.
c:
a
d
d_
d
iv:
add m
e
mory management anno
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
isl
_
t
a
b_pip
.
c: i
s
l_
c
on
t
ext
_
op
.
a
dd_div: add memo
r
y m
a
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
S
v
en
V
erdoola
e
ge
i
sl_tab_pip
.
c
: context_tab_add_
d
i
v: add
memory man
a
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
S
ven Verdoolaege
i
s
l_t
a
b_
p
ip
.
c: set_from_
a
ffine_matrix: improv
e
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
r
doo
l
aege
i
sl_m
a
p_coalesce: add che
c
k that basic map
and
ta
b
lea
u
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
rdoolaege
isl_tab_detect_
i
mplicit_e
q
ua
l
ities: do
not add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolae
g
e
is
l
_tab
.
c
:
cut_
t
o_hyperplane: impro
v
e er
r
or me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoola
e
ge
isl_tab
.
c: cut_to_hyper
p
l
ane: retur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
e
rdoola
e
ge
isl_ta
b
.
c: close_ro
w
:
i
mprove error
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verd
o
olaege
i
sl_tab
.
c: c
l
ose
_
ro
w
: im
p
rove
e
r
ror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_t
a
b
.
c: close_row: ret
u
r
n
isl
_
st
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobia
s
Gros
s
er
a
d
d
isl_map
_
dim_m
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
ool
a
ege
ex
p
ort isl_pw_qpo
l
ynomial_eva
l
a
n
d
isl_union_pw
_
qpo
l
yn
o
mial_e
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verd
o
o
l
aege
export i
s
l_pw_qpolynomial_
d
omain and isl_union_pw_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
expo
r
t isl_b
a
sic_set_sample_point
a
n
d
isl_set_sample_poin
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ias Grosser
p
y
thon i
n
t
e
r
face: expose
cons
t
ru
c
tion of AST node from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
python in
t
er
f
ace: expo
s
e isl_ast_build and
i
sl_
a
s
t
_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
ros
s
er
pyt
h
on inte
r
face: a
u
tomatically derive method ty
p
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Grosser
python interface: only export __str__ and __rep
r
_
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
rdoolaege
python inter
f
ace: add type check to __str__ metho
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
r
d
o
o
laege
python interface: i
s
l_cl
a
s
s
::print_
m
eth
o
d: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
python
i
nterface
:
i
s
l
_
class::pri
n
t_method:
u
pda
t
e d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
declare more is
l
_*_to_str fu
n
ctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tob
i
as G
r
osse
r
python interface: sup
p
ort
'char *'
and 'const char
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolae
g
e
python interface: isl_c
l
ass::pri
n
t_method: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
rosser
pytho
n
interfac
e
: e
x
tract method p
r
int_method
_
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
Grosse
r
python inte
r
face: add e
x
p
o
rted_ pre
f
ix to
M
yAST
C
onsumer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s
G
rosse
r
pyt
h
on i
n
t
erface: e
x
tract
met
h
od p
r
int_method_types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
T
obia
s
Gr
o
sser
p
ython int
e
r
f
ace
:
e
xtract method
print_representation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verd
o
olae
g
e
expos
e
isl
_
a
s
t
_node
_
to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
e
n
Verdoolaege
du
m
p
i
sl_ast_e
x
pr and isl_ast_
n
ode obje
c
ts
i
n bloc
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
isl_sched
u
le
.
c:
e
x
tract out gen
e
ric *_
t
o_str and *
_
dump
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Ver
d
ool
a
ege
isl_pr
i
n
t
e
r_
p
r
int_ast_node: inclu
d
e itera
t
o
r
of for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolae
g
e
is
l
_prin
t
er_pri
n
t_ast_node: pri
n
t
i
sl_ast_n
o
de as YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoola
e
ge
isl_p
r
i
nter_print_as
t
_exp
r
: suppo
r
t an isl format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
olaege
isl_printer_print_as
t
_expr:
e
xt
r
act out
p
rint_ast
_
exp
r
_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
sl_ast
.
c: isl_printer
_
print_ast_expr: dr
o
p
needless
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
er
d
oolaege
isl_ast
.
c
:
remove more rem
n
ants of c
o
d
e
removed before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Ver
d
oolaege
interfac
e
: update to CompilerInvocati
o
n::setLangD
e
f
a
ults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdo
o
l
ae
g
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_pri
n
ter_p
r
int_
a
st_node: fix print
i
ng of mar
k
n
o
d
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
isl_map_is_equal: first check if inputs
a
re obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
i
s
l_*_lexopt: us
e
ac
t
ual domain o
f
inp
u
t as initia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
ad
d
isl_basic_set_lexmin
_
c
omp
u
te_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
doolaege
isl_map_lexopt*: compu
t
e
optimum o
v
er approximat
e
d
omains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
isl_basic_map_lexopt
*
: post
p
one extraction of domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
doolaege
isl_*_le
x
opt*: r
e
pla
c
e
"
max
"
arg
u
m
e
nt by "f
l
ag
s
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olae
g
e
isl_tab_basi
c
_map_partia
l
_lex
o
pt*: clean
u
p error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
mer
g
e is
l
_basic_*_partial_lex* implem
e
ntations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
isl_basic_ma
p
_
lexop
t
*:
p
rei
n
i
tialize domain in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
merge i
s
l
_
tab_basic_map
_
partial_lexopt* i
m
plemen
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
er
d
oolaege
rename basic_m
a
p_partial_lexo
p
t*_pma to basi
c
_
m
ap_partia
l
_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoola
e
ge
rename basic_map_partial_l
e
xop
t
*_map to basic_m
a
p_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rename basic_map_partial_l
e
xopt_base to bas
i
c_map_partial_l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
ad
d
int
e
rmediate i
s
l
_tab_ba
s
ic_map_parti
a
l_
l
exopt
_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl_b
a
sic
_
map
_
c
o
m
patible_domain: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
dool
a
e
g
e
isl_space_match: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaeg
e
i
sl_s
p
ace_mat
c
h: r
e
n
ame "dim"
a
rgume
n
ts
to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_space
.
c: match: rename "dim" argum
e
nts to "
s
pa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_bas
i
c_map_compatible_domain: add memory manage
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_basic_*_p
a
rtial_lex*:
add memory manageme
n
t ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
ae
g
e
i
s
l_tab
_
basic_ma
p
_
partial_lexopt: add m
e
mory mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
isl_tab_pip
.
c: isl_cont
e
xt_gb
r
_alloc: add
m
emo
r
y manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdo
o
lae
g
e
isl_
t
ab_p
i
p
.
c
:
i
sl_context_allo
c
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verd
o
olaege
i
sl_tab_pip
.
c: prop
a
gate_e
q
ualities: rem
o
ve undo t
r
ackin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laeg
e
a
dd isl_tab
_
need_undo and isl_ta
b
_cl
e
a
r
_un
d
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
i
s
l_tab_basic_
m
ap_p
a
rti
a
l_le
x
o
pt: li
m
it scope of symmetry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdo
o
l
aege
isl_t
e
st
.
c: generaliz
e
i
sl_map_l
e
xmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdo
o
laege
doc:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
doc:
m
a
k
e reason fo
r
isola
t
e opt
i
on r
e
sulting in a
n
chored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sv
e
n Verdoolaege
i
sl_tab_pip
.
c: para
l
lel_c
o
nstraints
:
remove sta
l
e line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_*_partial_
l
e
x{min,
m
ax}_pw
_
mu
l
ti_aff: handle existen
t
iall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoolaege
isl
_
t
a
b
_pip
.
c: sol_pma
_
a
dd: extra
c
t out set_fro
m
_affine
_
matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add is
l
_basic_set_di
v
_is_
k
n
o
wn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_basic_set
_
swa
p
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaege
ad
d
isl_m
a
t_sca
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
is
l
_pip: allow exi
s
tentially quantified
variables in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verd
o
o
l
aege
pi
p
.
c: set_plug_i
n
_paramete
r
s
: add
m
emory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c; plug_i
n
_
p
arameters: add memory
m
anagement an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
o
l
a
eg
e
pip
.
c:
o
pt_at: add m
e
mo
r
y m
a
na
g
ement annot
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: opt_at: avoid
accessing ctx field
directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add i
s
l_basic_map_div_
i
s
_
marked_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
isl_map
.
c: div_is_unknown: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Gros
s
er
Add n
e
w is
l
_
ast_node_to_C_
s
tr function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Gr
o
sser
Add
n
ew isl_ast_exp
r
_
to_
C
_str function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
ss
e
r
python interface:
r
eplace assert
with expl
i
c
i
t
abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias G
r
osser
p
y
t
h
on i
n
terface: replace
a
ssert w
i
t
h
explicit abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sve
n
Verdoolaege
isl_spac
e
_fin
d
_
dim_by_name:
c
heck that dimension
has
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
Verdoolaege
do
c
: clarify tha
t
i
sl_
p
rinte
r
_g
e
t_str can only be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
isl_output
.
c: pr
i
nt_
c
onstr
a
ints: av
o
id invali
d
a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdo
o
laege
isl
_
output
.
c:
pri
n
t_disjunct: av
o
id
invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
do
o
laege
isl_output
.
c:
i
sl_map_
p
rint
_
is
l
_body: ha
n
d
le NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
Ver
d
oolaeg
e
isl
_
p
r
in
t
er_get
_
str: rep
o
r
t er
r
o
r when ca
l
l
ed on
wrong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next