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
add doc/CodingStyle to distribution
2015-05-26
Sven Verdoolaege
add doc/Codi
n
g
S
tyle to distributio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sve
n
Verdoolaege
u
p
da
t
e doc/
C
oding
S
t
y
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sv
e
n Verdoolaege
rename
i
sl
_
{,in}equality_alloc to isl_co
n
strai
n
t_alloc_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Ve
r
doolaeg
e
rename
i
sl_s
c
he
d
u
l
e
_
*
_
map_* to
i
sl_
s
chedule
_
*_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
S
v
e
n
Verdoolaege
rename isl_s
c
hed
u
le_*_foreac
h
_* to
i
sl_sched
u
le
_
*_foreach_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Ver
d
oolaege
i
sl_s
c
h
edu
l
e
r
.
c: compute_c
o
mponent_s
c
hedule: drop redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Ve
r
doo
l
aege
isl_schedu
l
e
r
.
c: compute_spli
t
_
s
chedule: drop
r
edu
n
dant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
isl
_
schedule_cons
t
raints_co
m
pute_sche
d
ule
:
han
d
le conflictin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: eliminate_div: improve error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-22
Sven Verd
o
olaege
i
ntroduce is
l
_bool an
d
isl_stat retur
n
t
y
pes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-22
Sven Verdoolaege
isl/hash
.
h
:
i
n
clude
isl/ctx
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-22
Sven V
e
rdoola
e
ge
remov
e
i
n
clude
o
f
isl
/
hash
.
h from isl
/
ctx
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-22
Sv
e
n
Verdoolaeg
e
directly include
i
sl
/
stdint
.
h i
n
h
eaders that u
s
e uint32_
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven V
e
rdoolaege
hide internal i
s
l_map
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sv
e
n Verdoola
e
ge
hide inter
n
al is
l
_set
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaeg
e
hide
i
n
t
ernal isl_
b
asic_map fu
n
c
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
hi
d
e int
e
rnal is
l
_ba
s
ic_s
e
t functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verd
o
ola
e
ge
remove und
o
cumented isl_bas
i
c_set_from_basic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Ver
d
oola
e
g
e
isl_basi
c
_map_deltas: avoid use of undocume
n
ted isl_basic_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sve
n
Verdoola
e
ge
isl_basic_
m
ap_delta
s
:
rename "dim" variabl
e
s to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
isl_
b
as
i
c_map
_
domain: avoi
d
use of u
n
doc
u
me
n
ted isl_basic_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
isl_ba
s
ic_ma
p
_domain:
r
en
a
me "dim
"
v
a
ri
a
ble to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
S
v
e
n
Verdoolaege
isl_basic_map_reve
r
se: inli
n
e
isl_basic_set_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Ver
d
oolaege
isl_basic_map_revers
e
: r
e
n
am
e
"
dim" variab
l
e to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
isl_vertices
.
c: use isl_tab_peek_bset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
S
ven Verdoolaege
drop u
n
used and undocu
m
ent
e
d i
s
l_{se
t
,
m
ap}_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdo
o
laeg
e
drop unused an
d
undoc
u
mented isl_
s
et_
f
rom_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
e
rdo
o
laege
drop
*
_like fun
c
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
ven Verdoo
l
aege
isl_affine_
h
ull
.
c: uset_affine_
h
u
ll: avoid
u
se of
i
s
l_b
a
s
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
ven
V
erdo
o
laege
isl_flow
.
c: comp
u
te_val_based_dependen
c
es: avoid us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_ilp
.
c:
u
nit_box_base_
p
oints:
a
v
o
i
d use of isl
_
basic_set_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verd
o
olaege
isl_map_subtract
.
c: ma
p
_su
b
t
r
act: avoid use
o
f isl_
m
ap_empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
i
sl_
m
ap_subtract
.
c
: ba
s
ic_map_s
u
btract: avoid isl_map_
e
mpty_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_input
.
c:
b
asic_map
_
r
e
ad:
a
v
oid
u
se o
f
i
sl_ba
s
ic
_
map_empt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
rdoolaege
isl_c
o
nvex_hu
l
l
.
c
:
avo
i
d
use of isl_basic
_
map_emp
t
y_like_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
ven
Verdoolaege
isl_m
a
p
_
af
f
ine_hull: avoid
use of isl_basic_map_emp
t
y
_like_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdoolaege
isl_map_s
a
m
p
le: avoid us
e
of isl_basic_map_empty_l
i
ke_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_basic_map_
s
ample:
explicitly ma
r
k input
a
s
e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
e
r
doo
l
aege
doc: docume
n
t isl_m
a
p
_
plain
_
is_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdo
o
laege
doc: document isl_b
a
sic_se
t
_
is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n V
e
rdoolaege
i
s
l_map_
s
ubtract
.
c: map_is_singleton_subset: fix
t
ypo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
v
e
n Verd
o
olaege
i
sl_map_subtract
.
c: map_is_singleton_subs
e
t: print
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
is
l
_
a
st_bui
l
d
_
n
ode_from_schedule: improve handling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoolaege
i
s
l_ast_
c
ode
g
en
.
c: f
o
r
e
ac
h
_iterat
i
on: improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
rdoolaege
i
s
l
_
ast_
c
ode
g
en
.
c: fix
ty
p
o
i
n c
o
m
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sve
n
Verdoolaege
is
l
_ast_codege
n
.
c
:
a
fter_each_mark: fix docum
e
nta
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
olaege
isl_q
p
olynomi
a
l_p
l
ain_is_equal: do not consider two
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
erdoolaege
is
l
_qpolyno
m
ial_f
o
ld_fold_on_domain: special case NaN
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
add isl_qpolyn
o
mial_fold_is_nan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaeg
e
isl
_
uni
o
n_map_involves
_
d
i
ms: retur
n
-1 on erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2015-05-12
Sven Ver
d
oolaege
i
s
l_schedule_constr
a
ints_co
m
p
ute_sc
h
ed
u
le: stron
g
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven
Verdoolaeg
e
isl_scheduler
.
c: move sort_statem
e
nts d
o
wn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
S
v
en Verdoola
e
ge
i
s
l
_
s
c
he
d
ul
e
r
.
c
:
compute_schedule
_
w
c
c: keep track of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdoo
l
a
e
ge
isl
_
sc
h
edule_co
n
s
traint
s
_c
o
mpute_schedule: stro
n
gly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven Ver
d
oo
l
aege
is
l
_
s
c
heduler
.
c:
m
ove s
o
rt_st
a
tements do
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
S
ven Verdoolaege
isl_ba
s
ic_map_
p
lain_is_equal: improve error
han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sv
e
n Verdoolaege
i
sl_test
.
c: test_bound: add mi
s
s
i
ng return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-07
S
ven Verdo
o
lae
g
e
isl_set_spl
i
t_di
m
s
:
a
v
oid N
U
LL p
o
i
n
ter dereference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verd
o
olaege
rename isl_bas
i
c_map_add
t
o isl_
b
a
s
ic_map_add_d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoola
e
g
e
e
x
p
lici
t
l
y
ma
r
k isl_basic_set_add a
s
deprecated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
S
v
en
V
erdoolaege
d
rop *_fast_* functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sve
n
V
erd
o
olaege
dro
p
isl_di
m
backward compatibility
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven
Verdo
o
laege
codegen
.
c: directly include requir
e
d
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
S
ven V
e
r
d
o
o
laege
isl_te
s
t
.
c
: directly include r
e
q
uired header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven
Verdoo
l
aege
isl_set_list
.
c: dire
c
tly include required h
e
a
d
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdoolaege
isl_sc
h
eduler
.
c: d
i
rectly include
required
header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sve
n
Verdoolaege
isl
_
obj
.
c: d
i
rectly in
c
lude required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Ver
d
oolaeg
e
is
l
_map
_
list
.
c: direc
t
ly in
c
lude
r
equired header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verdo
o
laege
isl_
m
ap
.
c: directl
y
include r
e
quired header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven V
e
rdoolaege
isl_
i
nput
.
c: directly include requi
r
ed header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Verd
o
ola
e
ge
i
sl_flow
.
c: directly
i
nclude required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven Ver
d
o
olaege
isl_ast_code
g
e
n
.
c: directly include required he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven V
e
r
doolaege
i
s
l_
a
st
_
b
u
ild_e
x
pr
.
c: di
r
e
c
tly includ
e
required header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
S
ven Verdoola
e
g
e
isl_ast_bui
l
d
.
c: direc
t
l
y inclu
d
e required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-05
Sven
V
e
r
d
oolaege
isl_basic_map_r
e
du
c
e_coefficients: call gauss when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
isl_tes
t
: be more v
e
rbose
o
n
all tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
S
v
en Verdoolaeg
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdo
o
laeg
e
isl_qpol
y
nomial_f
o
l
d
_
f
o
ld_on_domai
n
: do not consider
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven
Verdool
a
ege
i
s
l_qpolynomial_fold_fold_on_dom
a
in: eliminate obv
i
ously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Ve
r
doolaeg
e
isl_flow
.
c:
i
sl
_
c
omput
e
_
f
low_schedule_da
t
a_clear: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_
c
oale
s
c
e
.
c
: cont
a
i
ns: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
v
e
n
Verdoolaege
isl_coalesce
.
c:
check_facets
:
imp
r
ov
e
error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
is
l
_coalesce
.
c:
set_
u
p_substitutions: plug
memory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven
V
erdoolaege
isl
_
c
o
alesce
.
c: check_
c
o
a
lesce_i
n
to_
e
q
: avoid double
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verd
o
olaege
i
sl_tab_compu
t
e_r
e
duced_basis: onl
y
p
r
int err
o
r
message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolaege
isl_tab_pip
.
c: sol
_
{
map,pma}
_
a
dd_empty:
dro
p
sp
u
rious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven
Verdoolaege
isl_tab_pip
.
c:
c
ont
e
xt
_
g
b
r_res
t
ore: abo
r
t
on
f
ai
l
ure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven
V
erdoo
l
a
e
g
e
isl_tab_pip
.
c: gbr_get_sample
:
do not try to re
s
tore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sve
n
Verdoolaege
i
sl_coales
c
e
.
c: contai
n
s: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
laege
isl_coalesce
.
c:
check_f
a
cets: im
p
rov
e
error h
a
nd
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven
Verdoolaeg
e
i
sl_transitive_closure
.
c: construct_component: impr
o
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdoolae
g
e
isl_t
r
ansitive_closure
.
c: isl
_
s
e
t_overlaps: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven Verdo
o
laege
isl_tran
s
itive_c
l
osur
e
.
c: construct
_
e
xtended_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
v
en Ver
d
o
olaege
isl_t
r
ans
i
t
i
ve_closure
.
c: add_delta_co
n
straints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
v
en V
e
rdoolaeg
e
isl_
t
ran
s
i
t
ive_c
l
osure
.
c: s
e
t
_path_length: avoid NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
ven V
e
rdoolae
g
e
isl
_
space_add_d
i
m
s:
avoid NU
L
L
p
ointe
r
dereference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
S
ven
V
erdo
o
la
e
g
e
isl_ma
p
_simplify
.
c
: remove_shifted_constra
i
nts: hand
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-01
Sven
V
erdoolaege
isl_basic_
m
ap_p
l
a
i
n_cmp: handle NUL
L
arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-21
Sven Verd
o
ola
e
ge
include/isl/union_map
.
h: add missing
inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next