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 isl_union_pw_*_set_dim_name
2015-01-23
Sven V
e
rdoolaege
a
dd
i
s
l
_union_pw_*
_
set_dim
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
ola
e
ge
add isl_union_pw_*
_
drop_d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
e
rdoo
l
aege
add isl_union_
p
w_*_
n
_pw_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
a
dd isl
_
u
nion_pw_*_reset_
u
ser
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en V
e
r
d
oolae
g
e
ad
d
is
l
_pw_*_reset_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaege
add
i
sl_pw_multi_aff_ra
n
ge_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_pw_aff_pos
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdo
o
laege
isl_pw_aff_non
n
eg_set:
m
erge
i
m
plementati
o
n wit
h
pw_aff_zero_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
generalize isl_union_pw_qpol
y
nomial_
n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Tob
i
as Grosse
r
Fix some typos
i
n commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verd
o
olaege
add isl
_
multi_*_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Ve
r
do
o
laege
add isl_multi_
*
_mod_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
V
e
rdoolaege
add isl_multi
_
va
l
_
r
ead_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
isl
_
inp
u
t
.
c: read_tuple
:
sepa
r
a
te tuple parsing from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
generali
z
e isl_multi_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven
van Haas
t
regt
doc:
c
larify list c
a
pacity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
isl_map
_
c
oales
c
e: harmonize
integ
e
r d
i
visi
o
ns that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven V
e
rdo
o
laeg
e
add isl_tab_s
h
i
f
t_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Ve
r
doolae
g
e
add isl
_
basic_map_shif
t
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n
V
erdoolaege
isl_map_coalesc
e
: c
o
alesce within affine hull
first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
V
erdool
a
eg
e
priva
t
ely export isl_
b
a
sic_
m
ap
_
get_
h
ash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
s
l_map_coalesce: try and coalesce basi
c
maps with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl
_
coalesce
.
c: is_adj_eq_e
x
ten
s
i
o
n: all
o
w basic
m
a
ps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_coalesce
.
c: fuse: allow basic ma
p
s to
have dif
f
e
r
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_map_co
a
lesce:
r
emove hidden fac
t
ors fr
o
m
c
o
nst
r
aint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n V
e
rdo
o
laege
add isl_basic_map_re
d
uce_coeffici
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
aege
isl
_
ma
p
_coalesce: handl
e
divs that
h
ave been simp
l
ified
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
o
l
aege
p
ri
v
a
t
ely export isl_aff_s
u
bstitute_eq
u
a
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoolaege
a
dd isl_local_sp
a
ce_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoolaege
add
i
s
l
_tab
_
insert_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
o
olaege
is
l
_
map_
c
oalesce: chec
k
for
subs
e
t
s
with smaller nu
m
ber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add isl_basic_map_plain_affine_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Ve
r
d
o
ola
e
g
e
isl_coalesce
.
c:
can_wrap_in_facet: only w
r
a
p
facet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Ve
r
doolaege
isl_coalesce
.
c:
c
a
n_wrap_
i
n_facet: extract out add_
w
raps_aro
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_c
o
ales
c
e
.
c:
check_adj_eq: a
l
low
c
ut co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oo
l
aege
isl_coalesce
.
c:
c
heck_adj
_
eq: drop redundan
t
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl_co
a
lesce
.
c: w
r
ap_in_facets: c
h
eck fo
r
number
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ver
d
oolaege
isl_coale
s
ce
.
c: wrap_in_facets: only
w
rap around othe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verd
o
olaege
isl_map_coalesce:
only
w
rap constra
i
nts t
h
a
t
are not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sve
n
Verdoolae
g
e
isl_coales
c
e
.
c: add_wraps: extract out common add_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl_coal
e
s
ce
.
c:
f
u
se: copy valid half of equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoolaege
isl_co
a
lesc
e
.
c: f
u
s
e
:
extract out add_valid_constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Ve
r
doolaeg
e
ad
d
extra isl_set_coalesce test cas
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoola
e
ge
is
l
_t
e
st: generalize coal
e
sce te
s
ts with unbounde
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
isl_coalesce
.
c:
c
ontain
s
: always re
t
u
rn equal
i
ties
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n
V
erdoolaege
isl_coalesce_info
:
add equ
a
lity and inequalit
y
t
y
pe
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
oo
l
aege
i
sl_c
o
ales
c
e
.
c
: con
t
ains: pass isl_coale
s
ce_info in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
doo
l
aege
isl_
c
oalesce
.
c: wraps_u
p
date_max
:
pas
s
i
s
l_coa
l
esce_info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coalesce
.
c
: add
_
wraps: p
a
ss isl_coalesce_info instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdool
a
e
ge
isl
_
map_coales
c
e:
k
eep track of information on basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolae
g
e
isl_
c
oalesce
.
c
:
ex
t
rac
t
out updat
e
_b
a
sic_map
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
olae
g
e
i
sl_coalesce
.
c: co
a
lesced_
s
ubset: separate check from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
v
en Verdoolaege
is
l
_c
o
alesce
.
c:
c
oalesce: keep
t
r
ac
k
of how a pair
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Verd
o
olaeg
e
isl_coalesce
.
c: is_adj_eq_exten
s
ion: al
w
ays
pu
t
ext
e
nsi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdo
o
laeg
e
isl_coalesce
.
c
:
fuse: always
put
fused basic map in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ver
d
o
o
laege
i
s
l_
c
o
alesce
.
c: wrap_i
n
_facets: simp
l
ify computat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Ver
d
ool
a
ege
isl_coa
l
esce
.
c: check_eq_adj_eq: allow
m
ultipl
e
e
q
u
a
lities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
rdoolae
g
e
isl_
t
est
.
c: fix
w
hitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Ver
d
oolaege
add is
l
_basic_map_de
t
ect_ine
q
ua
l
ity_pairs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Ver
d
oolaege
Merge bra
n
ch 'main
t
'
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoo
l
a
e
ge
isl_convex_hull
.
c: c
o
mpute
_
facet: avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
isl_coal
e
sce
.
c: coalesce_sub
s
et: properly indicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdo
o
l
a
ege
isl_co
a
les
c
e
.
c: set
_
fr
o
m_upd
a
ted_bmap
:
updat
e
underlying set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ve
n
V
e
rdoolaege
is
l
_coales
c
e
.
c:
ch
e
ck_facets: update just
i
fic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
aege
isl_coal
e
sce
.
c: c
h
eck
_
facets: mark tableau
rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oo
l
aege
add i
s
l
_
t
a
b_mark_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c: fix typos i
n
c
o
mment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c:
c
an_wr
a
p_in_facet:
update comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coal
e
sce
.
c: check_wrap: upda
t
e
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
s
l_tab_relax: return int inste
a
d of
isl_tab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ve
n
Verdoolaege
isl_tab_relax: avoid
NULL
pointer der
e
fere
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
g
e
isl
_
t
a
b_a
d
d
_
eq:
p
ropagate errors of d
r
op_ro
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
a
e
ge
isl_tab
.
c
:
p
erfor
m
_u
n
d
o_v
a
r: propagate errors of drop_row
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoolaege
isl_tab_min_at_most_n
e
g_one: be cons
i
s
tent about retur
n
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Ver
d
oolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoolaeg
e
is
l
_ast_bui
l
d_as
t
_
f
r
om_sch
e
dule
:
r
em
o
ve redundant constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven
Ver
d
oolaege
ad
d
isl
_
union_{s
e
t,map}_remo
v
e_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoolaege
isl
_
as
t
_
b
u
ild
_
expr
.
c: isl_ast_ex
p
r
_add_term
:
allow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n Verd
o
o
l
a
e
ge
isl_ast_codegen
.
c: add_i
m
plied_gua
r
ds: combine degener
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl
_
a
s
t
_build_e
x
pr
.
c: i
s
l_ast_exp
r
_add_term: st
o
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oolaege
isl_ast_b
u
ild_exp
r
.
c: try
_
e
x
tract_mod: dec
l
are variab
l
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Ver
d
ool
a
ege
AST generator: select u
n
r
ol
l
l
ower bound i
n
trod
u
cing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Verdoolaege
is
l
_a
s
t_
c
odegen
.
c: move up at_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
Verdool
a
ege
isl_ast
_
codege
n
.
c:
ext
r
act out is_
b
etter_l
o
w
er
_
bou
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Ve
r
doolaege
isl_printer_flus
h
:
actual
l
y clea
r
b
uff
e
r when called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolae
g
e
i
s
l_
m
ap_gi
s
t: tr
y
and exp
l
oit im
p
l
ic
i
t const
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoo
l
aege
isl_test
.
c: te
s
t
_gist:
c
onsider test inpu
t
s as sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add
i
sl_
m
ap_unshifted_simp
l
e_hull_from_ma
p
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
a
d
d
isl_union_s
e
t_li
s
t_
u
nion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven
V
erdool
a
eg
e
a
d
d
i
sl_
b
asic_map_list
_
i
n
tersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
isl_map
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoola
e
g
e
a
dd
i
sl_union_pw_multi
_
aff_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
ad
d
isl_unio
n
_s
e
t
_
lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
v
e
n
Ve
r
doola
e
ge
add isl_
u
nio
n
_
m
a
p_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
v
en Ver
d
oolae
g
e
add isl_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
ven Verdoolaege
add i
s
l_basic_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven V
e
rdool
a
e
ge
add isl_union_set
_
identity_union_pw_multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
e
r
d
oolaege
ad
d
isl_union_set_
p
roj
e
ct_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
eg
e
ad
d
isl_un
i
on_m
a
p_f
l
at_domain_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add
i
sl
_
u
nion
_
{set,map}_is_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next