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_map.c: basic_map_dim_is_bounded: use isl_basic_map_var_offset
2024-02-25
Sven Verdoolaege
i
sl_map
.
c: b
a
s
i
c
_
map
_
dim_is_bounded: use isl_b
a
sic_map_var_o
.
.
.
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
b
asic
_
map
_
dim_is_bounded: use isl_basic_map_dim
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaeg
e
extr
a
ct
o
ut
s
hared isl_basic_map_div_ex
p
r_inv
o
lves_vars
commit
|
commitdiff
|
tree
2024-02-25
S
ven
Verdoolaege
i
sl_
m
ap
.
c: div_in
v
o
lves_
v
ars:: use isl_basic_ma
p
_
dim
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_map
.
c: div_i
n
volves_vars: us
e
isl
_
basi
c
_
m
a
p
_div_is_m
a
r
ke
.
.
.
commit
|
commitdiff
|
tree
2024-02-18
Sven
V
erd
o
olaege
isl_m
a
p_simplify
.
c: eliminate_selec
t
ed_
u
nit_divs: ext
r
act
.
.
.
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
isl_
m
ap_s
i
mplify
.
c: eliminate_sele
c
t
e
d_unit_divs: use
.
.
.
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
i
s
l_map_simplify
.
c: elim
i
nat
e
_
selected_unit_di
v
s: use
.
.
.
commit
|
commitdiff
|
tree
2024-02-10
Sve
n
Verdoola
e
ge
is
l
_ma
p
_simplify
.
c
:
eliminate_var
_
usi
n
g
_
e
qua
l
i
ty:
use
.
.
.
commit
|
commitdiff
|
tree
2023-07-01
Sven
Verdoolaege
isl_b
a
sic_s
e
t_intersec
t
_params: extract out
isl_basic_map_in
.
.
.
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdool
a
ege
isl_basic_m
a
p
_from_q
p
olynomial: extract o
u
t isl_qpo
l
ynomial_
.
.
.
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoo
l
aege
add isl_lo
c
al_space
_
i
nvolve
s
_d
i
m
s
commit
|
commitdiff
|
tree
2023-03-12
S
v
en Ve
r
doolaege
i
sl_aff
.
c: ex
t
ract out isl_b
a
sic
_
m
ap_find_output_upp
e
r_div_c
.
.
.
commit
|
commitdiff
|
tree
2023-03-12
S
v
en Ve
r
doolaeg
e
isl_aff
.
c: pw_multi_aff_from_map_check_div: use isl_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2023-03-12
Sven
Verd
o
olaeg
e
isl_a
f
f
.
c: pw_multi_
a
ff_fro
m
_map_check_div: use isl_b
a
s
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2023-03-12
S
v
e
n
Verdoolae
g
e
isl_aff
.
c: extract o
u
t
i
sl_b
a
sic_map_inequal
i
ty_extra
c
t_outp
.
.
.
commit
|
commitdiff
|
tree
2023-02-25
Sven
V
erdool
a
eg
e
extract ou
t
shared isl_qpol
y
nom
i
al
_
{take,restore}_local
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
e
x
tract ou
t
shared
isl_
q
polynomial_get
_
local
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
oola
e
ge
extract
o
u
t shar
e
d isl_qp
o
l
ynomi
a
l_{take
,
r
e
store}_pol
y
commit
|
commitdiff
|
tree
2023-02-25
S
ve
n
Verdoolaeg
e
extract out shared isl_qpolynomial_
g
et_p
o
ly
commit
|
commitdiff
|
tree
2023-02-25
Sven Ve
r
d
ool
a
ege
isl_
q
pol
y
nomi
a
l_move_dim
s
: per
f
o
rm
m
ore s
a
nity
c
h
ecks
commit
|
commitdiff
|
tree
2023-02-25
S
ven Verdoola
e
ge
isl_qpolynomial_move_dims:
drop needless error l
a
bel
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Verdoolaege
isl_qpolynomial_mov
e
_dims: use isl_qpolynomi
a
l_get
_
ctx
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Verdoolaege
isl_qpo
l
ynomial_move
_
dims: use
isl_local
_
mo
v
e_vars
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
o
o
l
aege
i
s
l_b
a
sic_se
t
_factor
i
zer: us
e
isl_ba
s
i
c
_s
e
t_var_
o
ffset
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n
Verd
o
olaege
isl_factorizer_groups:
u
se isl_ba
s
i
c
_se
t
_
v
a
r
_
offset
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoo
l
aege
isl_basic_map_fro
m
_qpol
y
no
m
ial: use isl_ba
s
ic_
m
ap
_
from_a
f
f
commit
|
commitdiff
|
tree
2023-02-25
S
v
e
n Verd
o
olaege
i
sl_basic_map_from_qp
o
lynomial: rename local
variable
commit
|
commitdiff
|
tree
2023-02-25
S
v
en
V
erdoolaege
isl_local_s
p
ace_get
_
local:
f
ix memory man
a
g
e
ment annotation
commit
|
commitdiff
|
tree
2023-02-05
Sven
Verdoolae
g
e
a
dd isl_unio
n
_m
a
p_check_named_param
s
commit
|
commitdiff
|
tree
2022-08-21
Sven Verd
o
ola
e
ge
i
sl_union_map_align_params: use isl_uni
o
n_map_get_
c
tx
commit
|
commitdiff
|
tree
2022-08-21
Sven V
e
rdo
o
la
e
ge
is
l
_basic_map_ali
g
n_params: reuse
i
sl_b
a
sic_map_pee
k
_space
commit
|
commitdiff
|
tree
2022-08-21
Sven Ver
d
o
olaege
isl_p
a
rameter
_
alignm
e
n
t
_reordering
:
use isl_space_get_ctx
commit
|
commitdiff
|
tree
2022-08-21
Sven Verdoolaege
isl_
p
a
rameter_alignmen
t
_reorderin
g
: us
e
isl
_
sp
a
ce
_
dim
commit
|
commitdiff
|
tree
2021-12-20
Sven Verdoolaege
isl_ba
s
ic_map_plain_c
m
p: specific
a
lly handl
e
unknown
.
.
.
commit
|
commitdiff
|
tree
2021-08-31
Sven V
e
rdoolaege
unexpos
e
isl_basic_se
t
_sample_bounded
commit
|
commitdiff
|
tree
2021-08-31
Sven
V
e
rdool
a
e
g
e
isl_lp
.
c:
m
ake i
s
l_tab_sol
v
e_lp static
commit
|
commitdiff
|
tree
2021-08-15
Sven Verdoolaege
extract out
s
hared isl
_
lo
c
a
l
_spac
e
_{take,
r
estore}_local
commit
|
commitdiff
|
tree
2021-08-15
Sv
e
n Verdoolaege
isl_local_space_move_dims: e
x
tract out isl_
l
o
cal_move_v
a
r
s
commit
|
commitdiff
|
tree
2021-08-15
Sven
V
er
d
oola
e
ge
i
sl_local_space
_
o
ffset: use is
l
_space_o
f
fse
t
and isl_space_dim
commit
|
commitdiff
|
tree
2021-08-15
Sv
e
n Verdoolae
g
e
a
dd isl_loc
a
l_var_offset
commit
|
commitdiff
|
tree
2021-08-15
S
v
en
Verdoolaege
add
isl_
l
o
ca
l
_copy
commit
|
commitdiff
|
tree
2021-08-11
S
ven Verdoo
l
a
ege
extract
o
ut shared isl_multi_*_{take,restore}
_
s
p
ace
commit
|
commitdiff
|
tree
2021-08-02
Sven Verdoolae
g
e
i
s
l
_
basic_
s
et
_
co
p
y
:
i
m
p
le
m
e
nt in te
r
ms
o
f isl_basic
_
map_copy
commit
|
commitdiff
|
tree
2021-06-10
Sven V
e
rdoo
l
a
e
g
e
isl_map
.
c:
extract out shared che
c
k_conv
e
x_no_l
o
cals
commit
|
commitdiff
|
tree
2021-06-10
Sven
V
er
d
oo
l
ae
g
e
i
sl_map
.
c: extract out
s
hared is_c
o
n
vex_no
_
l
ocals
commit
|
commitdiff
|
tree
2021-06-10
Sven Ve
r
doolae
g
e
isl_map
.
c: m
a
p
_
intersect_add_constra
i
nt: fix
sanit
y
.
.
.
commit
|
commitdiff
|
tree
2021-05-30
Sven Verdoolaeg
e
a
d
d
isl_pol
y
hedron_remove_redundant_
e
qualitie
s
test
.
.
.
commit
|
commitdiff
|
tree
2021-05-25
Sven Verdoolaege
isl_se
t
_
s
ubsti
t
ute: imple
m
ent in
terms of isl
_
se
t
_preimag
e
_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-11
Sven V
e
rdoolaege
is
l
_basic_set_mu
l
t
iplicativ
e
_c
a
ll: detect redundant
.
.
.
commit
|
commitdiff
|
tree
2020-12-31
S
v
e
n
Verdo
o
l
a
e
ge
privately export is
l
_
q
p
o
lyno
m
ia
l
_list_
p
e
e
k
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
extract out shared isl_q
p
o
ly
n
om
i
al_fold_check_equal_space
commit
|
commitdiff
|
tree
2020-12-30
Sven V
e
rd
o
o
laege
extract out s
h
ared isl_qpolynom
i
al_
f
o
l
d_chec
k
_
eq
u
a
l
_type
commit
|
commitdiff
|
tree
2020-12-30
S
ven
V
e
r
d
o
ol
a
eg
e
extract out shared
isl_morph_c
h
e
ck_applies
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_qpolynomial_f
o
l
d
_m
o
rph_d
o
main: use isl_
m
orph_get
_
ran_space
commit
|
commitdiff
|
tree
2020-12-30
Sv
e
n
V
e
r
d
o
o
laege
isl_qpolynomial_morph_domain: use
isl_q
p
olynomia
l
_get_
c
t
x
commit
|
commitdiff
|
tree
2020-12-30
Sven
Ve
r
d
ool
a
ege
isl_fold
.
c:
q
polynomial_
f
old_
a
lloc: use isl_space_
g
e
t_ctx
commit
|
commitdiff
|
tree
2020-12-30
Sv
e
n
Verdoolaege
i
sl
_
bou
n
d
.
c: compressed_guarded_poly_bound:
use isl_bas
i
c
_
se
.
.
.
commit
|
commitdiff
|
tree
2020-12-24
Sven Verdoolaege
i
sl
_
seq_elim: c
l
ari
f
y doc
u
mentation
commit
|
commitdiff
|
tree
2020-09-19
Sven Ver
d
o
olaege
i
s
l_morph_
s
et: use isl_set_preim
a
g
e_mul
t
i_aff
commit
|
commitdiff
|
tree
2020-09-19
S
ven
V
e
rdoolaege
isl_morp
h
_bas
i
c_
s
et
:
use is
l
_b
a
sic_set_pre
i
mag
e
_multi_
a
f
f
commit
|
commitdiff
|
tree
2020-09-15
S
ven V
e
rd
o
olae
g
e
is
l
_tab_pip
.
c
: alig
n
_c
o
ntext_divs: on
l
y add
local
variables
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Sven Verdoolaege
drop isl_space_get_full_domain_
h
ash
commit
|
commitdiff
|
tree
2020-09-01
Sven Verdoola
e
ge
test isl_
s
pace_get_tup
l
e
_domain_hash inste
a
d
o
f isl_spa
c
e_ge
.
.
.
commit
|
commitdiff
|
tree
2020-08-30
Sven Verdoola
e
ge
isl_un
i
on_*: use tuple has
h
i
n
h
a
sh
table
commit
|
commitdiff
|
tree
2020-08-30
S
v
en Verdoolaege
add
i
sl_
s
pace_ge
t
_tuple_domai
n
_ha
s
h
commit
|
commitdiff
|
tree
2020-08-25
Sve
n
Verdoolae
g
e
isl_unio
n
_map
:
ignore pa
r
a
meters w
h
en looking
u
p entrie
s
commit
|
commitdiff
|
tree
2020-08-25
S
v
en
Verd
o
ol
a
ege
add is
l
_m
a
p_has_sp
a
ce_tuples
commit
|
commitdiff
|
tree
2020-08-25
Sven Verdoolaege
i
sl_union_map: use tu
p
l
e has
h
in
hash tab
l
e
commit
|
commitdiff
|
tree
2020-08-25
Sven
V
e
r
d
o
olaege
renam
e
isl
_
space_
g
et_{dom
a
in_,}hash to i
s
l_
s
p
a
ce_
g
et_full_
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Sven
Verdoolaege
isl_
s
pace_get_h
a
sh: document relation with i
s
l_space_get_dom
.
.
.
commit
|
commitdiff
|
tree
2020-08-23
Sv
e
n Verd
o
olaege
i
s
l_unio
n
_m
a
p
.
c
: has_space
:
use isl_map_has_sp
a
c
e
commit
|
commitdiff
|
tree
2020-08-23
S
ven Ver
d
oolaege
a
d
d isl_map_has_space
commit
|
commitdiff
|
tree
2020-08-16
Sve
n
Verdo
o
laege
isl_union_map
.
c
:
is_disjoint_entry: us
e
isl_m
a
p_peek
_
spa
c
e
commit
|
commitdiff
|
tree
2020-08-16
Sven V
e
rdoolaege
is
l
_
u
nion_m
a
p
.
c: i
s
_subset_entry: use
i
sl_map_peek_spa
c
e
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
isl_un
i
on_map
.
c: match_bin
_
en
t
ry:
use
i
s
l
_map_p
e
e
k
_space
commit
|
commitdiff
|
tree
2020-08-16
S
ven Verd
o
olaege
isl_union_map_a
d
d_map:
use isl_map_pe
e
k_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Verd
o
olaege
isl_uni
o
n
_*_eval: use isl_union_*_g
e
t_ctx
commit
|
commitdiff
|
tree
2020-08-09
Sven Verdoolae
g
e
isl_map
_
range: implement in terms of isl_
m
ap_project_ou
t
commit
|
commitdiff
|
tree
2020-08-09
Sven Verdoolaege
isl_map_domain: i
m
plement
i
n ter
m
s of isl_map_pr
o
ject_out
commit
|
commitdiff
|
tree
2020-08-08
Sven Verdoola
e
ge
is_adj_ineq_extension
:
use isl_basic_ma
p
_
n_{in,}equality
commit
|
commitdiff
|
tree
2020-07-27
S
ven Verdo
o
laege
isl_bas
i
c_map_drop_redundant
_
divs_ineq: extract out
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sv
e
n
V
erdoolaege
extra
c
t
o
ut shared isl_b
a
sic_map_appli
e
s_range
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdo
o
l
a
e
ge
i
s
l_basic
_
map_appl
y
_r
a
nge
:
e
xtract out isl_basic_map_check
_
a
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
extract ou
t
sh
a
re
d
i
s
l_
m
ap
_
space_tup
l
e_i
s
_equal
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoo
l
ae
g
e
extr
a
ct out shared is
l
_map
_
tuple_is_e
q
ua
l
commit
|
commitdiff
|
tree
2020-05-04
Sven
Verdoolaege
isl_ma
p
_deltas: use
i
sl_map_check_tr
a
nsform
a
tion
commit
|
commitdiff
|
tree
2020-05-04
S
v
e
n
Verdool
a
ege
extr
a
ct
o
ut shared isl_b
a
sic_map_check
_
transforma
t
ion
commit
|
commitdiff
|
tree
2020-05-04
Sven Verd
o
o
l
a
e
ge
ex
t
ract
out shared
i
sl_b
a
sic_m
a
p_
i
s
_
transfo
r
mation
commit
|
commitdiff
|
tree
2020-03-28
Sv
e
n Ve
r
do
o
laeg
e
dr
o
p unused i
s
l_basic_
s
et_is_div_constraint
commit
|
commitdiff
|
tree
2020-03-23
Sven Verdoolaege
isl_map_simplify
.
c: uset_g
i
s
t
_
c
ompres
s
e
d
: do
n
ot mark
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Sven
Verdoo
l
aege
add i
s
l
_pw_q
p
oly
n
om
i
al_max test case
commit
|
commitdiff
|
tree
2019-12-18
Sven Verdoola
e
ge
add exported isl_multi_aff_get_c
o
nstant_multi_val
commit
|
commitdiff
|
tree
2019-12-10
Sven Verd
o
o
l
aege
i
s
l_
a
f
f_add: normalize result
commit
|
commitdiff
|
tree
2019-12-03
Sven
V
erdoolaege
isl_m
a
p
.
c: ext
r
act out s
h
a
r
ed isl
_
basic
_
map_chec
k
_compatible
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sv
e
n Ver
d
o
o
l
a
ege
isl_p
w
_
*_on_shared_domain
:
check t
h
at
i
nputs li
v
e in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sv
e
n Ver
d
oolaege
isl_ba
s
ic_map_plain
_
unshi
f
ted_simple_hull: check inp
u
t
s
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
isl_ma
p
_
pla
i
n
_is_equ
a
l
:
use is
l
_map_has_equal_spac
e
commit
|
commitdiff
|
tree
2019-11-30
S
v
en Verd
o
olae
g
e
i
sl
_
basic_map_contains_poi
n
t: extract out
i
sl_basic_map_poin
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolaege
extract out shared isl_ma
p
_check_equal
_
s
p
a
c
e
commit
|
commitdiff
|
tree
next