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_morph_basic_set: use isl_basic_set_preimage_multi_aff
2020-09-19
Sven Verdoolaege
isl_morph_basic_set: use isl_basic_s
e
t
_
preimage_multi_aff
commit
|
commitdiff
|
tree
2020-09-15
S
v
en Verdoolaege
isl_tab_pip
.
c: align_context_d
i
vs: onl
y
add
l
ocal variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Sve
n
Verdoolaege
drop isl_space_get_
f
ull_
d
oma
i
n_h
a
sh
commit
|
commitdiff
|
tree
2020-09-01
Sven
V
erdoolaege
test isl_space_get_tuple_
d
omain_ha
s
h instead o
f
isl_space_ge
.
.
.
commit
|
commitdiff
|
tree
2020-08-30
Sven
Verdool
a
ege
isl_union_*: use tu
p
le hash in hash ta
b
le
commit
|
commitdiff
|
tree
2020-08-30
Sven
Ver
d
oolaege
add isl
_
space_get_tuple_do
m
ain_hash
commit
|
commitdiff
|
tree
2020-08-25
Sve
n
Verdoo
l
aege
isl_unio
n
_ma
p
: ignore parameters
wh
e
n lookin
g
u
p
entries
commit
|
commitdiff
|
tree
2020-08-25
Sven
V
erdool
a
ege
add
i
sl_ma
p
_has_space_tuple
s
commit
|
commitdiff
|
tree
2020-08-25
S
v
en Ve
r
doolaege
isl_union
_
map: use tuple hash in
h
ash table
commit
|
commitdiff
|
tree
2020-08-25
S
ven Verdoolaege
rename isl_space_
g
et_{dom
a
in_,}ha
s
h to
i
s
l_sp
a
c
e_get
_
f
u
l
l
_
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Sv
e
n V
e
r
d
o
olaege
isl_sp
a
ce_get_hash: document relation wi
t
h isl_space_
g
et_dom
.
.
.
commit
|
commitdiff
|
tree
2020-08-23
Sv
e
n Verdool
a
ege
isl_union
_
map
.
c: has_spac
e
:
use isl_map_has_space
commit
|
commitdiff
|
tree
2020-08-23
Sve
n
Verdoolaeg
e
add isl_map_
h
as_spac
e
commit
|
commitdiff
|
tree
2020-08-16
S
v
en Verd
o
ol
a
ege
isl_
u
nion_ma
p
.
c
:
is_disjo
i
n
t_ent
r
y:
u
se
i
s
l
_map_peek_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Ve
r
d
o
o
laege
i
s
l
_union_map
.
c: i
s
_subset_ent
r
y:
use
i
sl_
m
ap_peek
_
space
commit
|
commitdiff
|
tree
2020-08-16
Sven Ve
r
doolaege
isl_un
i
on_map
.
c
: match_bin
_
entry
:
use
i
sl_map_pe
e
k_space
commit
|
commitdiff
|
tree
2020-08-16
Sven Verdoolaege
i
s
l_union_map
_
add
_
m
a
p: use isl_map_p
e
ek_sp
a
c
e
commit
|
commitdiff
|
tree
2020-08-16
Sve
n
Verdoolaeg
e
isl_union_*_eval: u
s
e isl
_
u
n
i
on_*_g
e
t_
c
tx
commit
|
commitdiff
|
tree
2020-08-09
Sven
V
e
r
d
oolaege
isl_map_range:
i
mplement in terms of
i
sl_map_projec
t
_out
commit
|
commitdiff
|
tree
2020-08-09
Sv
e
n Verdoolaege
i
sl_map_domain:
i
mplement in terms of isl_map_proje
c
t_ou
t
commit
|
commitdiff
|
tree
2020-08-08
Sven Ver
d
o
olaege
i
s
_
adj_ineq_
e
x
tension: use isl_basi
c
_map_n_{in,}eq
u
ali
t
y
commit
|
commitdiff
|
tree
2020-07-27
S
v
en
V
erdool
a
eg
e
isl_basic_
m
ap_drop_
r
edundant_
d
i
v
s_ineq: extr
a
ct o
u
t
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sv
e
n
V
e
rdo
o
la
e
ge
extract out
s
hared isl_basi
c
_map
_
app
l
ies_range
commit
|
commitdiff
|
tree
2020-05-04
Sve
n
Verdo
o
laeg
e
i
sl_ba
s
ic_map
_
a
pply_r
a
nge: extract
o
ut
i
sl_basic
_
map_check_a
.
.
.
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaege
extrac
t
out shared isl_map
_
space_tup
l
e_is_e
q
ual
commit
|
commitdiff
|
tree
2020-05-04
Sven
V
er
d
oolaege
extract out share
d
isl_map_tuple_i
s
_equal
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaeg
e
i
s
l
_map_delt
a
s: use isl_map_ch
e
ck_
t
r
a
nsfor
m
ation
commit
|
commitdiff
|
tree
2020-05-04
Sven Verdoolaeg
e
extract out s
h
a
r
ed isl_basic_map_
c
heck_
t
ran
s
f
o
rmation
commit
|
commitdiff
|
tree
2020-05-04
Sven Verd
o
olaege
extract
o
u
t
shared isl_bas
i
c_ma
p
_is_transfo
r
mation
commit
|
commitdiff
|
tree
2020-03-28
Sven Ver
d
oolaege
drop
unused isl_basic
_
set_is
_
d
i
v_constraint
commit
|
commitdiff
|
tree
2020-03-23
Sven
V
erdoolaege
isl_map
_
simplify
.
c
:
uset_
g
ist_compressed: do
not mark
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Sve
n
V
er
d
oolaege
add i
s
l_
p
w_qpolynomial_max test case
commit
|
commitdiff
|
tree
2019-12-18
Sven
Ve
r
d
ool
a
ege
a
d
d e
x
po
r
ted isl
_
mu
l
ti_aff_get_con
s
tant_multi_val
commit
|
commitdiff
|
tree
2019-12-10
Sven V
e
rdool
a
ege
isl_aff_add:
normalize
result
commit
|
commitdiff
|
tree
2019-12-03
S
v
en
Ver
d
o
o
laege
isl_map
.
c: ex
t
ract out s
h
ared isl_basic_ma
p
_check_compatibl
e
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoo
l
aege
isl_pw_*_on_shared_domain: check that inputs live in
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven
V
erdoolaege
isl_
b
asic_map_pla
i
n
_unshifted_simple_hull
:
check i
n
puts
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sve
n
Verdoo
l
aege
isl_map_p
l
ain_is_equal: use isl_map_
h
a
s_equa
l
_space
commit
|
commitdiff
|
tree
2019-11-30
S
v
e
n Verdoo
l
aege
isl_basic_map_cont
a
in
s
_point: extract out isl_
b
asic_map_poin
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
S
ven
V
erdoolaege
extra
c
t
out shared isl_map_check
_
equ
a
l_space
commit
|
commitdiff
|
tree
2019-11-30
Sven V
e
r
d
oolaege
isl_m
o
rph
.
c: isl_morph_se
t
: extrac
t
out isl_s
e
t_basic
_
s
e
t
_ch
.
.
.
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
extract ou
t
sha
r
ed isl
_
map_basic_ma
p
_ch
e
ck_equal_spa
c
e
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoo
l
aege
e
xtract
o
ut
s
har
e
d isl_basic
_
map
_
c
h
e
c
k_
e
qual_space
commit
|
commitdiff
|
tree
2019-11-30
Sven Verdoolaege
isl_set_has_equal_
s
pace: im
p
lement in t
e
rms of isl_ma
p
_has_e
.
.
.
commit
|
commitdiff
|
tree
2019-11-28
Sven Verdoola
e
ge
is
l
_basic_{s
e
t,map}
_
e
xtend_sp
a
ce: drop space argument
commit
|
commitdiff
|
tree
2019-11-28
Sven Verdoolaege
drop
i
sl_basic_map
_
extend
commit
|
commitdiff
|
tree
2019-11-24
Sven Ver
d
oolaege
isl_pw_templ
.
c:
extract out i
s
l_pw_
l
if
t
_templ
.
c
commit
|
commitdiff
|
tree
2019-11-24
Sven Verdo
o
l
ae
g
e
isl
_
pw_templ
.
c: extract out
isl_
p
w_morph_tem
p
l
.
c
commit
|
commitdiff
|
tree
2019-11-15
Sven Verdoolae
g
e
d
r
op
i
sl_basic_set_add_co
n
straints
commit
|
commitdiff
|
tree
2019-09-21
Sven Verdoolaege
add basic i
s
l_un
i
on
_
map_intersect t
e
st
commit
|
commitdiff
|
tree
2019-09-12
Sven Verdo
o
laege
export isl_multi_va
l
_read_from_str
commit
|
commitdiff
|
tree
2019-09-07
Sv
e
n Verdoolaege
isl_
b
asic_set_reces
s
ion_cone
:
h
a
n
d
le emp
t
y inp
u
t explicitly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-09-07
Sven Verdoo
l
aege
add some bas
i
c isl_basic_set_recession_cone te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2019-08-25
Sv
e
n
V
e
r
doolaege
isl_mat_private
.
h: protect
a
gain
s
t m
u
ltiple in
c
lusio
n
s
commit
|
commitdiff
|
tree
2019-08-14
S
ven Ve
r
do
o
laege
add isl_s
p
a
ce_wrapped_dim
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
isl_map_deltas_m
a
p: use isl_s
p
ace_r
a
n
g
e_map
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
extract out shared isl_
m
ap_{take,restore}_spac
e
commit
|
commitdiff
|
tree
2019-08-07
S
ven Verdoolaege
is
l
_map_
s
et_dim_id: us
e
isl_map_get_s
p
ace
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoo
l
aege
isl_
m
ap_reset_tuple_i
d
:
u
s
e isl_map_g
e
t_space
commit
|
commitdiff
|
tree
2019-08-07
S
v
en Verdoolaege
is
l
_map_s
e
t_tuple_
i
d: use isl_map_
g
et_
s
pa
c
e
commit
|
commitdiff
|
tree
2019-08-07
Sven
V
er
d
o
o
l
aege
isl_map_range
_
map: us
e
isl_
s
pace_ran
g
e_map
commit
|
commitdiff
|
tree
2019-08-07
Sven
Verdo
o
laege
isl_ma
p
_ran
g
e_m
a
p
:
preserve disjointness
commit
|
commitdiff
|
tree
2019-08-07
Sven Ver
d
oolaege
isl
_
m
a
p_domain_map: prese
r
ve
d
i
s
jointness
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoola
e
ge
isl_map
.
c: extract
o
ut shared i
s
l_basic_ma
p
_
{take,restore
.
.
.
commit
|
commitdiff
|
tree
2019-08-07
Sven Verdoolaege
isl_basic_map_ove
r
l
ying_
s
et:
u
se is
l
_basic_map_get_space
commit
|
commitdiff
|
tree
2019-06-22
Sven V
e
rd
o
o
l
aege
add ex
p
ort
e
d
i
s
l
_pw_mul
t
i
_
aff_range_f
a
c
tor_{doma
i
n
.
.
.
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoolaege
add isl_pw_*_{tak
e
,restore}_base
_
at
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoo
l
aege
add isl
_
p
w_*_
{
tak
e
,
r
es
t
ore}_
s
pace
commit
|
commitdiff
|
tree
2019-06-22
Sven Verdoolaege
isl_pw_*: us
e
base type to
i
denti
f
y
e
lements
commit
|
commitdiff
|
tree
2019-06-22
Sv
e
n
Verdoolae
g
e
isl_set_overlaps: implement in ter
m
s of isl_
s
et_is_disjoint
commit
|
commitdiff
|
tree
2019-06-20
Sven Verdo
o
l
aeg
e
is
l
_test
.
c: test_le
x
min: abort on failed test
commit
|
commitdiff
|
tree
2019-06-20
Sven Verd
o
olaege
isl_space_zip: fix error message
commit
|
commitdiff
|
tree
2018-10-11
Sven Verdoo
l
aege
export
i
sl_ast_build_
n
o
d
e_from_s
c
hedule
commit
|
commitdiff
|
tree
2018-10-08
Sven Verdoolaege
isl_basic_{map,set
}
_free_inequ
a
lity: return
modified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Ver
d
oo
l
aege
i
s
l_basic_map_free_inequality:
a
v
o
id accessing ctx
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven
V
erdoolaege
isl_basic_{map,set}_fr
e
e_e
q
ual
i
ty:
r
eturn modified
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Ver
d
oolaeg
e
isl_basic_map_fr
e
e_equa
l
ity
:
av
o
id accessing ctx fie
l
d
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolae
g
e
isl_output
.
c
:
can
_
print_div_expr: use isl_local_div_is_m
a
r
ke
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sven
V
e
rdoolaege
ad
d
i
s
l
_ta
b
_swap_cons
t
raints
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop deprecated is
l
_basic_map
_
n_*
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
d
o
olaege
dro
p
d
e
preca
t
ed isl_map_n_param
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolae
g
e
d
r
op
deprecated
i
sl_map_n_o
u
t
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolae
g
e
d
r
op de
p
r
ec
a
ted isl_map_n_in
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_map_dim: use isl_space_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
isl
_
set_params: i
m
p
l
emen
t
in terms of isl_map_param
s
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl
_
set_dim: imple
m
e
nt in terms of isl_map_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erd
o
olaege
isl_morph
.
c: copy_equalitie
s
: use isl_basic_set_get_space
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
o
o
laege
i
s
l
_
map
_
su
b
trac
t
.
c
:
tab
_
ad
d
_constraint: use isl
_
basic_m
a
p_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_subtract
.
c: t
a
b_ad
d
_
c
onstrai
n
ts: use is
l
_
basic_map_
d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_b
a
sic_set_vari
a
ble_compres
s
ion:
u
se isl_basic_s
e
t_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
i
s
l_basic_map_domain_product: use
isl_basi
c
_map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_bas
i
c_m
a
p_overl
y
ing_set: use isl
_
basi
c
_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl_basic_
m
ap_apply_range: use isl_basic_
m
ap_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
.
c: move_last: use isl_bas
i
c_map_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_map
.
c
: m
o
ve_last:
use is
l
_
b
asic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verd
o
olaeg
e
isl_ba
s
i
c_m
a
p_mo
v
e_dims: use isl_basic_map_peek
_
space
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_basic_map_intersect: use is
l
_ba
s
ic_
m
a
p
_
peek_s
p
a
c
e
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doola
e
g
e
isl_basic_map_i
n
tersect_range: use isl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
isl
_
b
a
sic_ma
p
_
intersect_domain: use is
l
_b
a
si
c
_s
e
t_di
m
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_sol
v
e_lp
:
use isl_map_dim
commit
|
commitdiff
|
tree
next