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_get_local
2023-02-25
Sven Verdoolaege
ex
t
ract ou
t
sha
r
e
d isl_qpolynomial_get_local
commit
|
commitdiff
|
tree
2023-02-25
Sven
Verdoo
l
aege
extract out sh
a
red isl_qpolynomial_{ta
k
e,
r
est
o
re}_
p
oly
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n Verdoolaege
extract out shared isl_qpolynom
i
al_ge
t
_poly
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n Verdoolaege
isl_qpolynomia
l
_mo
v
e_d
i
ms: perform mor
e
san
i
ty chec
k
s
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_qpoly
n
om
i
a
l
_move_dims: drop nee
d
less error la
b
el
commit
|
commitdiff
|
tree
2023-02-25
Sven V
e
rdoolaege
i
s
l
_q
p
olynom
i
a
l
_move_dims: use
isl_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_
q
p
oly
n
omial_move_d
i
ms: use is
l
_lo
c
al_move_v
a
rs
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
i
s
l_basic_s
e
t_factoriz
e
r: use isl_basic_set_var_offset
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolae
g
e
isl_factorizer_groups: use isl_basic_set_var_offset
commit
|
commitdiff
|
tree
2023-02-25
Sven Verd
o
olaege
isl
_
basic_
m
ap_from_qpoly
n
omial: use isl_basic_map_fr
o
m_aff
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
oolae
g
e
isl_basic_map_from_qpolynomial: r
e
name l
o
cal variab
l
e
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
V
e
r
do
o
laege
isl_l
o
cal_space_get_lo
c
a
l
:
f
i
x memory m
a
nagemen
t
annotat
i
on
commit
|
commitdiff
|
tree
2023-02-05
Sven Ver
d
o
o
laege
ad
d
isl_
u
n
ion
_
map
_
c
h
eck_named_params
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoolae
g
e
isl_union_map_ali
g
n_
p
ara
m
s: use isl_
u
nion_map_ge
t
_ctx
commit
|
commitdiff
|
tree
2022-08-21
Sv
e
n Verdoolaege
isl_basic_ma
p
_al
i
gn_param
s
: reuse isl_basic
_
map_peek_s
p
a
c
e
commit
|
commitdiff
|
tree
2022-08-21
S
v
en Ve
r
doo
l
aege
isl_parameter_alignment_re
o
rdering: use isl_
s
pace
_
get_ctx
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoo
l
aeg
e
i
s
l_param
e
ter_
a
li
g
nment_reord
e
rin
g
: use is
l
_
s
pace_dim
commit
|
commitdiff
|
tree
2021-12-20
Sven Verdool
a
e
ge
i
s
l_basic_ma
p
_plain_cmp: specif
i
cally handl
e
un
k
nown
.
.
.
commit
|
commitdiff
|
tree
2021-08-31
S
v
e
n Verdoolaeg
e
unexpo
s
e isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2021-08-31
Sven Ver
d
oo
l
aege
isl_lp
.
c: make isl_tab_solve_lp stati
c
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
extra
c
t out shared isl_
l
ocal
_
space_{ta
k
e,
r
es
t
ore}_local
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoola
e
ge
isl_lo
c
al
_
s
pace
_
move_dims: extract out
i
sl_local_move_vars
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdo
o
l
aege
isl
_
lo
c
al_space
_
offs
e
t: use isl_sp
a
c
e
_offset and isl_s
p
ace_dim
commit
|
commitdiff
|
tree
2021-08-15
Sven Ver
d
oo
l
a
e
ge
add
i
sl_lo
c
al_var_off
s
et
commit
|
commitdiff
|
tree
2021-08-15
S
v
en
V
e
rdo
o
l
a
ege
ad
d
isl_
l
ocal_cop
y
commit
|
commitdiff
|
tree
2021-08-11
Sven Verdoolae
g
e
extract out sha
r
ed isl_multi_*
_
{take,restore}_space
commit
|
commitdiff
|
tree
2021-08-02
Sv
e
n Verdool
a
ege
isl_bas
i
c_
s
et_copy: implement i
n
terms of isl_
b
a
s
ic_map_copy
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdoolaeg
e
is
l
_map
.
c
:
extract
o
u
t sha
r
ed
c
heck_convex_no
_
locals
commit
|
commitdiff
|
tree
2021-06-10
Sven
V
erdoolaege
isl
_
m
a
p
.
c: extract
o
ut
s
hared is_convex_
n
o_loc
a
ls
commit
|
commitdiff
|
tree
2021-06-10
S
v
en
Verdool
a
ege
isl_m
a
p
.
c:
m
ap_intersect_add_constraint: fix sani
t
y
.
.
.
commit
|
commitdiff
|
tree
2021-05-30
S
v
e
n Verdoolaege
add isl_polyhedron_remo
v
e
_re
d
undant_
e
qua
l
i
t
ies test
.
.
.
commit
|
commitdiff
|
tree
2021-05-25
Sven Verd
o
ola
e
g
e
isl
_
s
e
t_
s
ubsti
t
ute:
implement in terms of isl
_
set_prei
m
age_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-11
S
v
en Verdoolaege
isl_basic_set_multiplicative
_
c
a
ll: detect redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2020-12-31
Sven Verdoolaege
privately
e
x
port isl_qpoly
n
omial
_
list_
p
eek
commit
|
commitdiff
|
tree
2020-12-30
S
v
en Ve
r
doolaege
extract out
shared isl_qpolynomial
_
fold_
c
heck_eq
u
a
l_sp
a
ce
commit
|
commitdiff
|
tree
2020-12-30
Sven
V
erdoolaege
extract out sha
r
ed
i
s
l
_qpo
l
y
n
omia
l
_fold_check_equal_type
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
extract out shared isl_mo
r
ph_check_applies
commit
|
commitdiff
|
tree
2020-12-30
Sven Ve
r
doolaege
i
sl_qpolynomial_
f
old_morph_dom
a
i
n
: use isl_m
o
rph
_
g
e
t_ran
_
space
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_qpolyno
m
ial_morph_domain: us
e
isl_
q
pol
y
n
omial_get_ctx
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdo
o
laege
isl_
f
ol
d
.
c: qpolyno
m
ial_fold
_
al
l
oc: use isl_space_
g
et
_
ctx
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdo
o
laege
isl_bound
.
c: compre
s
s
e
d_guarded_poly_bound: use i
s
l
_basic_se
.
.
.
commit
|
commitdiff
|
tree
2020-12-24
Sven Verdoolaege
isl_
s
eq_elim: clarify d
o
cument
a
tion
commit
|
commitdiff
|
tree
2020-09-19
S
v
e
n Verdoolaege
isl_morph_set: use isl_set_preimage_multi_aff
commit
|
commitdiff
|
tree
2020-09-19
S
v
en
Ver
d
oolaege
i
sl_morph_ba
s
ic_set: use isl_ba
s
i
c_set_preima
g
e_m
u
lti_aff
commit
|
commitdiff
|
tree
2020-09-15
S
v
en V
e
r
d
oo
l
aege
isl
_
ta
b
_p
i
p
.
c: ali
g
n_context_d
i
vs:
o
nly
add lo
c
al variable
s
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Sven Ve
r
d
ool
a
ege
drop isl_space_get_full_
d
omain_hash
commit
|
commitdiff
|
tree
2020-09-01
Sven Verdoolaege
test isl_space_get_t
u
p
le_domain_ha
s
h instead of isl_space_ge
.
.
.
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoolaege
i
sl_union_
*
: use tuple hash in hash tabl
e
commit
|
commitdiff
|
tree
2020-08-30
Sven Ve
r
d
oolaege
add isl_space_get_tuple_d
o
main
_
hash
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
isl_uni
o
n_
m
ap:
ignore parameters
w
hen l
o
oking up ent
r
i
e
s
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
add isl
_
map_has_sp
a
c
e
_t
u
ple
s
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
isl_union_
m
ap: use tuple hash in hash tabl
e
commit
|
commitdiff
|
tree
2020-08-25
S
v
en
Verdoola
e
ge
r
ename
isl_space_g
e
t_{domai
n
_
,
}hash to isl_space_
g
et_full_
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
S
v
en Verdoolaeg
e
isl
_
space_get_hash: docume
n
t
rela
t
ion with isl_space_g
e
t
_dom
.
.
.
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdo
o
laege
i
sl_union_map
.
c: h
a
s
_
s
pace: us
e
isl_map_h
a
s
_
spa
c
e
commit
|
commitdiff
|
tree
2020-08-23
Sven Verdoolaege
add isl_
m
ap_has
_
s
pace
commit
|
commitdiff
|
tree
2020-08-16
Sven Ver
d
oo
l
ae
g
e
isl_union_map
.
c: is_di
s
joint_entry
:
use is
l
_m
a
p_peek_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
is
l
_union
_
map
.
c: is_subset_entry: use
i
sl_map_peek_sp
a
ce
commit
|
commitdiff
|
tree
2020-08-16
Sven
Verd
o
ola
e
ge
isl_u
n
ion_map
.
c: match_bin_entry: use isl_map
_
peek_space
commit
|
commitdiff
|
tree
2020-08-16
Sven V
e
r
d
ool
a
e
g
e
isl_u
n
ion_map_add_map: use isl_map_pe
e
k
_space
commit
|
commitdiff
|
tree
2020-08-16
Sven
V
erdoolaege
isl_union_*_eval:
use isl_union_*_get_ctx
commit
|
commitdiff
|
tree
2020-08-09
S
ve
n
V
erdoolaege
isl_
m
ap_range:
implement i
n
terms of isl_map_proje
c
t_out
commit
|
commitdiff
|
tree
2020-08-09
Sven Verdoolaege
isl
_
map_d
o
mai
n
: implem
e
nt in term
s
of isl_map_pr
o
ject_out
commit
|
commitdiff
|
tree
2020-08-08
Sven V
e
r
doo
l
aege
is_adj_ineq_
e
xt
e
nsion: use isl
_
ba
s
i
c_map_n_{i
n
,}equa
l
i
t
y
commit
|
commitdiff
|
tree
2020-07-27
Sven
V
erdoolaeg
e
isl_bas
i
c_map_drop_red
u
ndant_divs_ineq: extract
o
ut
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven V
e
rdoolaege
extract
out shared isl_basic
_
map
_
applies_range
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdool
a
ege
isl_basic
_
map_apply_range: e
x
t
r
a
ct out is
l
_ba
s
ic_map_check_a
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Verd
o
olaege
e
xtract ou
t
shared
i
s
l_map_space_tuple_is
_
equal
commit
|
commitdiff
|
tree
2020-05-04
Sv
e
n
Verdoolaege
extract
out s
h
ared
i
sl_ma
p
_t
u
ple_is_equal
commit
|
commitdiff
|
tree
2020-05-04
S
v
en Verdoolaege
isl_map_de
l
tas: u
s
e isl_map_check_transformatio
n
commit
|
commitdiff
|
tree
2020-05-04
Sven Ve
r
doolaege
extract out shared isl_basic_map_check_transformation
commit
|
commitdiff
|
tree
2020-05-04
Sven V
e
rdoolaege
e
xtr
a
c
t out sh
a
red
isl_basic_map_is
_
t
r
an
s
fo
r
mation
commit
|
commitdiff
|
tree
2020-03-28
Sve
n
V
e
rdoolaege
d
rop u
n
used i
s
l_basic_set_is_div_constraint
commit
|
commitdiff
|
tree
2020-03-23
Sven Verdoolae
g
e
isl_map_simplify
.
c: use
t
_gis
t
_compressed
:
d
o
not mark
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Sven Verdoolaege
a
dd isl_pw_qpolynomial_max test case
commit
|
commitdiff
|
tree
2019-12-18
Sven Verdoola
e
ge
add exported isl_mul
t
i_aff_get_constant_multi_val
commit
|
commitdiff
|
tree
2019-12-10
Sv
e
n Verdool
a
eg
e
isl_aff_add: norma
l
i
ze res
u
lt
commit
|
commitdiff
|
tree
2019-12-03
Sven Verdoolaege
isl_map
.
c: ex
t
ract out s
h
ared isl_bas
i
c_map_ch
e
ck_compat
i
bl
e
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
Ver
d
oolaege
isl_pw
_
*_on_shared_domain: check that inputs live in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolaege
i
s
l_basic_ma
p
_
p
lain_unshifted_simple_hull: check i
n
p
u
ts
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
Verdoolaege
isl_map_plain
_
is_equal: use isl_
m
ap_has_equal_s
p
ace
commit
|
commitdiff
|
tree
2019-11-30
Sv
e
n Verdoola
e
ge
isl_
b
asic_map_
c
ontains_point: extract out
i
sl_bas
i
c_map_poin
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
S
v
en
V
erdoolae
g
e
extract out shared isl_m
a
p_
c
heck_equ
a
l
_
spa
c
e
commit
|
commitdiff
|
tree
2019-11-30
S
v
e
n
V
erdoolaege
i
sl_morph
.
c:
isl_morph_set: extract out is
l
_
s
et_basic_set_c
h
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
Verdoolaege
e
xtract out shar
e
d isl_ma
p
_b
a
sic_m
a
p_check_equal_space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaeg
e
ex
t
rac
t
o
u
t shared i
s
l_bas
i
c_map_chec
k
_equal_
s
pace
commit
|
commitdiff
|
tree
2019-11-30
S
ven V
e
rdoolaege
i
sl_se
t
_
h
as_e
q
u
al_spa
c
e: implement in terms of
i
s
l_map_has_e
.
.
.
commit
|
commitdiff
|
tree
2019-11-28
Sven
Verdool
a
eg
e
i
sl_basi
c
_
{set,m
a
p}_extend_
s
pace: drop space arg
u
me
n
t
commit
|
commitdiff
|
tree
2019-11-28
Sven
Verdoolaege
drop isl_basi
c
_map_extend
commit
|
commitdiff
|
tree
2019-11-24
S
v
e
n Verd
o
o
laege
isl_pw_tem
p
l
.
c:
e
xtract
o
u
t
isl
_
pw_lift_templ
.
c
commit
|
commitdiff
|
tree
2019-11-24
Sve
n
Verdoolaege
i
sl_p
w
_t
e
mpl
.
c: extrac
t
out isl_pw_mor
p
h_te
m
pl
.
c
commit
|
commitdiff
|
tree
2019-11-15
Sven Verdoolaeg
e
drop isl_
b
as
i
c_set_add_cons
t
raints
commit
|
commitdiff
|
tree
2019-09-21
Sven Verdoolaege
add
basic isl_union_map_intersect test
commit
|
commitdiff
|
tree
2019-09-12
Sven V
e
rdoolaege
ex
p
ort isl_multi_val_read_fr
o
m
_
str
commit
|
commitdiff
|
tree
2019-09-07
S
ve
n
V
erdoolaege
i
s
l_basi
c
_set_recession_cone: handle empty input explicitl
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-09-07
S
ven Verd
o
olae
g
e
add some ba
s
ic isl_basic_set_rece
s
s
i
on_cone
t
ests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-08-25
Sven Verdoolaege
isl
_
mat_pri
v
a
te
.
h: protect against m
u
ltiple inclusions
commit
|
commitdiff
|
tree
2019-08-14
S
v
e
n
Verdoolae
g
e
ad
d
isl_space_wrapped_dim
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoola
e
ge
isl_map_d
e
ltas_map: use isl_space_range
_
map
commit
|
commitdiff
|
tree
2019-08-07
Sv
e
n Verdoo
l
aege
extra
c
t
out
shared i
s
l_map_{take,restore}_spac
e
commit
|
commitdiff
|
tree
next