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_ast_graft_list_extract_shared_enforced: allow empty list of grafts
2015-06-30
Sven Verdoola
e
g
e
is
l
_ast_graft_lis
t
_extract_shared_
e
nforced: allow empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
S
v
en
V
e
r
doolaege
isl_ast_bu
i
l
d
_exp
r
_
fro
m
_
s
et_internal: explo
i
t ea
r
lier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
i
s
l_ast
_
bui
l
d_expr_from_s
e
t_internal:
operate on list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaeg
e
a
d
d i
s
l_set_get_basic_
s
et_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
isl_int_sioimath
.
c
:
directly include s
t
dlib
.
h (for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Tobias
Grosser
Re
m
ove
m
all
o
c
.
h
i
nclude from si
o
im
a
th
f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sve
n
Verdo
o
laege
is
l
_ast_expr_fr
o
m_aff: avoid extracting modulos wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sv
e
n Verdo
o
laege
is
l
_ba
s
i
c_
m
ap_sim
p
lify: remove
i
nt
e
g
e
r coeffic
i
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven
Verdoolaeg
e
isl_basic
_
map_sh
i
ft_div: h
a
n
dle shift
of
coeffi
c
ients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven
V
erdool
a
ege
add
i
s
l
_schedule_node_ba
n
d_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Verdoolaeg
e
a
dd isl_schedule_
n
ode_band_shift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
V
erdoolaege
gen
e
ralize isl_multi_aff_a
d
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdoolaege
a
d
d
isl_multi
_
*_f
a
cto
r
_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Ve
r
doolaege
isl_space_fa
c
to
r
_range
:
accept set space in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
V
erd
o
olaege
is
l
_s
p
ace
.
c:
m
ove
isl_space_f
a
ct
o
r_range do
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
Verdoolaege
add -
s
td=gnu99 to com
p
il
e
flags
when compi
l
ing imath
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
V
erd
o
ola
e
ge
i
s
l
_test_
i
nt
.
c
:
av
o
i
d
fo
r
loop
initial
declarati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Ve
r
doolaege
ad
d
isl_
v
al_ge
t
_den
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaeg
e
replace snprintf by _snprintf when a
v
a
i
l
a
bl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaege
repl
a
ce str{,n}casecmp by
_str{,
n
}icmp when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdo
o
la
e
g
e
d
e
fine
f
fs in
t
e
r
ms of _Bi
t
Sc
a
nFo
r
ward if _
B
itSca
n
Forward
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
S
v
en Verdoolae
g
e
only include s
t
ri
n
gs
.
h when ne
e
ded f
o
r ffs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
S
v
en Verdo
o
l
a
ege
isl_coales
c
e
.
c: drop "
i
nline" hint fr
o
m
isl_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoola
e
ge
is
l
_c
o
al
e
sce
.
c rename
ma
x
to isl_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sve
n
Verd
o
olae
g
e
i
s
l_q
p
o
lynomial_fold_f
o
ld_on_domain:
r
e
turn infty o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
ven Verdoolaeg
e
isl_range
.
c:
propagate_o
n
_b
o
u
nd_pair:
e
x
t
ra
c
t out shar
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
erdo
o
laege
isl_range
.
c: bound2
p
oly: extract out s
i
gned_infty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ver
d
oolaege
isl_range
.
c: bo
u
nd2pol
y
:
rename "dim
"
varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
Michael
K
r
u
se
Implemen
t
s
mall
i
nteg
e
r optimization
f
or IMath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
M
i
chael Kruse
Use IMath functions dir
e
ctly instead
o
f
macro
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
Michael Krus
e
Make pass-
b
y-referenc
e
explicit b
y
usin
g
pointer
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sven V
e
rdoolaege
isl 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sve
n
Verdoolaege
isl_imath
_
fits_slong_p: pass co
r
rect a
r
g
u
m
ent
t
o mp_int_to_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Verdoolaeg
e
add isl_union_access_in
f
o_copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Verdoolaege
de
c
lar
e
isl_union_acce
s
s
_
i
nf
o
_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Andreas
K
loec
k
n
e
r
add isl_uni
o
n_flo
w
_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven
V
erdoolaege
hide
i
sl_map
_
add
_
basic
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven V
e
rdo
o
laege
hide isl_set_add_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Ve
r
doolaege
isl_scheduler
.
c
:
fix wh
i
tespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven
V
e
rdoo
l
aege
doc: doc
u
ment isl_qpol
y
n
o
m
i
al_
i
nvolves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
S
ven Verdoolaege
isl_schedule_
t
r
ee
.
c: involves_i
t
eration_
d
o
m
ain: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
S
ven Verdoolaege
isl_schedule_tree
.
c: domain_le
s
s: a
v
oid
i
cc warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sven V
e
rdoolaege
is
l
_
s
chedule_tre
e
_is_anchored
:
a
void
icc
w
arning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sven
V
erdoo
l
aege
i
s
l_
c
oa
l
e
s
ce
.
c:
i
nvert_
c
hange: a
v
oid icc warni
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sve
n
Verdoolaege
isl_ast_expr_is_equal: avoid icc warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sv
e
n Verdoola
e
ge
A
UTHORS: add Andreas S
i
mbuerger
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2015-06-02
Sven Verdoolae
g
e
isl_a
f
f_m
o
ve_di
m
s: add
missing returns on error p
a
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-29
Tobi
a
s Gr
o
sser
Fix
t
ypo in isl_test
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-28
Sve
n
V
erdoolaege
Me
r
ge branc
h
'm
a
int'
commit
|
commitdiff
|
tree
2015-05-28
S
v
en Verdoolaege
Rev
e
rt "scheduler: als
o
(optionally) bound
c
oe
f
fici
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-28
Sven V
e
rd
o
olaege
i
s
l_scheduler
.
c:
f
i
x typo
s
i
n
co
m
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-28
S
v
en Ver
d
ool
a
ege
replace --schedule-fuse option by --schedule
-
seriali
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Ver
d
oo
l
aege
add
doc/CodingStyle to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erdoolaege
update doc/C
o
d
i
ngSt
y
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sve
n
Ver
d
oolaege
rename
isl_{,i
n
}equality_a
l
loc to isl_c
o
nstraint_
a
ll
o
c_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoo
l
aege
r
en
a
me
isl_
s
chedule_*_
m
a
p
_*
to isl_sched
u
le_
*
_map
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
rename
isl_schedule_*_foreach_*
to isl_schedul
e
_
*_foreach_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
isl_scheduler
.
c:
compute_
c
omponent_schedule: d
r
op
redun
d
an
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
S
ven
V
e
rd
o
olaege
i
s
l
_
scheduler
.
c: com
p
ut
e
_split
_
sch
e
dule: drop redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erdoolaege
isl_sc
h
edule
_
co
n
s
t
rai
n
ts_co
m
pute
_
schedule: h
a
ndle confli
c
tin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sv
e
n Verdoolaeg
e
isl_map_
s
implify
.
c: elimi
n
ate_
d
iv:
i
mprove err
o
r
hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Tobias Gr
o
sser
Updat
e
imath to 23b2
b
1f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven Ver
d
oolae
g
e
int
r
oduc
e
isl
_
b
o
ol and isl_stat return types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven Verdoolaege
isl/ha
s
h
.
h
: inclu
d
e i
s
l/ctx
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven
V
erdoolaege
r
e
mo
v
e include of
i
sl/hash
.
h from is
l
/ctx
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven
V
erdoo
l
ae
g
e
directl
y
include i
s
l/std
i
n
t
.
h in h
e
aders that use ui
n
t
3
2_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Michael Kruse
i
sl_unio
n
_*_mu
l
_isl_int:
a
dd missing &-oper
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Ve
r
doolaege
hide intern
a
l i
s
l_ma
p
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Ve
r
doolaege
h
i
de
i
nt
e
rnal isl_set func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven V
e
r
d
oo
l
aege
hide internal isl_basic
_
ma
p
functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
v
e
n
V
erdoolaeg
e
h
ide in
t
e
r
n
al is
l
_basic_set functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
v
e
n
Verdo
o
laeg
e
remove undocument
e
d
isl_basic_set_from_
b
asic_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Ver
d
oo
l
aege
isl_ba
s
i
c_m
a
p
_
de
l
tas: avo
i
d use
of
undocu
m
ented isl_ba
s
ic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
is
l
_basic_ma
p
_d
e
ltas: rename
"dim" variable
s
t
o "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaeg
e
isl
_
b
asic_map_
d
omain:
avoid use o
f
undocumente
d
isl_
b
asic_s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
isl_basic_map
_
domain: rename "
d
im
"
variable to
"
sp
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolae
g
e
i
s
l
_ba
s
i
c_map_reverse:
inline isl_bas
i
c_set_swap_
v
ars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdo
o
laege
isl_b
a
sic_
m
ap_reverse:
r
ename "dim" variable to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sv
e
n Verdoo
l
a
ege
isl_vertices
.
c:
us
e
isl_
t
ab
_
peek_bset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
ven V
e
rdoolaege
drop unused and undocume
n
te
d
isl_{set,map}_exte
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sv
e
n Verdoolaege
drop unused and undocu
m
ented isl
_
se
t
_from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Gr
o
sse
r
Exp
l
oit zeros
i
n
i
sl_mat_p
r
o
d
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-15
Sven Verdoolaege
isl_space
_
exte
n
d: detect overflow in t
o
t
al number of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-15
S
ven Verdoolaege
isl_space_exten
d
:
rename "dim
"
v
a
riable to "sp
a
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolae
g
e
drop *_like func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoolaege
isl_affine_hull
.
c: u
s
e
t
_
a
ffine
_
hull: avoid use
o
f isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
ool
a
e
ge
isl_flow
.
c: compute_val_ba
s
ed_dependences:
a
vo
i
d use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdoolaege
isl_ilp
.
c:
u
nit
_
box_base_poi
n
ts:
avoid us
e
of isl_bas
i
c_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ve
r
doolaege
isl_map_
s
ubtract
.
c: map_
s
u
b
tract: avoid u
s
e of
isl_m
a
p_empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoolaege
i
s
l_map_subtract
.
c
:
basi
c
_
m
ap_su
b
tract: avoid isl_map
_
empty_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdoolaege
isl_input
.
c: basic
_
m
ap_read: avo
i
d use of is
l
_basi
c
_ma
p
_empt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_convex_
h
ull
.
c: avoid use o
f
isl_basi
c
_
m
ap
_
e
m
pty_like_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdo
o
laege
isl_map_affi
n
e_hull:
a
void use o
f
isl_bas
i
c_map_
e
m
p
t
y
_l
i
ke_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdool
a
ege
is
l
_map_sample: avo
i
d
u
se
of isl_basic_map_emp
t
y_like_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n Verdoo
l
aege
isl_ba
s
ic_ma
p
_sa
m
ple: e
x
p
lic
i
tly mark
i
nput as empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
doc: document i
s
l
_
map
_
plai
n
_is
_
universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
r
d
oolaege
doc: d
o
c
ument
isl_
b
a
s
i
c_set_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolae
g
e
isl
_
map_subt
r
act
.
c: m
a
p_is_singleton_subset: fix typo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en
Verdo
o
l
a
ege
is
l
_map_subtra
c
t
.
c: map
_
is_sing
l
eton_subset: p
r
int
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next