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_build_expr_from_set_internal: exploit earlier disjuncts
2015-06-29
S
v
en Verdoo
l
aege
isl_as
t
_build_expr_fr
o
m
_
s
e
t_internal: expl
o
it earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
isl_
a
st_b
u
ild_expr
_
f
r
om
_
set_in
t
e
r
nal: operate on list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven
V
er
d
ool
a
e
g
e
add isl_set
_
get_
b
asic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoo
l
aege
isl_int_sioimath
.
c: directly include stdlib
.
h (for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
T
o
bias Grosser
Rem
o
ve malloc
.
h include
from
s
ioimath
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven
Verdoolaege
isl
_
ast_ex
p
r_from_aff: avo
i
d extracti
n
g m
o
dulos with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven
Verdoolaege
is
l
_basic_
m
ap_simplify: remove integ
e
r coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
ven V
e
rdo
o
laege
i
s
l_ba
s
ic_map_shift_div: handl
e
s
h
if
t
of coeffi
c
ients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
v
e
n
Verdo
o
laege
a
d
d isl_schedule_node_ban
d
_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Verdoolaege
a
dd
i
sl_
s
chedu
l
e
_node_band_shift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
V
erdoolaege
generalize isl_multi_aff_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdool
a
ege
add
i
sl_multi_*_fa
c
tor_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
V
erd
o
olaege
isl_space_factor_range: acc
e
pt set space input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven V
e
rdool
a
e
g
e
isl_space
.
c:
m
ove
i
s
l_spac
e
_factor_r
a
n
g
e down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven V
e
rdoolaeg
e
add
-
s
t
d
=gnu99 to compi
l
e flags when compiling imath
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdoolaege
isl_t
e
st_int
.
c: avoid f
o
r loop initial declarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n Verdoolaege
add is
l
_val_ge
t
_den_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven V
e
rdo
o
laeg
e
re
p
l
a
c
e
snprint
f
b
y
_s
n
pr
i
ntf when avail
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Ver
d
oolae
g
e
replace s
t
r{,n}casecmp by _str{,n}icmp when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sve
n
V
erdoolaege
d
efine ffs in terms of _B
i
tScanForw
a
rd if _BitScanForw
a
rd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven
Ve
r
doo
l
a
e
ge
only inc
l
ude strings
.
h when
n
eeded for ffs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaege
i
s
l_coalesce
.
c: drop "inline" hin
t
from isl_m
a
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
S
v
en Verdoolaege
isl_coalesce
.
c rename max to isl
_
m
a
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
isl_qpolynom
i
al_fo
l
d_fold_on
_
domai
n
: retu
r
n infty o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sve
n
Verdoolaege
isl_range
.
c
:
propagate_on_
b
o
und_pair: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
v
en Ve
r
doolaege
isl_ran
g
e
.
c: bo
u
n
d
2poly: ex
t
ract o
u
t signed_
i
nft
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verd
o
olaege
isl_r
a
nge
.
c: bound2poly:
rena
m
e "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
Mich
a
e
l
Kruse
Imple
m
ent small i
n
t
e
g
er
optimization fo
r
IM
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
Michael Kruse
Use
I
Mat
h
fun
c
tions direct
l
y inst
e
ad of
m
acros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-15
Mi
c
hael Kr
u
s
e
Make pas
s
-by-refe
r
e
n
ce
e
xplicit by using pointe
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sven Verdoo
l
aege
isl 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sven Ver
d
oolaege
is
l
_imath_fits_slong_p:
p
ass
co
r
rect argument to mp_int_to_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Ve
r
doolaege
add
i
sl_union_acc
e
ss_info_copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
S
ven Verdoolaege
decla
r
e
i
s
l_union_access_info
_
get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Andreas Kloeckner
ad
d
i
sl_u
n
ion_flow_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Ve
r
dool
a
e
ge
hide
isl
_
map_add_
b
asic_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven
Ve
r
doolaege
hide i
s
l_set_add_basi
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
S
ven Verdoolaeg
e
isl_scheduler
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven
Verd
o
olaege
doc: document isl_qpolyn
o
mi
a
l_inv
o
lves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
S
v
en Ver
d
oolaege
i
s
l_schedule_tree
.
c: inv
o
lves_ite
r
atio
n
_domain: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sven
V
erdoolaege
isl_schedule_tree
.
c: domain_les
s
:
avoid icc w
a
rning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sv
e
n
Verdoolaege
i
sl
_
schedule_tree_is_
a
nchored: avoid icc warni
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sven Verd
o
olaege
isl_coalesce
.
c: in
v
ert_change:
a
void icc warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sve
n
V
erdool
a
e
g
e
i
s
l_ast_expr_is_equal:
a
void ic
c
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
Sven Ver
d
oolaeg
e
AU
T
HORS: add Andreas Simbuerger
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-04
S
v
en V
e
r
doolaeg
e
Merge
b
ranch 'm
a
int'
commit
|
commitdiff
|
tree
2015-06-02
Sven Verdoolaege
isl_
a
ff_move_dim
s
: a
d
d
mis
s
ing returns
on erro
r
p
at
h
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-29
Tob
i
as Gros
s
er
F
ix typo in i
s
l_tes
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-28
Sven Verdo
o
laege
Merge b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2015-05-28
S
ven Ver
d
o
olaege
Revert "s
c
heduler: also (opt
i
o
n
ally)
b
ound
coeff
i
ci
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-28
Sv
e
n Ve
r
doola
e
ge
i
s
l_scheduler
.
c: f
i
x
t
ypos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-28
S
v
e
n
Verdoolaege
replace --sched
u
le-fuse op
t
ion by --schedule-serialize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
S
v
en
Verdool
a
ege
add doc/Codin
g
Style
t
o distri
b
u
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
upda
t
e d
o
c/C
o
dingSt
y
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdool
a
ege
rename isl_
{
,in}equali
t
y_all
o
c to isl_constraint_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoo
l
a
ege
ren
a
me
isl_schedule_
*
_map_
*
to isl_schedule_*_map_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
rename isl_s
c
hedule
_
*_forea
c
h_* to isl
_
s
c
he
d
u
le
_
*_for
e
ach
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
S
ven Verd
o
ol
a
ege
isl_scheduler
.
c: compute_component_schedule: drop redund
a
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sv
e
n Verdoolaege
isl_sc
h
edu
l
er
.
c: c
o
mpute_split_sched
u
l
e
: d
r
o
p redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
isl_schedule_
c
o
n
s
tr
a
ints_comput
e
_s
c
hedule: ha
n
dle confli
c
ti
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sve
n
Verdoolaege
isl_map_simplify
.
c: eliminate_
d
iv:
i
mprove err
o
r hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
To
b
ias Grosser
Update imath
t
o 23b2
b
1
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven
Verdoolaege
introd
u
ce is
l
_b
o
ol an
d
isl_stat
r
eturn typ
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven V
e
rdo
o
laege
isl/hash
.
h: i
n
clu
d
e isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
Sven Verdoola
e
ge
re
m
ove inc
l
ude
o
f isl/hash
.
h
fr
o
m
i
sl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
S
ven Verdoolae
g
e
directly
i
nclud
e
isl/st
d
i
n
t
.
h in headers that use ui
n
t32_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-22
M
i
chael Krus
e
isl_union_*_mu
l
_
i
sl_
i
nt
:
add m
i
ss
i
ng
&-operator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven
V
erdo
o
l
a
e
ge
hid
e
intern
a
l
isl_map
f
unctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
hide int
e
rnal i
s
l_s
e
t funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven
V
er
d
ool
a
ege
hi
d
e intern
a
l
i
sl_bas
i
c_m
a
p functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven
V
erd
o
olaege
hide
internal is
l
_bas
i
c
_
set fu
n
cti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
remove undocumente
d
isl_basic_set_
f
ro
m
_bas
i
c
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolae
g
e
isl_basic_
m
ap_de
l
tas:
a
void use of undoc
u
mented isl_basic_s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolae
g
e
isl_bas
i
c
_map_deltas
:
renam
e
"di
m
" variables to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven V
e
rdoolaege
is
l
_b
a
s
i
c
_
m
a
p
_
domain: avoid
u
se
o
f undo
c
umented isl_
b
as
i
c_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven
Verdoolaege
isl_basi
c
_map_domain
:
re
n
ame "dim"
varia
b
le to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
S
ven Verdoolaege
i
s
l
_
basi
c
_
m
ap_
r
e
verse: inline isl_basic_s
e
t_swap
_
v
ars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sv
e
n Verdool
a
e
g
e
isl_ba
s
ic_map_revers
e
: rename "
d
im" variab
l
e to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sve
n
Verdoo
l
aege
isl_vertices
.
c: use isl_
t
ab_peek_bset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
drop unused and undocument
e
d isl_{set,ma
p
}_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Sven Verdoolaege
dro
p
u
n
used and undocumented isl_set
_
from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-18
Tobias Grosser
Exploit zeros
in
i
sl_
m
a
t
_pro
d
u
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-15
Sve
n
Verdoolaege
isl_sp
a
ce_ext
e
nd: de
t
ect overflow in total number
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-15
Sven Verdoola
e
ge
i
sl
_
space_extend: ren
a
me
"
d
i
m" variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolae
g
e
drop *_
l
i
ke funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
e
n
Verd
o
ola
e
ge
isl_affi
n
e_hull
.
c: u
s
et_affine_hul
l
: avoid use of
isl
_
basic
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdool
a
ege
is
l
_flow
.
c: com
p
ute_val_base
d
_d
e
pe
n
dences: avoid us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdool
a
ege
isl_i
l
p
.
c: unit_bo
x
_ba
s
e_points: a
v
oid use of
i
s
l_ba
s
ic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
e
rdoolaege
isl_map_subtract
.
c: map_s
u
btract: avoid
u
se of is
l
_ma
p
_em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ve
r
d
oolaege
is
l
_map_s
u
btract
.
c: basic_map
_
sub
t
r
a
ct: avoid isl_map_empty_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdool
a
ege
isl_in
p
ut
.
c: ba
s
ic_map_read:
av
o
id use of isl_basic
_
m
ap_empt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
ven Verdool
a
ege
isl_convex_hull
.
c:
a
v
o
id use of isl_
b
asic_m
a
p_empty_like_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
olaege
i
s
l
_
map_affine_hull: avoid use of isl_basi
c
_
map_empty_like_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
r
d
oolaege
isl_map_sample: avo
i
d use of is
l
_basic
_
m
a
p_empty
_
like_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
isl_ba
s
ic_map_sample: explicitly mark input as empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
rdoolaege
doc: docume
n
t i
s
l_ma
p
_plain_is_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
oolaege
doc: document is
l
_ba
s
ic_set_is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
erdoolaege
is
l
_map
_
subtract
.
c: map_is
_
singleton_su
b
set: fix t
y
po
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ve
r
do
o
l
ae
g
e
isl_map
_
sub
t
ract
.
c: ma
p
_is_singleton_su
b
set: print
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven V
e
rdoolaege
isl_ast
_
build_nod
e
_from_sch
e
dule: i
m
prove
h
a
ndling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next