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
extract out shared isl_qpolynomial_{take,restore}_local
2023-02-25
Sven V
e
rdoolaege
extrac
t
out shared isl_qpo
l
ynomial_{ta
k
e,re
s
tor
e
}_loca
l
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
e
x
tract out shared isl_qp
o
lyno
m
ial_
g
et_local
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
extract out shared isl_
q
polynomial_{take,restore}_poly
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoo
l
aege
extr
a
ct ou
t
shared isl_
q
p
o
lyn
o
m
ia
l
_
g
et_pol
y
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoo
l
aege
isl_qp
o
lynomial_mo
v
e_di
m
s: per
f
orm
m
ore san
i
ty check
s
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
oolaege
isl_qpolynom
i
al_
m
ove_dims: drop need
l
ess error labe
l
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
i
s
l_qpolynomia
l
_move_dims: use isl_qpolynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Verdo
o
l
aege
isl_qpolynom
i
a
l
_move_dims: use
isl_
l
o
cal_mo
v
e_v
a
r
s
commit
|
commitdiff
|
tree
2023-02-25
S
v
e
n
V
e
r
d
oolaeg
e
isl_basic_
s
et_factorizer: use
i
s
l
_
basic_set_var_offs
e
t
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolae
g
e
i
s
l
_
factorizer_groups: use isl_b
a
s
ic_set_v
a
r_
o
ffset
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdool
a
ege
isl_basic
_
map
_
f
rom_qp
o
lynomial: use
i
sl_basic_map_from_aff
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolae
g
e
isl_basic_map_from_qp
o
l
y
nomial: rename lo
c
al variable
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolae
g
e
isl_local_
s
pace_g
e
t_loc
a
l: fix memory m
a
nagement annotation
commit
|
commitdiff
|
tree
2023-02-05
Sven Verdoolaeg
e
ad
d
isl_union_map_check_named
_
pa
r
a
ms
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdoo
l
aege
isl_union_
m
ap_align_param
s
: use isl_union_ma
p
_ge
t
_ctx
commit
|
commitdiff
|
tree
2022-08-21
S
ven Verdoolaeg
e
i
sl
_
basi
c
_
ma
p
_alig
n
_params: reuse isl_b
a
sic_m
a
p_peek_space
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdoolae
g
e
i
sl_par
a
meter_alignment_reorderi
n
g: use
i
sl_space_get_
c
tx
commit
|
commitdiff
|
tree
2022-08-21
Sven Ve
r
doolae
g
e
isl_parameter_align
m
ent_reorder
i
ng: use
isl_space
_
dim
commit
|
commitdiff
|
tree
2021-12-20
Sven Verdo
o
laege
isl_basic_map_plai
n
_c
m
p:
s
pecifically hand
l
e unknown
.
.
.
commit
|
commitdiff
|
tree
2021-08-31
Sve
n
Verdo
o
laege
unexpose
isl
_
basic_set_s
a
mple_bounded
commit
|
commitdiff
|
tree
2021-08-31
Sven Verdoolaege
isl_lp
.
c:
make isl_tab_
s
olve
_
l
p static
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
extrac
t
o
ut sh
a
red isl
_
l
o
cal
_
sp
a
ce_{t
a
ke,rest
o
re}_lo
c
al
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
isl_local_space_move_dims: extract o
u
t isl_loc
a
l
_move_vars
commit
|
commitdiff
|
tree
2021-08-15
Sven
V
e
r
d
o
o
laeg
e
isl_lo
c
al_space_offset: use isl_space_offset
and
i
sl_space_dim
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
add is
l
_
local_var_o
f
f
s
et
commit
|
commitdiff
|
tree
2021-08-15
Sven Ve
r
doolaege
a
dd isl_local
_
copy
commit
|
commitdiff
|
tree
2021-08-11
S
v
en
Ver
d
oolaege
extract out
shared i
s
l_multi_*_{t
a
ke,restore}_sp
a
ce
commit
|
commitdiff
|
tree
2021-08-02
S
ven
V
er
d
o
o
l
aege
isl_basic_set_copy: i
m
plement in terms of isl
_
b
asic_ma
p
_copy
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdo
o
laege
isl_map
.
c:
extract
o
ut shared check_convex_
n
o_loc
a
ls
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdoolaege
isl_map
.
c:
extract o
u
t share
d
is_conv
e
x_no_locals
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdoo
l
aege
isl_map
.
c: map_int
e
rsect_add_const
r
aint:
fix san
i
ty
.
.
.
commit
|
commitdiff
|
tree
2021-05-30
Sven Verd
o
olaege
add isl_
p
olyhedron_re
m
o
v
e_redundant_equalities tes
t
.
.
.
commit
|
commitdiff
|
tree
2021-05-25
Sven
V
erdoolaege
isl_set_subst
i
tute:
i
m
p
le
m
ent in
term
s
of isl_set_preimage_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoo
l
aege
isl_basic
_
se
t
_
m
u
l
t
iplicative_call: detect redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2020-12-31
Sven Verdool
a
ege
priv
a
t
e
l
y
expo
r
t i
s
l_qpoly
n
omial_
l
ist_peek
commit
|
commitdiff
|
tree
2020-12-30
S
v
e
n
Verdoolaege
extract
o
ut shared isl_q
p
o
l
ynomial_fold_check_
e
qual_space
commit
|
commitdiff
|
tree
2020-12-30
S
v
en Verdoolaege
e
xtract out share
d
is
l
_
q
polynomial_fo
l
d
_chec
k
_equal_type
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdo
o
laege
ext
r
act
o
ut shared
i
sl_morp
h
_check_applies
commit
|
commitdiff
|
tree
2020-12-30
Sve
n
Verdoolaege
isl
_
qpolynom
i
a
l
_f
o
ld_morph_d
o
main: use
i
s
l
_mor
p
h_get_ran
_
space
commit
|
commitdiff
|
tree
2020-12-30
S
ven Verdoo
l
aege
i
s
l
_qpol
y
n
omial_mor
p
h_domain
:
u
se isl_qpoly
n
o
m
ial_
g
et_c
t
x
commit
|
commitdiff
|
tree
2020-12-30
Sven
Verdoolaege
isl_f
o
ld
.
c: qpo
l
ynomial_fold
_
allo
c
: use is
l
_space_get_ctx
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_bou
n
d
.
c
:
comp
r
essed_guarded_poly_bound: use
i
sl_bas
i
c_se
.
.
.
commit
|
commitdiff
|
tree
2020-12-24
Sven V
e
rdoolaege
isl_seq_e
l
im: clarif
y
documen
t
ation
commit
|
commitdiff
|
tree
2020-09-19
Sven Verd
o
olaege
i
s
l
_morph_
s
et:
use isl_
s
et_preimage_multi_
a
f
f
commit
|
commitdiff
|
tree
2020-09-19
Sven Verdoolaege
isl_morph_
b
asic_se
t
: use isl_bas
i
c
_
set_
p
r
e
i
mage_m
u
lti_aff
commit
|
commitdiff
|
tree
2020-09-15
Sven Verdoo
l
aege
isl_
t
ab_
p
ip
.
c: align_context_divs
:
onl
y
add loca
l
v
a
r
i
a
b
l
es
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Sven Verdoolaege
drop isl_
s
p
a
ce_get_full_domain_
h
a
sh
commit
|
commitdiff
|
tree
2020-09-01
Sven
V
erdoolae
g
e
test isl_space_get_tuple_domain_hash ins
t
ead of isl_space
_
ge
.
.
.
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
isl_union_*
:
u
se
t
uple h
a
s
h
in ha
s
h
table
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolae
g
e
add
isl_s
p
a
c
e_get_tupl
e
_
d
omain_ha
s
h
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoo
l
aege
isl_union_map: ignore parameters when looking up entries
commit
|
commitdiff
|
tree
2020-08-25
Sve
n
Ver
d
o
o
laege
add isl_m
a
p_ha
s
_space_tuples
commit
|
commitdiff
|
tree
2020-08-25
Sve
n
Ve
r
d
o
olaeg
e
is
l
_unio
n
_map: use tu
p
le
h
a
sh in h
a
sh table
commit
|
commitdiff
|
tree
2020-08-25
Sven
Verdoolaege
ren
a
m
e isl_sp
a
ce_get_{dom
a
in
_
,}hash to
i
sl_sp
a
ce_g
e
t_full_
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Sven
V
erdoolaege
isl_space_get_hash: docume
n
t r
e
lation with isl
_
space_get_dom
.
.
.
commit
|
commitdiff
|
tree
2020-08-23
Sve
n
Verdoolaege
i
s
l_uni
o
n_map
.
c: has_space
:
use i
s
l_map_has_
s
pace
commit
|
commitdiff
|
tree
2020-08-23
Sven
V
erdoolaege
add isl_map_has
_
space
commit
|
commitdiff
|
tree
2020-08-16
Sven
V
e
rd
o
o
l
aege
isl_un
i
on_map
.
c: is_disjoint_
e
ntry: use isl_map_p
e
ek_space
commit
|
commitdiff
|
tree
2020-08-16
Sven V
e
rdoolaege
isl_union_map
.
c
:
is_subset_
e
ntry: use
isl_map
_
peek_
s
pace
commit
|
commitdiff
|
tree
2020-08-16
S
v
en V
e
rdoolaege
i
s
l_union
_
map
.
c:
m
atch
_
bin_entry:
use
i
s
l_
m
a
p
_peek_space
commit
|
commitdiff
|
tree
2020-08-16
Sv
e
n Verdoolae
g
e
isl_
u
nion_map
_
add_m
a
p: use isl
_
map_p
e
ek_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoo
l
aeg
e
i
s
l
_
union_*_ev
a
l: use isl_union_*_get
_
c
t
x
commit
|
commitdiff
|
tree
2020-08-09
Sven Verdoo
l
a
ege
is
l
_m
a
p_range: i
m
p
l
eme
n
t in terms of isl_map_
p
roject_out
commit
|
commitdiff
|
tree
2020-08-09
Sven Verdoolaege
is
l
_map_do
m
ain:
i
mple
m
ent in terms of isl_m
a
p_proje
c
t_out
commit
|
commitdiff
|
tree
2020-08-08
Sven Verd
o
olaege
is_adj
_
ineq_extension
:
use isl
_
basic_m
a
p_n_{in,}equality
commit
|
commitdiff
|
tree
2020-07-27
Sven Verdoolaege
isl
_
basi
c
_map
_
drop_redun
d
ant_divs_ineq: extract o
u
t
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdool
a
ege
extract o
u
t shared isl_ba
s
ic_map_applies_range
commit
|
commitdiff
|
tree
2020-05-04
Sv
e
n Verdoolae
g
e
isl
_
basic
_
map
_
apply_
r
ange: e
x
tract out isl_bas
i
c
_
map_che
c
k_a
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
e
xt
r
act out sha
r
e
d
i
sl_
m
a
p
_space
_
tuple_is
_
equa
l
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
ex
t
rac
t
out
shared
isl_map_tuple_is_eq
u
al
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolae
g
e
is
l
_map_deltas: use isl_map_check_transformation
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
extract out shared isl_basic_map_chec
k
_transforma
t
i
o
n
commit
|
commitdiff
|
tree
2020-05-04
Sven
Verdoolaege
extract out shared isl_basic_map_i
s
_
t
ransfo
r
m
a
t
ion
commit
|
commitdiff
|
tree
2020-03-28
Sven Verdoolaeg
e
drop unus
e
d i
s
l_basic_set_is_div_constraint
commit
|
commitdiff
|
tree
2020-03-23
S
v
en Verdoolaege
isl_m
a
p
_si
m
plify
.
c
:
uset_gist_
c
ompressed: do not mark
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Sven
Verdoolaege
add isl_pw_qpo
l
yn
o
mial_max test case
commit
|
commitdiff
|
tree
2019-12-18
Sven Ver
d
oolae
g
e
a
d
d
e
xported isl_multi_aff_get_co
n
s
t
ant_
m
ulti_val
commit
|
commitdiff
|
tree
2019-12-10
Sven Verd
o
olaege
isl_aff_add:
n
ormal
i
ze
r
e
su
l
t
commit
|
commitdiff
|
tree
2019-12-03
Sven V
e
rdoolaege
isl
_
ma
p
.
c: extract
out shared isl_basic_map_check_compatible
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
i
sl_pw_*_on
_
shared_domain: check that inputs
l
iv
e
in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdool
a
ege
i
s
l_
b
asi
c
_map_plain_unshif
t
ed_s
i
mple_hull: check inputs
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
S
v
en Ve
r
doolaege
isl_map_plain_i
s
_equ
a
l:
use
isl_ma
p
_has
_
equal_s
p
ace
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
isl_ba
s
ic_map_co
n
tains_point:
e
xtr
a
ct
out isl_b
a
sic_ma
p
_
p
o
in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdool
a
e
g
e
e
x
tract out s
h
ared isl_map_check_equal_spac
e
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
e
r
d
oolaege
isl_mo
r
ph
.
c: is
l
_
m
orph_set: extract out
isl_se
t
_b
a
s
i
c_set_ch
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
Verd
o
ol
a
ege
extract out shared isl_
m
ap_basic_map_
c
heck_equal
_
space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
extrac
t
out
s
hared i
s
l_basic_m
a
p_check_equal_space
commit
|
commitdiff
|
tree
2019-11-30
S
ven Verdool
a
ege
isl_s
e
t_has_equal_space: implem
e
n
t in terms of isl_
m
ap_h
a
s
_
e
.
.
.
commit
|
commitdiff
|
tree
2019-11-28
Sven Verdoolaege
isl_ba
s
ic_{set
,
map}_extend_space: drop space a
r
g
u
ment
commit
|
commitdiff
|
tree
2019-11-28
S
v
en Verdoolaege
d
rop isl_basic_map_extend
commit
|
commitdiff
|
tree
2019-11-24
Sven Ve
r
doolaege
i
s
l_
p
w_templ
.
c: extract out isl_
p
w_lift_templ
.
c
commit
|
commitdiff
|
tree
2019-11-24
Sven
V
erdoolae
g
e
isl_pw_templ
.
c
:
e
xtract out isl_p
w
_mo
r
ph_templ
.
c
commit
|
commitdiff
|
tree
2019-11-15
Sven Verdoolae
g
e
drop
i
sl_basi
c
_
s
et_
a
dd_cons
t
r
a
ints
commit
|
commitdiff
|
tree
2019-09-21
Sven Verd
o
olaege
a
dd ba
s
ic
isl_union_map_i
n
t
e
rsect test
commit
|
commitdiff
|
tree
2019-09-12
Sven Verdoolaege
export i
s
l_m
u
lti_v
a
l_read_
f
rom_s
t
r
commit
|
commitdiff
|
tree
2019-09-07
Sven Ver
d
oolaege
isl_basic_set_recession_cone: hand
l
e empt
y
input exp
l
icit
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-09-07
Sven
Verdool
a
ege
ad
d
some bas
i
c isl_
b
asic_s
e
t_r
e
c
e
ssi
o
n_cone tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-08-25
S
v
en Verdoolaege
i
sl
_
mat_pr
i
vate
.
h:
protect ag
a
i
nst multiple inclusions
commit
|
commitdiff
|
tree
2019-08-14
Sven V
e
r
d
oo
l
aege
ad
d
isl_space_wrapp
e
d_dim
commit
|
commitdiff
|
tree
2019-08-07
S
v
en Verdo
o
laege
isl_map_del
t
a
s
_map: use isl_space_ra
n
ge
_
map
commit
|
commitdiff
|
tree
next