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_set_substitute: implement in terms of isl_set_preimage_multi_aff
2021-05-25
Sven V
e
rd
o
olaege
isl_set_substitute:
imple
m
ent in terms of
i
sl
_
set_
p
rei
m
a
g
e_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaege
i
sl_basi
c
_s
e
t_mu
l
tipl
i
cati
v
e
_
c
all: detect redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2020-12-31
Sv
e
n Verdo
o
laege
priva
t
ely expo
r
t isl_qpolyn
o
mial_list
_
peek
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
extract out shared
i
sl_qpol
y
n
o
mial_
f
o
l
d_check_
e
qua
l
_
space
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoola
e
ge
extract out shared isl_
q
polynomial_f
o
l
d
_
check_
e
qual_type
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoo
l
aege
extra
c
t out shared isl_morph_check_appli
e
s
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoola
e
g
e
isl_qp
o
lynomial_fol
d
_morph
_
domain: use
i
sl_morph_
g
e
t
_
r
a
n_space
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaeg
e
isl_qpolynomial_morp
h
_do
m
a
i
n: u
s
e
isl_
q
p
olynomial_ge
t
_ctx
commit
|
commitdiff
|
tree
2020-12-30
Sven
V
e
r
d
oo
l
aege
isl_fold
.
c
: qpoly
n
omi
a
l_fold_allo
c
: use isl_
s
p
a
ce_get_ctx
commit
|
commitdiff
|
tree
2020-12-30
S
v
en Verdoolaege
isl_bound
.
c:
comp
r
essed
_
g
u
arded_poly_bound: use is
l
_basic_se
.
.
.
commit
|
commitdiff
|
tree
2020-12-24
Sven Ve
r
doolaeg
e
isl_se
q
_el
i
m
: clarify documentatio
n
commit
|
commitdiff
|
tree
2020-09-19
Sven Verdoolae
g
e
isl
_
morph_se
t
: use
i
sl_set_preimage_multi_
a
ff
commit
|
commitdiff
|
tree
2020-09-19
Sven Verdoolaege
isl_morph_basic_s
e
t: use isl_basic_
s
et_preimage_multi_aff
commit
|
commitdiff
|
tree
2020-09-15
Sven Verdoolaege
isl_tab_p
i
p
.
c
:
align_context_divs:
o
nly add loc
a
l variables
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Sven Verd
o
olaege
drop i
s
l
_sp
a
ce_g
e
t_full_dom
a
in_hash
commit
|
commitdiff
|
tree
2020-09-01
Sven V
e
r
dool
a
ege
te
s
t
isl_space_g
e
t_tuple_
d
omain_hash instead of isl_
s
pace_
g
e
.
.
.
commit
|
commitdiff
|
tree
2020-08-30
S
ven Verdoola
e
ge
isl_
u
nion
_
*:
u
s
e
tuple hash in hash table
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
add
isl_space_get_
t
uple_dom
a
i
n
_h
a
sh
commit
|
commitdiff
|
tree
2020-08-25
S
v
en
Verdoolaege
isl_union_map: ignore p
a
rameters
w
hen looking up entries
commit
|
commitdiff
|
tree
2020-08-25
S
v
en V
e
rdo
o
laege
ad
d
isl_map_ha
s
_space_tuples
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
isl_union_map: use tuple h
a
sh in hash tab
l
e
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
ren
a
m
e
isl_space
_
get
_
{domain_,}hash to
i
sl_spa
c
e_get_f
u
l
l
_
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Sven
Ve
r
doolaege
isl_space_get_hash: documen
t
relation with isl_space_ge
t
_
dom
.
.
.
commit
|
commitdiff
|
tree
2020-08-23
S
v
en Verdoolaege
i
sl_union_
m
ap
.
c: has_space: u
s
e isl_map_has_space
commit
|
commitdiff
|
tree
2020-08-23
Sven Ver
d
oola
e
g
e
add isl_map_has_space
commit
|
commitdiff
|
tree
2020-08-16
Sv
e
n
Verd
o
o
l
ae
g
e
isl_union_map
.
c: is_dis
j
oint_entr
y
:
u
s
e isl_map_pe
e
k
_
space
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
isl_union_map
.
c: is_subset_entry: use isl_m
a
p_
p
eek
_
spac
e
commit
|
commitdiff
|
tree
2020-08-16
S
v
en Verdoolaege
isl_u
n
i
on
_
m
a
p
.
c: match_bin_ent
r
y
: use isl_map_peek_space
commit
|
commitdiff
|
tree
2020-08-16
S
ven Verdoolaege
isl_union_map_add_
m
ap: use
i
sl_map_peek_space
commit
|
commitdiff
|
tree
2020-08-16
S
ven Verdo
o
l
a
ege
isl_union_*_eval: us
e
i
s
l_
u
nion_*_get_ct
x
commit
|
commitdiff
|
tree
2020-08-09
Sven Ve
r
do
o
laege
isl_map_
r
ange:
imp
l
e
m
e
n
t
in t
e
rms of
isl_m
a
p_proj
e
ct_out
commit
|
commitdiff
|
tree
2020-08-09
Sv
e
n V
e
rdoola
e
g
e
isl_map_domai
n
: implement
i
n terms of isl_map_proj
e
ct
_
o
u
t
commit
|
commitdiff
|
tree
2020-08-08
Sven Verdoolaege
i
s
_adj
_
in
e
q_extensi
o
n
: us
e
isl_bas
i
c_map_n_{in
,
}
e
quality
commit
|
commitdiff
|
tree
2020-07-27
S
ven Verdoolaege
isl_ba
s
ic_ma
p
_d
r
op_redundant_divs
_
ineq: extract
out
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Ve
r
dool
a
ege
e
xtract out shared isl_ba
s
ic
_
ma
p
_applies_
r
ange
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdo
o
laege
i
sl_basic_map_
a
p
p
ly_r
a
nge: e
x
tract out isl_basic_map_check
_
a
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
extract out
s
hared i
s
l_map_
s
pace_tuple_is_equ
a
l
commit
|
commitdiff
|
tree
2020-05-04
S
v
e
n Ve
r
doola
e
ge
extra
c
t ou
t
s
hared isl_map_tuple_is_equal
commit
|
commitdiff
|
tree
2020-05-04
Sve
n
Verdoolaege
isl_ma
p
_
d
e
l
tas: use isl_map_check_transformation
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
extrac
t
out shared isl_
b
asic_map_check_transformati
o
n
commit
|
commitdiff
|
tree
2020-05-04
Sve
n
Verdool
a
eg
e
extract
o
u
t
shar
e
d
i
s
l
_basic_map_is_transformation
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaege
drop unused isl_
b
asic_set_
i
s
_div_
c
onstr
a
int
commit
|
commitdiff
|
tree
2020-03-23
Sven
V
erdo
o
l
a
ege
i
s
l_map_simplify
.
c:
uset
_
gist_compr
e
ssed:
d
o
not
mark
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Sven Verdoola
e
ge
add
i
sl
_
p
w_qpoly
n
omial
_
max test case
commit
|
commitdiff
|
tree
2019-12-18
Sven Verdoolaege
a
d
d expor
t
e
d
i
s
l
_multi_aff_get_constant_
m
ulti_va
l
commit
|
commitdiff
|
tree
2019-12-10
Sven Verdoolaege
isl_aff
_
add: normali
z
e result
commit
|
commitdiff
|
tree
2019-12-03
S
v
e
n
V
e
rdool
a
ege
isl_map
.
c: extrac
t
out shared i
s
l_basic_map_c
h
eck_compat
i
ble
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
S
v
e
n
V
er
d
oola
e
ge
isl_pw_*_on_s
h
ared_do
m
ain: check
that in
p
ut
s
live in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven V
e
rdoolaege
isl_basic_map_plain_u
n
shifted
_
simple_hull:
c
heck
i
nputs
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verd
o
olaege
isl_m
a
p
_
pla
i
n_is_equal: use isl_m
a
p_has_
e
qual_spa
c
e
commit
|
commitdiff
|
tree
2019-11-30
Sven Ver
d
oolaege
isl_basic_m
a
p_contains_point: extract o
u
t isl_basic_ma
p
_poin
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven V
e
rdoolaege
extract ou
t
shared isl_
m
a
p_c
h
e
c
k_equal_space
commit
|
commitdiff
|
tree
2019-11-30
Sven V
e
rdoolaege
isl_morph
.
c:
i
sl_morph_set:
extract out
i
sl_set
_
b
asic_se
t
_ch
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
Verdoolaege
extract out shared isl_map_basic_ma
p
_che
c
k
_equal_space
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolaege
e
xtract ou
t
s
h
a
red isl_basic_m
a
p_chec
k
_equal_space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoo
l
aege
isl_s
e
t
_has_equal_spa
c
e:
i
mplement in terms of isl_map_has_e
.
.
.
commit
|
commitdiff
|
tree
2019-11-28
Sven Verd
o
olaege
isl_basic_{set
,
map}_extend_space: drop
space argument
commit
|
commitdiff
|
tree
2019-11-28
S
v
en V
e
rdo
o
laege
drop isl_basic_map_extend
commit
|
commitdiff
|
tree
2019-11-24
Sven Verdoolaege
isl_pw
_
templ
.
c: extract
o
u
t isl_pw_lift_templ
.
c
commit
|
commitdiff
|
tree
2019-11-24
Sven Verdoolaege
isl_pw_
t
e
mpl
.
c: ex
t
ract out i
s
l_pw_mor
p
h_templ
.
c
commit
|
commitdiff
|
tree
2019-11-15
S
ve
n
Verdoola
e
ge
drop isl_basic_set_add_co
n
straints
commit
|
commitdiff
|
tree
2019-09-21
Sven Verdoolaege
add basic isl_union_map_int
e
rsect test
commit
|
commitdiff
|
tree
2019-09-12
S
v
en Verdoolaege
exp
o
rt isl_multi_val_read
_
f
r
o
m
_
str
commit
|
commitdiff
|
tree
2019-09-07
Sven
Verdoolaege
isl_basi
c
_
set_rec
e
ssion_c
o
ne: handle empty input explicitly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-09-07
Sven
V
e
rdoolae
g
e
add some basic isl_b
a
sic_set_recession_c
o
n
e
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-08-25
Sven Ve
r
d
o
olaege
isl_mat_private
.
h:
p
rot
e
ct a
g
ainst m
u
ltiple
i
nclusions
commit
|
commitdiff
|
tree
2019-08-14
Sven
Verdoolaege
add isl_space_wrapped_d
i
m
commit
|
commitdiff
|
tree
2019-08-07
Sven
V
erdoolaege
i
s
l_map_deltas_m
a
p:
use isl
_
s
p
ace_range
_
m
ap
commit
|
commitdiff
|
tree
2019-08-07
Sven
V
e
rdoo
l
a
ege
e
x
tract out shared
isl_map_{take,re
s
t
o
r
e}_sp
a
ce
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
i
s
l
_
map
_
set_dim_i
d
: use is
l
_map_get_sp
a
ce
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
i
s
l_map_reset_tuple_id:
u
s
e isl_map_get_space
commit
|
commitdiff
|
tree
2019-08-07
Sv
e
n Ve
r
doola
e
ge
i
s
l
_
m
a
p
_set_tuple_id: u
s
e is
l
_map_get_space
commit
|
commitdiff
|
tree
2019-08-07
S
ven V
e
rdo
o
laege
is
l
_ma
p
_
r
a
nge_map: use isl_space_rang
e
_
map
commit
|
commitdiff
|
tree
2019-08-07
S
v
e
n
Verdoo
l
a
e
ge
isl_map_
r
ange_map: preser
v
e
d
isjointness
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdo
o
laege
i
s
l_map_domain_map:
p
reserve disjointness
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoola
e
ge
isl_map
.
c:
e
x
tract
out shared isl_basic_map_{
t
a
ke,restor
e
.
.
.
commit
|
commitdiff
|
tree
2019-08-07
S
ve
n
Verdoolaege
isl_basi
c
_map_ove
r
ly
i
ng_set: use is
l
_bas
i
c_ma
p
_get_space
commit
|
commitdiff
|
tree
2019-06-22
Sven
V
e
r
doolaege
ad
d
exported is
l
_pw_mult
i
_aff_range_facto
r
_{domain
.
.
.
commit
|
commitdiff
|
tree
2019-06-22
Sven
Ve
r
do
o
laege
add isl_p
w
_*_{t
a
ke,restore}_ba
s
e_at
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoolaege
add
is
l
_pw_*
_
{take,restore}_space
commit
|
commitdiff
|
tree
2019-06-22
Sven Ver
d
o
olaege
i
s
l_pw_*: u
s
e base type to ident
i
fy elements
commit
|
commitdiff
|
tree
2019-06-22
Sven
V
erdoolaege
isl_
s
et
_
ov
e
rlaps: i
m
pl
e
ment in terms of isl_set_is_disjoint
commit
|
commitdiff
|
tree
2019-06-20
Sven
Ve
r
doolaege
isl_t
e
st
.
c
:
test_lexmi
n
: abort on fai
l
e
d
te
s
t
commit
|
commitdiff
|
tree
2019-06-20
S
v
en Ver
d
oo
l
a
e
ge
isl
_
space_zip: f
i
x error
m
e
s
sage
commit
|
commitdiff
|
tree
2018-10-11
Sven V
e
rdoolaege
export isl_ast_build_node_from_schedule
commit
|
commitdiff
|
tree
2018-10-08
Sven Verdoolaege
isl_ba
s
ic_{ma
p
,set}_free_inequality: r
e
turn modified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven
Verdoola
e
ge
is
l
_basic_map_fre
e
_in
e
qu
a
l
i
t
y: avoi
d
acces
s
ing ctx
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
S
v
en
V
er
d
oolaeg
e
isl_ba
s
ic_{map,
s
et}_free_equality: return mo
d
ified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
S
v
en Ver
d
oolaege
i
s
l
_
bas
i
c_map_free_e
q
u
al
i
t
y: a
v
oid
a
c
c
essing ctx
fi
e
ld
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolaege
isl_outp
u
t
.
c: can_print_div_expr:
u
se is
l
_loca
l
_div_is_mar
k
e
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sven Verdoolaege
add isl_
t
ab_swap
_
constra
i
nts
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaege
d
rop
de
p
recate
d
isl_basic_map
_
n_*
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop deprecated isl
_
map_n_pa
r
am
commit
|
commitdiff
|
tree
2018-09-06
S
v
e
n Verdo
o
laege
drop deprecated i
s
l
_
map_n_out
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaege
drop deprecat
e
d isl_map
_
n_in
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_map_di
m
: use i
s
l_s
p
ace_di
m
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_set_pa
r
a
m
s: implement in
terms of isl_map_params
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set_dim: implement in terms of is
l
_
m
a
p
_
d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
morph
.
c: copy_equalities: use
i
sl_
b
as
i
c_set_get_sp
a
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l
_map_
s
u
b
tract
.
c: tab_
a
dd_constraint: use isl
_
basi
c
_map_d
i
m
commit
|
commitdiff
|
tree
next