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_subtract.c: tab_add_constraints: use isl_basic_map_dim
2018-09-02
Sven Ve
r
d
oolae
g
e
isl_map_subtract
.
c: tab_
a
d
d
_constrain
t
s
:
use
isl_bas
i
c_m
a
p_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
is
l
_basic_set_variable_compression
:
use
i
s
l
_
bas
i
c_set_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_basic_m
a
p_d
o
main_product: use isl_basic_map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_
b
asic_m
a
p_o
v
erlying_set: use isl_bas
i
c_set
_
di
m
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_basic
_
map_apply_range
:
use
i
sl_basic_map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ve
r
dool
a
ege
isl_map
.
c: move_last: use isl_basic_m
a
p_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_map
.
c: move_l
a
st: use isl_basi
c
_map_pe
e
k_space
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_basic_map_move_dims
:
us
e
isl
_
basic_
m
ap_peek_spac
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
o
lae
g
e
isl_basic_map_intersect: use i
s
l
_ba
s
ic_map_peek_s
p
ace
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
i
s
l_basic_m
a
p_i
n
tersec
t
_range
:
u
se
i
s
l_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_inters
e
ct_domain: use isl_basic_se
t
_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
s
l_map_solve_lp: use isl_map_
d
im
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_poly
n
o
m
ial
.
c:
f
ix_
i
n
a
c
t
ive: use isl_set_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oola
e
g
e
isl_ou
t
p
ut
.
c: drop_
a
ff:
use isl_b
a
si
c
_
m
ap_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_bas
i
c_map_drop_redundant_divs_ineq: use
i
s
l
_
basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_
m
ap_simplify
.
c:
.
.
.
_drop_mo
r
e_redundant_divs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
s
i
mplify
.
c: c
o
al
e
sce_d
i
vs:
u
se i
s
l_b
a
si
c
_ma
p
_va
r
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_map_simplify
.
c: div
_
is_redundant:
use isl_basic_
m
ap_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basi
c
_map_is_div_constraint: use is
l
_
basi
c
_ma
p
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: e
l
iminate_unit_divs: use isl_basic_
m
ap_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl
_
m
a
p_si
m
plify
.
c:
c
he
c
k_for_div_co
n
straints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_map_simplify
.
c: better_div_
c
onstraint: use isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_map_simp
l
ify
.
c: ok_to_
s
e
t
_di
v
_from_bound: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
_
simplify
.
c: set_div_fro
m
_
l
ower_
b
ound: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl
_
map
.
c: find_di
v
: use isl_basic
_
map_var_o
f
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_b
a
sic_map_order_divs: us
e
isl_basic_m
a
p
_
v
a
r_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
ool
a
e
g
e
isl_
m
ap
.
c:
b
asic_set_ap
p
e
nd_equa
l
iti
e
s: u
s
e isl_
b
a
s
ic_set_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map
.
c: in
s
ert_
d
iv_rows: use isl_bas
i
c_map
_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l
_basic_map_r
e
mo
v
e_di
v
s: use isl_
b
as
i
c_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_ba
s
ic
_
m
a
p
_swap_div: us
e
isl_basic_ma
p
_var_off
s
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_make_strides_explic
i
t: use isl_basic_map_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
i
s
l_aff_substi
t
ute_equalities_lifted: use i
s
l_basic_
s
et_o
f
f
se
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
o
olaeg
e
isl_bas
i
c
_
s
e
t_positi
v
e_ort
h
ant
:
us
e
isl_
s
pace_dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_b
a
sic_{s
e
t,
m
ap}_print_int
e
rna
l
: use isl_printer_print_
b
a
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transi
t
ive
_
closure
.
c: empt
y
_path_
i
s_identity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
lae
g
e
isl
_
map_simpli
f
y
.
c: div_f
i
nd_c
o
ales
c
e: re
u
se is_
o
pposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_
s
implify
.
c: move up is_
o
pposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_tab_pip
.
c:
f
i
n
d_context
_
div: re
s
erve
negative retur
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
d
o
o
l
aege
isl_
m
ap_simplify
.
c: div_find_co
a
l
e
sce: reserve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
i
sl_map
.
c: find_div: reserve negative ret
u
rn va
l
ue
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernstein
.
c
:
i
s
_tight: m
i
nor code simplificati
o
n
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
_
simplify
.
c:
low
e
r_boun
d
_i
s
_cst: return -
1
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
add_lower_div_
c
onstr
a
int
:
retu
r
n
r
eturn modified
r
e
sult
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
add_upper_div_
c
onstra
i
n
t
:
r
eturn
return
m
odified
result
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
a
e
ge
i
s
l_
b
asic_map_add_div_constraint
:
return re
t
ur
n
m
odifie
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_basic_map_add
_
div_
c
onstrai
n
ts
:
return m
o
d
i
fied
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdo
o
laege
add_{upper
.
l
o
w
er}_div
_
constraint:
o
nly pas
s
i
n
p
osition
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
remo
v
e
n
ow unused isl_bas
i
c_{se
t
,map}_add_div_
c
o
nstraints_var
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaeg
e
i
sl_local_spac
e
.
c: normalize_div
:
return
m
odified result
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
normalize_
d
iv_expre
s
sion:
r
eturn
m
o
d
ified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_s
i
mplify
.
c: el
i
minat
e
_var_using_equality: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_map
.
c: set_ma_divs
:
retur
n
modi
f
ie
d
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
b
a
sic_map_swap_div: return mo
d
ified resu
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: pri
n
t_constraint_c:
d
rop now
redundant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c
:
drop
p
rint
_
aff
i
ne_c
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_out
p
ut
.
c
: print_constraint_c:
use pr
i
nt_ls_af
f
ine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_output
.
c: print_basic_set_c: use print_ls_par
t
ial_affine_
c
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
e
g
e
isl
_
cat: support C output
f
ormat
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_trans
i
tive_c
l
osure
.
c: a
d
d
_
len
g
th: reu
s
e increm
e
nt
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_transitive_
c
losure
.
c: move up increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
t
ra
n
s
i
t
ive_closure
.
c: increment
:
return isl_map
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
isl_transitive_closur
e
.
c
:
increment: cl
e
an up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_transiti
v
e_clo
s
ure
.
c:
m
a
p
_
power: use stricter test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl
_
map_d
e
ltas_map: extract out
i
sl_map_check_equa
l
_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
is
l
_qpolynomial_get_den: return i
s
l_va
l
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verd
o
olaege
re
n
ame
i
s
l_u
p
oly to
i
sl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
sl
_
b
asic_map_ins
e
r
t_dims: cre
a
te e
m
pty basic map direct
l
y
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olaege
ex
t
ract out sh
a
red
i
sl_point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
ext
r
act out shared isl_set_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
xtract out s
h
ared isl_term_check_range
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
extract out sha
r
ed isl_space_c
h
eck
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
m
erge isl*map
_
ch
e
ck_range
i
m
plementations
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_m
a
p_
f
ix: reuse i
s
l_map_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Ve
r
doolaege
i
s
l_map_fix_si: reus
e
isl_m
a
p_c
h
eck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_m
a
p_o
p
pose: reuse isl_map_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ver
d
oolaege
isl_m
a
p
.
c
:
m
a
p_b
o
und_
s
i: reuse isl_m
a
p
_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c
: map_boun
d
: reuse isl_ma
p
_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ol
a
ege
isl_
m
ap_fix_val: reuse isl_map_ch
e
c
k
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl
_
b
a
sic_map_drop_core: reu
s
e
isl_basic_map_ch
e
ck_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
l
a
ege
isl_basic_map_drop_d
i
v: im
p
lement in terms of i
s
l
_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoola
e
ge
is
l
_
b
asic_map_drop: extract out isl_basic_map_dr
o
p_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_dro
p
:
d
rop
e
rr
o
r
label
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdool
a
e
g
e
is
l
_basic_map_drop_div: drop removal of const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_map_simplify
.
c: r
e
move_re
d
u
n
dant_d
i
v
s
: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
privatel
y
export
i
sl_basic_
m
a
p
_
drop_
c
onstraints
_
i
nvolving
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
doolaeg
e
isl_basic_m
a
p
_d
r
op_constraint
s
_involving: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_b
a
sic_map_offset
:
us
e
isl_basic_map_peek_spac
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic
_
m
a
p
_
offset: use i
s
l_spa
c
e_offset
and isl_s
p
ace_dim
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Ve
r
doolaeg
e
isl_basic
_
map_contains_
p
oi
n
t
:
us
e
isl_local
_
ex
t
end_p
o
int
_
vec
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
privately expo
r
t isl_local_alloc_from_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
expose isl_local_fre
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdo
o
laege
is
l
_map
.
c:
ad
d
_constraints:
use isl_b
a
sic_ma
p
_add_constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_se
t
_opt:
reu
s
e isl_
b
asic_set_ge
t
_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_tab_pip
.
c: implem
e
nt spli
t
in terms
of
s
plit
_
do
m
ain
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_basi
c
_set
_
total_dim: i
m
plement in terms
o
f isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
ool
a
ege
isl
_
c
onstraint
.
c: use isl
_
basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdool
a
eg
e
isl_c
o
nstraint
.
c
: use
isl_
b
as
i
c
_ma
p
_offset
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoo
l
aege
drop isl_bas
i
c_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
dr
o
p is
l
_basic_set_add_equality dupli
c
a
te
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic_map
_
add_
{
eq,ineq}:
o
nly modify single copy
.
.
.
commit
|
commitdiff
|
tree
next