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
mark isl_map_from_set as deprecated
2016-11-11
S
ven Verdoolaege
mar
k
isl_map_from_
s
et as de
p
recated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verd
o
olaege
dep
r
ecate isl_set_alig
n
_divs and isl_map_align_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdo
o
l
a
e
g
e
explicitly ma
r
k is
l
_basic
_
set_drop_cons
t
raint as deprecated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Ve
r
dool
a
ege
is
l
_c
o
nvex_hull
.
c
: co
l
lect_basic_ma
p
s: fix return type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verd
o
olae
g
e
isl_basic_map
_
expand_divs: fix t
y
pe
of a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Ver
d
o
ol
a
ege
isl_bas
i
c_map_se
t
_
rational: fix type of argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sv
e
n
V
erdool
a
ege
isl_d
i
m_map
.
h: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoola
e
g
e
d
o
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven
V
erdoolaege
isl
_
vertices
.
c: fix typos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
i
s
l_transitive_closure
.
c: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verd
o
ol
a
ege
isl_ma
p
_
s
imp
l
i
fy
.
c: fix typ
o
in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
S
ven Verdoolaege
is
l
_
m
a
p
.
c: fix typos in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven Ve
r
doo
l
aeg
e
isl_equ
a
lities
.
c
:
f
i
x
t
ypo in
c
ommen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
S
ven Verdool
a
e
g
e
i
sl
_
ta
b
_pip
.
c: fi
x
typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven
Ver
d
oo
l
aege
isl_t
a
b_pip
.
c:
add
back line to s
o
l_pma
_
a
dd documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-11
Sven
Verd
o
olaege
Mer
g
e branch
'maint'
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
isl_a
f
f
.
c: vec_
r
e
o
rder: avoid NULL
p
ointe
r
derefe
r
enc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-09
Sven Ver
d
oolaeg
e
i
s
l_ast_build_expr_from_pw_aff: do not i
n
clude
r
ational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolae
g
e
i
s
l_tab_pip
.
c: set_from_affine_matrix:
check
t
ha
t
ze
r
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
S
v
en Verdoolaege
isl_tab_pip
.
c:
b
asic_map_partial_lexopt_base_sol: put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sv
e
n Verdo
o
l
a
e
g
e
a
d
d isl_b
a
sic
_
se
t
_sort_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
S
v
en Verdoolaege
extract out shared set_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolaege
extract out sha
r
ed set_to_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven V
e
rdoolaege
extract out share
d
bset_from_
b
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven V
e
rdoolaege
extract out
s
hared bset_to_bmap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoo
l
aeg
e
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolae
g
e
isl_
m
ap_convex_hull: use con
s
i
s
te
n
t
s
pace when l
i
ne
a
l
ity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven
V
erdoolaege
isl_
b
asic_set_compute_vertices: d
r
op vertices wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven
V
erdoolaege
isl_vertice
s
.
c: add
_
vertex
:
return isl_bool indicating
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdool
a
ege
isl_vert
i
ces
.
c: can_
i
ntersect: r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-02
T
obias Gro
s
ser
U
pdate imath to in
c
l
ude big-endia
n
support for mpz_import
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-10-17
Mi
c
hael Kr
u
se
add is
l
_id_to_str to publ
i
c head
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-10-04
To
b
ias Gross
e
r
add
isl_union_flow_copy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-10-03
Michael
Kruse
a
d
d isl
_
uni
o
n
_pw_
a
f
f
_dump to public header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-07
M
ich
a
el Kruse
isl_
a
st
_
b
u
i
ld_expr
.
c
: extract
_
term_and_mod: use t
e
rm
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en Verdoolaege
export isl_sche
d
ule_
c
onstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en Verd
o
olaege
add isl_
s
chedule_constraints_
r
ead_
f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
add isl_schedule appli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oo
l
aege
add isl_sc
h
ed
u
le_constraints_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doolaege
decl
a
re isl_stream_read_
u
nion_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
add
i
sl_p
r
inter_print_schedule_co
n
stra
i
nts a
n
d
isl_s
c
hedule_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoolaeg
e
isl_schedule_constraints_dump: use YAML fac
i
lit
i
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Ver
d
oola
e
g
e
isl_
s
chedule
_
constr
a
i
n
ts_on_domain: extract
out isl_
s
chedule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doola
e
ge
i
s
l_sc
h
edule_constra
i
nts_
o
n
_doma
i
n
:
ex
t
ract
out isl_s
c
h
e
d
ule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
rdoo
l
aeg
e
isl_schedule_co
n
straint
s
.
c: extract ou
t
shared isl_sc
h
edule_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n
Verdoolaeg
e
spl
i
t off isl_schedule_c
o
nstraints c
o
de f
r
om
s
cheduler
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdoolaege
isl
_
sc
h
eduler
.
c: comp
u
t
e_max_row
:
use
isl_s
c
h
edule
_
c
onstrain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
rdoola
e
g
e
i
s
l_scheduler
.
c: extract out shared isl_schedule_cons
t
raints_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdool
a
ege
isl
_
s
c
heduler
.
c:
g
r
a
ph_init: use
isl_sc
h
edul
e
_constr
a
ints_g
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verd
o
olaege
isl_scheduler
.
c: extract out s
h
ared is
l
_
schedule_constrai
n
ts
_
get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oolaeg
e
isl
_
sched
u
ler
.
c: e
x
tract
out isl_schedule_constr
a
ints_n_basi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verd
o
olaege
isl_
s
chedule
r
.
c: comp
u
te_
m
ax_row: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oolaege
i
s
l_scheduler
.
c: isl_schedul
e
_constraints
_
n_m
a
p
:
drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdool
a
e
ge
isl_schedule
r
.
c: graph_init: use isl_schedule
_
c
o
ns
t
raints_g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Verd
o
o
l
aege
add
i
s
l_schedule_constraints_get_con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
doc: clari
f
y that isl_cod
e
g
en
c
an
a
lso (primarily
)
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdo
o
lae
g
e
d
oc: clarify
t
hat on
l
y pol
y
to
p
e/polyhedron input
s
may
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doolaege
isl_map_
f
rom_pw
_
m
u
lti_aff: pres
e
rve
r
ationa
l
f
l
ag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdo
o
l
a
ege
add isl_{set,map}_i
s
_r
a
tion
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
erdool
a
ege
add isl_b
a
sic
_
map_from_multi_aff2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
i
s
l_basic
_
map_
r
ange_pro
d
uct: preserve rat
i
onal flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en
Verdool
a
e
ge
isl_coale
s
c
e
.
c
: fuse:
mark res
u
l
t as rationa
l
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
ve
n
Ve
r
doolaege
configure
.
ac: fix
description of SETLANGDEFAULTS_TAKE
S
_5_ARG
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
doolae
g
e
config
u
re
.
ac: im
p
rove d
e
t
e
ctio
n
of
5-ar
g
u
m
e
nt setL
a
ngDefa
u
l
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdoolaege
inter
f
ace/extract
_
inte
r
face
.
c
c
: chec
k
for presence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michae
l
Kruse
m
a
ke
i
sl_sp
a
c
e
_
h
a
s_
e
qual_
t
upl
e
s
pu
b
lic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael K
r
use
isl_space
.
c
:
isl_space_ha
s
_equal_tup
l
e
s: retu
r
n isl
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-31
Michael Kr
u
se
do
c
:
a
dd descript
i
on of isl_
s
p
a
ce_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-12
Sven Verdoolaeg
e
isl
_
m
a
p_coalesce
:
only tighten non-
r
edund
a
nt
c
o
nstrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
Sven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdo
o
laege
i
sl_basic_map_offset
:
handle NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
S
v
e
n Verdoolaege
isl_bas
i
c_map_off
s
et: rename "di
m
" variable t
o
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-21
Sven
V
erdoolaege
i
n
t
e
rface/extr
a
ct_i
n
terfa
c
e
.
cc:
a
dd miss
i
n
g include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoola
e
ge
d
o
c: minor clarification o
f
anchor
e
d
subtre
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ve
n
V
e
r
d
o
olaege
i
sl_ta
b
_pip
.
c: fix typ
o
s in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Verdoolaege
isl_set_min_v
a
l: fix handling of input with e
m
p
ty
basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdo
o
laege
isl_*_par
t
ial_lex{min,max}_
p
w_multi_af
f
: remove existen
t
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
e
rd
o
olaege
i
sl_*_partial_lex{min,max}_pw
_
multi_
a
ff:
f
ix handli
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Ve
r
doolaege
add isl_basi
c
_set_fi
r
s
t
_unk
n
own_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verd
o
ol
a
ege
isl_tab_pip
.
c: isl_context_
o
p
.
add_
d
iv: generalize to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
aege
isl_tab_add
_
d
i
v: extract
o
ut is
l
_tab_insert_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoolaeg
e
i
s
l_
t
ab_add
_
div: che
c
k
size o
f
integer
d
ivision
description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verd
o
olaege
i
sl_
b
a
sic_map_add_div: g
e
nera
l
ize to isl_b
a
s
ic_map_ins
e
rt_d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
aege
is
l
_b
a
sic_map_add_div: explicitl
y
zero
out coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Ver
d
oolaege
ext
r
act
o
u
t s
h
ared isl_basic_map_
a
d
d_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoolaege
i
s
l_tab: ke
e
p track of location of
inse
r
ted
i
nteger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl
_
ta
b
.
c:
perform_undo: e
x
tract
o
ut dr
o
p_bmap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaeg
e
privately exp
o
rt isl_basic_
m
ap_drop_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoola
e
g
e
i
sl_basic_map_drop_div: add memory man
a
gement annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoolae
g
e
isl_tab_pip
.
c:
i
sl_context_op
.
f
ree: retu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Verdo
o
lae
g
e
isl
_
t
ab_
p
ip
.
c
:
isl_co
n
text_op
.
add_
d
iv
:
r
e
turn isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoo
l
a
e
ge
isl_tab_pip
.
c:
c
ont
e
xt_tab_add_div: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
is
l
_
t
ab_pip
.
c: add_div: add memory management
a
nnotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
er
d
o
olaege
isl_tab_pip
.
c: isl_con
t
ext_op
.
add_div
:
a
dd
memory ma
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sve
n
Ver
d
oolaege
isl_tab_pip
.
c
:
conte
x
t_tab_add_div: add mem
o
ry man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven
Verd
o
o
laege
isl_tab_pip
.
c: set_from_affine_ma
t
ri
x
: i
m
prove error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven
V
er
d
o
o
la
e
g
e
isl_map_
c
oalesce: a
d
d check t
h
at basic map
a
nd tablea
u
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
v
en
V
erdoolaege
isl_tab_detect_impl
i
ci
t
_
e
q
u
alitie
s
: do not
a
dd extr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Ve
r
do
o
laege
is
l
_ta
b
.
c: c
u
t_to_h
y
perplane: impro
v
e
err
o
r mes
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
i
sl_ta
b
.
c
:
c
ut_to_hyperp
l
a
n
e: return isl_
s
t
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next