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_basic_map_check_transformation
2020-05-04
Sven Verdoolaege
extract out share
d
isl_basic_m
a
p
_check_transform
a
t
i
on
commit
|
commitdiff
|
tree
2020-05-04
Sv
e
n
Verdoolaege
extr
a
ct out sh
a
red isl_basic_map_is_transformatio
n
commit
|
commitdiff
|
tree
2020-03-28
Sven Verd
o
olaege
drop
u
nused
i
sl_basic_set_is_div
_
c
o
nstraint
commit
|
commitdiff
|
tree
2020-03-23
Sven Verdoolaeg
e
isl_map_
s
imp
l
ify
.
c: uset_gist_compressed: do no
t
mar
k
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Sve
n
Verdoola
e
ge
add isl_pw_
q
p
olynomial_max test case
commit
|
commitdiff
|
tree
2019-12-18
Sven Verdoolaege
add export
e
d isl_multi_aff
_
get_constant_multi_val
commit
|
commitdiff
|
tree
2019-12-10
S
ven
V
erdoolaege
isl_af
f
_ad
d
: normalize result
commit
|
commitdiff
|
tree
2019-12-03
Sven
V
erdoolaege
isl_
m
ap
.
c: extract ou
t
sh
a
r
e
d i
s
l_ba
s
ic_ma
p
_check_compatible
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolae
g
e
i
sl_pw_*_on_shared_do
m
ain: check that inputs
l
i
v
e
in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
i
sl_basic_map_p
l
ain_un
s
hifted_simple_hul
l
: check inputs
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
S
v
e
n Verdoolaeg
e
isl_
m
ap_plain_is_equal: use i
s
l_map_ha
s
_
equal_space
commit
|
commitdiff
|
tree
2019-11-30
S
ven Ve
r
doolaege
isl_ba
s
ic_map_contains_point: extract out isl
_
basic_map_poin
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
S
ven
Verdoolaege
e
x
t
ract out shared isl_ma
p
_
check_equal_space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
isl_morph
.
c:
i
sl_morph_set: ext
r
act out isl_set_b
a
sic_s
e
t_ch
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erd
o
olaege
extrac
t
out
s
hared isl_map_basic_
m
a
p_check_equal_s
p
ace
commit
|
commitdiff
|
tree
2019-11-30
S
ven Verd
o
o
l
aege
e
xtract out sh
a
r
e
d isl
_
basic_map_check
_
equal_s
p
ace
commit
|
commitdiff
|
tree
2019-11-30
Sven
Verdoolaege
isl_set_ha
s
_equ
a
l_space:
i
mplement
in
t
erms
o
f isl_map_has_e
.
.
.
commit
|
commitdiff
|
tree
2019-11-28
Sven
Verdoolaege
i
s
l_
b
asi
c
_
{
se
t
,ma
p
}_extend_space: drop
s
pace ar
g
ume
n
t
commit
|
commitdiff
|
tree
2019-11-28
Sven Verdoo
l
aege
drop
isl_ba
s
ic_map_extend
commit
|
commitdiff
|
tree
2019-11-24
S
ven
V
e
r
d
o
ol
a
e
ge
isl_p
w
_templ
.
c: extract out isl
_
pw_lift_templ
.
c
commit
|
commitdiff
|
tree
2019-11-24
Sven
V
erdoolaege
i
sl_pw_templ
.
c: extract out isl_pw_morp
h
_
tem
p
l
.
c
commit
|
commitdiff
|
tree
2019-11-15
S
v
en Verdoolaege
dro
p
isl_ba
s
ic_set_add_c
o
nstrai
n
t
s
commit
|
commitdiff
|
tree
2019-09-21
Sven Verdoo
l
aege
add
b
asic isl_union_map
_
i
ntersect test
commit
|
commitdiff
|
tree
2019-09-12
Sven Verdoolaege
export isl_
m
ulti_
v
al_read_from_s
t
r
commit
|
commitdiff
|
tree
2019-09-07
Sven V
e
rdoolaeg
e
isl_basic
_
se
t
_recess
i
on_
c
one: handle
e
mpty inp
u
t explicitl
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-09-07
Sven Ve
r
dool
a
eg
e
add
s
o
m
e
basic
isl_basic_set_recess
i
on_con
e
te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-08-25
Sven Verdoolaege
isl_mat_private
.
h: pro
t
ect ag
a
inst mult
i
ple incl
u
s
ions
commit
|
commitdiff
|
tree
2019-08-14
S
v
e
n Verdoolae
g
e
add
is
l
_spac
e
_w
r
apped_dim
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
isl_map_de
l
tas_map
:
use isl_sp
a
c
e
_rang
e
_map
commit
|
commitdiff
|
tree
2019-08-07
Sven Verd
o
olaege
extract out shar
e
d
isl_map_{t
a
k
e,restore}_space
commit
|
commitdiff
|
tree
2019-08-07
Sven Ver
d
oolaege
isl_
m
ap_set_d
i
m_i
d
: use isl_
m
ap_get_spa
c
e
commit
|
commitdiff
|
tree
2019-08-07
Sven Ve
r
dool
a
ege
isl_
m
ap_r
e
set_tup
l
e_id:
use
isl_map_get_s
p
ace
commit
|
commitdiff
|
tree
2019-08-07
Sve
n
Verdoo
l
aege
isl_map_s
e
t_tuple_id: use is
l
_map_get_s
p
a
c
e
commit
|
commitdiff
|
tree
2019-08-07
S
ven Verdoolae
g
e
i
sl_map
_
r
ange_map: use isl_spac
e
_range_map
commit
|
commitdiff
|
tree
2019-08-07
Sven Ver
d
oolaege
is
l
_ma
p
_range_map
:
p
r
es
e
rve disj
o
in
t
n
ess
commit
|
commitdiff
|
tree
2019-08-07
Sven V
e
r
doolaege
isl_map_
d
omain_map: pres
e
rve di
s
join
t
ness
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaeg
e
isl_
m
ap
.
c:
extra
c
t
out shared isl_basic_map_{ta
k
e,res
t
ore
.
.
.
commit
|
commitdiff
|
tree
2019-08-07
S
v
e
n
V
erdoolaege
isl_basic_map_over
l
yin
g
_set:
u
se isl_basic_ma
p
_get_space
commit
|
commitdiff
|
tree
2019-06-22
S
v
en Verdoolae
g
e
add exporte
d
i
s
l_pw_multi_aff_
r
a
n
ge_facto
r
_{domain
.
.
.
commit
|
commitdiff
|
tree
2019-06-22
Sve
n
Verdoolaege
add isl_pw_*_{take,resto
r
e
}
_base
_
at
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdo
o
la
e
ge
a
dd isl_pw_
*
_
{
take,restore}_space
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoola
e
ge
isl_pw_*:
use
b
a
s
e type to identify elements
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoolaege
isl_set_overlaps: impl
e
m
ent in
t
erms
o
f isl_set_is_disjoint
commit
|
commitdiff
|
tree
2019-06-20
Sven
V
erdoolae
g
e
isl_test
.
c: test_l
e
xmin: abort on
failed test
commit
|
commitdiff
|
tree
2019-06-20
S
ven Verdoolaege
isl_s
p
ace_zip
:
fi
x
err
o
r message
commit
|
commitdiff
|
tree
2018-10-11
Sven Verdoola
e
ge
exp
o
rt isl_ast_build_no
d
e
_from_s
c
hedule
commit
|
commitdiff
|
tree
2018-10-08
Sven
V
erdo
o
laege
isl_basic_{ma
p
,set}
_
free_inequality:
return modi
f
ied
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolae
g
e
isl_
b
asic_m
a
p_fr
e
e_inequal
i
t
y: avo
i
d
a
c
ce
s
sing c
t
x
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolaege
isl_basic_
{
map,set}_free
_
equa
l
ity
:
r
eturn modified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolaege
isl_basic_m
a
p
_
fr
e
e_equality: avoid accessing
c
t
x
f
iel
d
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sv
e
n Verd
o
olae
g
e
i
s
l_output
.
c:
c
a
n_pr
i
nt_div_exp
r
:
use isl_local_div_is_marke
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sven Verdoola
e
ge
add is
l
_tab_
s
wap_c
o
nst
r
aints
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
drop
dep
r
ec
a
ted isl_basic_map_n_*
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolae
g
e
drop deprecated isl_
m
a
p
_n_p
a
ram
commit
|
commitdiff
|
tree
2018-09-06
S
ven
V
erdoolaeg
e
drop deprecate
d
isl_
m
ap_n_
o
ut
commit
|
commitdiff
|
tree
2018-09-06
S
ven V
e
rdoolaege
drop deprecated is
l
_m
a
p
_
n_in
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_dim: use i
s
l_space_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_set_params:
imple
m
en
t
in t
e
rms of
i
sl_map_par
a
ms
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_set_dim
:
im
p
l
e
ment i
n
term
s
of isl_map
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_morph
.
c: cop
y
_equal
i
t
ies: use isl
_
b
asic_set_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
_
sub
t
ract
.
c: tab_
a
d
d
_constraint
:
u
s
e isl_basic_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_map_
s
ubtract
.
c: tab_add_
c
onstraint
s
: use isl_basic_map
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoola
e
ge
isl_
b
a
sic_set_vari
a
ble_compres
s
ion: use isl_basic_set_offs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_b
a
sic_map_domain_p
r
o
d
uct: use isl_basic_
m
ap_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdool
a
e
g
e
isl_
b
asic_
m
ap_overly
i
n
g
_set: use isl_bas
i
c_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p_apply_range: use isl
_
basic_ma
p
_g
e
t_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c
: move_last: use isl_bas
i
c_ma
p
_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map
.
c
:
move_
l
ast:
u
s
e isl
_
basic_ma
p
_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basic_m
a
p_move
_
d
ims: u
s
e
isl_basi
c
_map_pee
k
_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_basi
c
_
m
a
p_intersect: use isl_basi
c
_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_bas
i
c_map_inter
s
ect
_
range: use isl_basi
c
_
set
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaeg
e
isl_basic_
m
ap_
i
ntersect_domain: use
isl_basic
_
set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
i
sl_map_sol
v
e
_lp: use
i
sl_ma
p
_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_polynomial
.
c: fix_inactive: u
s
e isl_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_ou
t
put
.
c: drop_aff: use
isl_basic_map
_
v
a
r
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
l
aege
isl_basic_map_drop_redundant_divs_ineq: use isl_
b
asic_ma
p
_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdo
o
laege
isl_map_simpl
i
fy
.
c:
.
.
.
_drop
_
m
ore_redundant_d
i
vs:
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
i
sl_map
_
simplif
y
.
c:
coalesce_
d
ivs
:
use isl_basic_
m
ap_va
r
_
o
ffse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oo
l
a
e
g
e
isl_ma
p
_
s
i
m
p
l
ify
.
c: div_i
s
_redundant
:
u
s
e
is
l
_
b
asic_map
_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_
i
s_di
v
_constra
i
nt: use isl_basi
c
_map_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
isl_ma
p
_simplif
y
.
c: e
l
imina
t
e_unit_divs: use is
l
_basic_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_simplify
.
c: check_for_div_constr
a
i
n
ts: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_map_simplify
.
c: b
e
tter_
d
iv_constrain
t
:
u
se is
l
_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_map_simplify
.
c: ok_to_set_
d
iv_
f
r
om_
b
ound: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: set_div_from_
l
ow
e
r_boun
d
:
use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
do
o
laege
isl_map
.
c:
f
ind_div
:
use isl_basic_map_var_
o
f
f
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_b
a
sic_ma
p
_
o
rder_divs: use isl_
b
asic_
m
ap_var
_
o
ffs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
.
c: bas
i
c_se
t
_append_equa
l
ities: us
e
isl_b
a
s
i
c_set_of
f
s
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_map
.
c: insert_div_rows: use i
s
l_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
s
l
_
b
asic_map_remove_divs: use isl
_
b
asic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_basic_map_swap_d
i
v: use isl_
b
as
i
c
_map_var_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_make_strides_explicit: use
i
s
l
_
b
a
s
i
c_map_va
r
_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_aff_su
b
stitute_equalities_lifted:
u
se isl_basic_set_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_ba
s
i
c
_se
t
_posi
t
i
v
e_orthant: use i
s
l_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_basic_{set,map}_print_
i
nternal
:
u
se isl_p
r
int
e
r_print_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olae
g
e
is
l
_tran
s
iti
v
e_
c
losu
r
e
.
c: empt
y
_path
_
is_identity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_map_simplify
.
c: div_find_c
o
alesc
e
: reuse is_
o
p
posite
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_map_si
m
pl
i
fy
.
c: mov
e
u
p i
s
_
o
p
posite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
isl
_
tab_pip
.
c:
f
i
n
d
_c
o
ntext_div: re
s
erv
e
n
e
gative return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
o
o
laege
is
l
_map_simplify
.
c: div_find_coale
s
c
e: reser
v
e negativ
e
.
.
.
commit
|
commitdiff
|
tree
next