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_basic_map_from_qpolynomial: use isl_basic_map_from_aff
2023-02-25
Sven Ver
d
oolae
g
e
isl_basic_m
a
p_f
r
om_qpol
y
nomial: us
e
isl_
b
asic_
m
ap_from_aff
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl
_
basic
_
map_fro
m
_qpolynomial: r
e
n
ame local var
i
ab
l
e
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_local_space
_
get_local: f
i
x
memory ma
n
a
gement annotation
commit
|
commitdiff
|
tree
2023-02-05
Sven Verdoolaege
add
i
sl_union_ma
p
_c
h
ec
k
_named
_
params
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
i
s
l_union_ma
p
_align_params: use isl_union_map_get_ctx
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdool
a
e
g
e
i
s
l_
b
asi
c
_map_align_p
a
ram
s
: reuse isl
_
basic_map_peek_space
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
isl_parameter_ali
g
nment
_
reorderi
n
g:
u
se isl_spac
e
_get_ctx
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdoo
l
aege
i
sl_param
e
ter_alignment_reordering: u
s
e i
s
l_
s
pace_dim
commit
|
commitdiff
|
tree
2021-12-20
Sven Ver
d
oolaege
isl_basi
c
_m
a
p_plain_cmp: speci
f
i
c
all
y
handle unk
n
own
.
.
.
commit
|
commitdiff
|
tree
2021-08-31
S
ven Ve
r
doolaege
unexpos
e
isl_
b
asic_set_samp
l
e_b
o
unded
commit
|
commitdiff
|
tree
2021-08-31
Sven Verdool
a
ege
isl_l
p
.
c: m
a
k
e
i
s
l_tab_solve_lp
s
tatic
commit
|
commitdiff
|
tree
2021-08-15
Sven V
e
rdoolae
g
e
ext
r
a
c
t
ou
t
s
h
a
red isl_local
_
space
_
{take,re
s
tore}_loc
a
l
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
isl_local
_
s
pace_move_dims
:
extra
c
t out isl_local_move_vars
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
is
l
_local_s
p
a
ce_o
f
fset: u
s
e isl_space
_
offset and isl_space_d
i
m
commit
|
commitdiff
|
tree
2021-08-15
Sv
e
n V
e
rdoolaege
a
dd isl_local_var
_
offset
commit
|
commitdiff
|
tree
2021-08-15
S
ve
n
Verdoolaege
add isl_
l
ocal_copy
commit
|
commitdiff
|
tree
2021-08-11
Sven Verdoo
l
aege
extract
o
ut shared is
l
_mul
t
i
_*_{take,re
s
t
o
re}
_
space
commit
|
commitdiff
|
tree
2021-08-02
S
v
en Ver
d
oolaeg
e
i
s
l_basic_set_copy: imple
m
ent in t
e
rms of isl_basic_map_c
o
py
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdoolaege
i
s
l
_map
.
c: extract o
u
t
shared check_conv
e
x_no_lo
c
als
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdoolaege
isl_m
a
p
.
c: extract out sh
a
red is_conve
x
_no_locals
commit
|
commitdiff
|
tree
2021-06-10
S
v
e
n
V
e
r
doolaege
isl_map
.
c: map_
i
nte
r
s
e
ct_add_constraint: fix san
i
ty
.
.
.
commit
|
commitdiff
|
tree
2021-05-30
Sven
Verdoolaege
ad
d
i
s
l_polyhed
r
on_re
m
ove_re
d
undant_
e
qualities test
.
.
.
commit
|
commitdiff
|
tree
2021-05-25
Sven
V
e
r
doolaege
isl_set
_
su
b
stitute: im
p
lement in terms of i
s
l
_
set_preim
a
ge_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-11
Sven V
e
r
doolaege
isl_basic_set_
m
ultiplicative_ca
l
l: detect redundan
t
.
.
.
commit
|
commitdiff
|
tree
2020-12-31
S
v
en Verdoolaege
privately e
x
port isl_qpolynomial
_
li
s
t_peek
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdo
o
laege
e
x
tr
a
ct
o
ut shared isl_qpolynomia
l
_fold
_
check_equal_spac
e
commit
|
commitdiff
|
tree
2020-12-30
Sven Ver
d
oolaege
ext
r
act out
shared is
l
_qpolynomial_fold_check_equal_type
commit
|
commitdiff
|
tree
2020-12-30
Sve
n
V
er
d
o
olaeg
e
e
x
tract out sh
a
re
d
isl_mo
r
ph_
c
hec
k
_applies
commit
|
commitdiff
|
tree
2020-12-30
Sven V
e
r
doolaege
isl_qpolynomial_fold_morph_dom
a
in:
u
se isl_morph_get_ra
n
_spa
c
e
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
i
sl_
q
poly
n
omial_m
o
rph_d
o
main: use is
l
_qp
o
lynomial_get_ctx
commit
|
commitdiff
|
tree
2020-12-30
Sven Verd
o
olaege
isl_fold
.
c
:
qpolynomial_fold_alloc: use
i
s
l
_space_get_ctx
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_bound
.
c: compressed
_
gu
a
rded
_
poly_bound: use
i
sl
_
basi
c
_se
.
.
.
commit
|
commitdiff
|
tree
2020-12-24
Sven V
e
rdoolaege
is
l
_seq_elim: cla
r
ify
d
ocumentation
commit
|
commitdiff
|
tree
2020-09-19
Sven
Verdoolaege
isl
_
mor
p
h
_set
:
u
s
e
isl
_
set_preimage_multi
_
aff
commit
|
commitdiff
|
tree
2020-09-19
Sve
n
Verdoola
e
ge
isl_morph
_
basic_s
e
t: use isl_bas
i
c_set_pr
e
image
_
multi_aff
commit
|
commitdiff
|
tree
2020-09-15
Sven Ve
r
doolaege
isl_tab_pi
p
.
c: align_context_divs: only add local
v
a
r
iables
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
S
ven Ve
r
doolaege
d
rop isl_space_get_ful
l
_domain_hash
commit
|
commitdiff
|
tree
2020-09-01
Sv
e
n Verdoolaege
t
est isl_
s
pace_get
_
tuple_do
m
ain_hash inste
a
d of isl_sp
a
ce_ge
.
.
.
commit
|
commitdiff
|
tree
2020-08-30
S
v
e
n
Ver
d
oolaege
is
l
_union_*: use tuple hash
in hash ta
b
le
commit
|
commitdiff
|
tree
2020-08-30
Sv
e
n Verdoolaege
add
isl_space_
g
e
t_tuple_domain_hash
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdool
a
ege
isl_union_map
:
i
gnore parameters whe
n
look
i
ng up entries
commit
|
commitdiff
|
tree
2020-08-25
S
v
e
n Verdoolaege
add isl
_
map_has_s
p
ace_tu
p
l
es
commit
|
commitdiff
|
tree
2020-08-25
S
ven V
e
rdoolaege
isl_unio
n
_map: use
t
u
p
le h
a
sh in h
a
sh table
commit
|
commitdiff
|
tree
2020-08-25
Sven V
e
rdoolaege
rename isl_space_get_{d
o
main_,}hash to
i
sl_spa
c
e
_
g
et_full_
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Sv
e
n Ver
d
oolaege
isl_space_
g
et_hash:
document
relation with isl_
s
p
ac
e
_get
_
dom
.
.
.
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdoolaeg
e
isl_unio
n
_map
.
c: has_space:
use i
s
l_ma
p
_h
a
s_s
p
a
ce
commit
|
commitdiff
|
tree
2020-08-23
Sv
e
n Verdoolaege
a
dd isl_map_has_spa
c
e
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
isl_uni
o
n_map
.
c:
is_disjoi
n
t
_
entr
y
: use i
s
l_map_pee
k
_space
commit
|
commitdiff
|
tree
2020-08-16
S
v
e
n Verdoolae
g
e
i
sl
_
union_map
.
c
: is_subset_entry: use isl_map_pe
e
k_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Ve
r
doolaege
isl_union_
m
ap
.
c
:
match_bin_ent
r
y
:
u
se isl_map_p
e
ek_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdool
a
ege
isl_union_map_
a
dd_
m
ap
:
use isl_m
a
p_pee
k
_
space
commit
|
commitdiff
|
tree
2020-08-16
Sve
n
Ve
r
doolaege
is
l
_union_*
_
eval: use i
s
l_union_*_get_ctx
commit
|
commitdiff
|
tree
2020-08-09
Sven Verdool
a
ege
isl_map_ra
n
ge: i
m
plement i
n
t
e
r
m
s
of isl_
m
ap_pr
o
ject_o
u
t
commit
|
commitdiff
|
tree
2020-08-09
Sv
e
n Verdoola
e
ge
isl_map_
d
omai
n
: implement i
n
ter
m
s of
isl_map_projec
t
_o
u
t
commit
|
commitdiff
|
tree
2020-08-08
Sven Verdoolaege
is_adj_
i
neq_
e
xtension: use isl_ba
s
ic_map_n_{in,}eq
u
ality
commit
|
commitdiff
|
tree
2020-07-27
Sven
Verdool
a
e
ge
isl_basic_map_d
r
op_redun
d
ant_
d
i
v
s_ineq: ext
r
act o
u
t
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
S
ven Verdoolaege
extra
c
t out
sh
a
red isl_b
a
s
i
c_ma
p
_applie
s
_r
a
nge
commit
|
commitdiff
|
tree
2020-05-04
Sven
V
e
rdoolaege
i
s
l_basic_map_apply_range: extr
a
ct out isl_basic_map_che
c
k_a
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
S
ven
V
er
d
o
olaege
extract
o
ut shared isl_map_
s
pace_tu
p
le_is_equal
commit
|
commitdiff
|
tree
2020-05-04
Sven Verd
o
o
la
e
ge
e
x
tract out sh
a
r
ed
isl_map_tuple_is
_
e
qual
commit
|
commitdiff
|
tree
2020-05-04
Sven Ver
d
o
o
laeg
e
isl_map_
d
e
ltas: use isl
_
map_chec
k
_trans
f
orma
t
i
o
n
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
e
xtra
c
t
out shared isl_basic_map_check
_
transf
o
r
m
at
i
on
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdo
o
laege
extract o
u
t
shared isl_b
a
sic_map_is_tran
s
formation
commit
|
commitdiff
|
tree
2020-03-28
S
v
en Verdoolaege
drop unused i
s
l
_
ba
s
ic_set_is_di
v
_constraint
commit
|
commitdiff
|
tree
2020-03-23
Sven Verdool
a
e
g
e
isl_map_simp
l
ify
.
c: uset_gist_c
o
mpressed: do n
o
t mark
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
S
v
en
Verdo
o
laege
a
d
d
i
sl_pw_qpol
y
nomial_max tes
t
case
commit
|
commitdiff
|
tree
2019-12-18
Sven Verdoolaege
add ex
p
orted is
l
_mul
t
i_af
f
_get_constan
t
_multi_val
commit
|
commitdiff
|
tree
2019-12-10
S
v
en
Verdoo
l
a
ege
i
sl_aff_add
:
normalize resul
t
commit
|
commitdiff
|
tree
2019-12-03
Sven Verdoolaege
i
sl_map
.
c
:
extr
a
c
t out s
h
ared
i
sl_basic_map_check_c
o
m
p
a
t
ible
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
e
rdoolaege
isl_
p
w
_
*_on_
s
h
ared_d
o
main: check tha
t
i
n
puts
live
in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolaege
isl_basic
_
map_plain_unshifted_s
i
mple_hull: che
c
k inp
u
ts
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolae
g
e
isl_map_plain_is_equal: use
isl_
m
ap_
h
as_equ
a
l_space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
i
sl_basi
c
_map_
c
ont
a
ins_p
o
int: ex
t
ract ou
t
isl_basi
c
_map_poin
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven V
e
rdoolaege
extract out shared isl_map_check_equa
l
_spac
e
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaeg
e
i
s
l_morph
.
c
: i
s
l_m
o
rp
h
_set: extr
a
ct
o
u
t
isl
_
set_
b
asic_set_c
h
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
Verd
o
olaege
extr
a
ct out
s
h
ared is
l
_map_basic_map_chec
k
_equal
_
space
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolaege
ext
r
a
ct out s
h
ar
e
d isl_bas
i
c_map_c
h
eck_equal_space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
isl_set_has_equal
_
space: im
p
l
eme
n
t in terms o
f
i
s
l_map_has_e
.
.
.
commit
|
commitdiff
|
tree
2019-11-28
Sv
e
n Verdo
o
laege
i
sl_basi
c
_{set,map}
_
extend_
s
pac
e
: drop spa
c
e argument
commit
|
commitdiff
|
tree
2019-11-28
Sven
V
e
rdoo
l
aege
d
rop isl_basic_map_extend
commit
|
commitdiff
|
tree
2019-11-24
Sven
Verdoolaeg
e
is
l
_
pw_templ
.
c:
e
xtract out isl_pw_l
i
ft
_
t
e
mp
l
.
c
commit
|
commitdiff
|
tree
2019-11-24
Sven Ve
r
doolaege
is
l
_pw_templ
.
c: e
x
tract out isl_pw_
m
orph
_
t
e
mpl
.
c
commit
|
commitdiff
|
tree
2019-11-15
Sven Ve
r
doolaege
d
rop isl_basic_set_add_constraints
commit
|
commitdiff
|
tree
2019-09-21
S
ven Ver
d
oolaege
add basic isl_union_map_intersect t
e
st
commit
|
commitdiff
|
tree
2019-09-12
S
v
en V
e
r
doolaege
ex
p
o
rt isl_mul
t
i_val
_
read_from_st
r
commit
|
commitdiff
|
tree
2019-09-07
S
v
en Verdoolaege
is
l
_
b
asi
c
_set_recession_cone: handle emp
t
y input exp
l
icitl
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-09-07
Sven Verdoo
l
aege
add some basic isl_bas
i
c_
s
e
t_recess
i
on_cone
t
es
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-08-25
Sven Ve
r
doolaege
isl
_
mat_private
.
h: protect against multiple inclu
s
i
ons
commit
|
commitdiff
|
tree
2019-08-14
Sven
V
e
rd
o
olaege
add
i
s
l_space_wrapped_d
i
m
commit
|
commitdiff
|
tree
2019-08-07
Sven
Verdoolaege
i
s
l_map_deltas_map: use i
s
l_s
p
ace_range_map
commit
|
commitdiff
|
tree
2019-08-07
Sve
n
Verdo
o
laege
extract
ou
t
shared isl_map_{take,restore}_space
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolae
g
e
isl_ma
p
_
s
et_di
m
_id: use isl_
m
ap_get_space
commit
|
commitdiff
|
tree
2019-08-07
Sven
Ver
d
oolaege
isl_
m
ap_re
s
et_tupl
e
_id: use isl_ma
p
_g
e
t_sp
a
c
e
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
isl_map_
s
e
t
_tup
l
e_id:
u
se
isl_map
_
get
_
space
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
isl_map_range
_
m
a
p:
u
s
e isl_spac
e
_range_m
a
p
commit
|
commitdiff
|
tree
2019-08-07
Sven Ver
d
o
o
laege
i
s
l
_m
a
p
_
range_map: preserve disjointness
commit
|
commitdiff
|
tree
2019-08-07
Sven Verd
o
olaege
isl_m
a
p_domain_map: preserve disjoi
n
tness
commit
|
commitdiff
|
tree
2019-08-07
Sve
n
Verdoola
e
ge
isl_map
.
c
:
e
x
tract
out shared isl
_
basic_map_{ta
k
e,restore
.
.
.
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
isl_basic_map_overl
y
in
g
_set: us
e
isl_b
a
sic
_
map_get_space
commit
|
commitdiff
|
tree
2019-06-22
Sven
V
erdoolaeg
e
a
dd expo
r
ted isl_pw_multi_
a
ff_range_fa
c
tor_{domain
.
.
.
commit
|
commitdiff
|
tree
next