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_basic_map_apply_range: use isl_basic_map_get_space
2018-09-02
Sven Verdoo
l
aege
isl_
b
asic_map_apply
_
r
a
nge: use
isl_b
a
sic
_
map_
g
et_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
i
s
l_map
.
c: m
o
ve
_
last
:
use i
s
l
_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl_map
.
c: mov
e
_last: use isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
i
s
l
_
b
a
s
ic_map_move_d
i
ms:
use is
l
_ba
s
ic_map_pe
e
k_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map
_
intersect
:
use isl_ba
s
ic
_
map_peek
_
sp
a
ce
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_map_
i
ntersect_r
a
nge: u
s
e isl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
asic_
m
ap_
i
ntersect_domain:
u
s
e
isl_ba
s
ic
_
set_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_solve_lp:
u
se isl_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_pol
y
n
o
mial
.
c
: fix_inactive: use isl_set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_o
u
t
put
.
c: drop_af
f
: us
e
isl_
b
asic_map_var_offse
t
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_basic_map_drop_r
e
dundant_div
s
_
ineq
:
use isl
_
basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_map_simplify
.
c:
.
.
.
_drop_more_redundant_divs:
u
se
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
g
e
is
l
_
map_simplify
.
c: coalesce_divs: use isl_bas
i
c_map_var_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_map_simplify
.
c: div
_
is
_
redund
a
nt: use isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
b
a
si
c
_m
a
p_is_div_constraint:
u
se isl_basic_
m
ap_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
map_simplify
.
c: eli
m
inate_unit_divs: use isl_basi
c
_
m
ap_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ver
d
o
o
la
e
ge
i
s
l_map_simplify
.
c
: chec
k
_
for_div_constraints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_simplify
.
c: better_div
_
cons
t
raint: use isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simplify
.
c: ok_to
_
se
t
_div_f
r
om_bound:
u
se isl_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
ola
e
ge
i
s
l_map_sim
p
lify
.
c:
s
e
t_div_from_lower
_
bound:
u
se isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_map
.
c: f
i
nd_div
:
use
i
sl_ba
s
i
c
_map_var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_bas
i
c_map_o
r
der_divs: use
isl_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_map
.
c: b
a
sic_
s
et_appen
d
_equal
i
ties:
u
se isl_basic_
s
et_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolae
g
e
isl
_
m
a
p
.
c:
insert_
d
iv_rows: u
s
e isl_basic_map
_
offset
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdo
o
la
e
ge
isl_basic_map_
r
emove_divs: use isl_basi
c
_
m
a
p_v
a
r
_
offs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_basic_map_sw
a
p_div: use isl_basic_map_var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
is
l
_ba
s
ic_map_make_strides_exp
l
icit:
use isl
_
bas
i
c_map_
v
ar_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_aff_s
u
b
sti
t
u
te_equalities_lif
t
ed: use isl_basic_set_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
i
s
l_basic_set_po
s
itive_orthant
:
use isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_{set,map}_print_internal:
u
s
e
i
s
l_printer
_
print_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
s
l_transitive
_
clo
s
ure
.
c
:
empt
y
_pa
t
h
_
is_iden
t
ity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_map
_
simpl
i
f
y
.
c: div_find_coalesce: reuse is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
map_sim
p
lify
.
c
: move up is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_t
a
b_p
i
p
.
c: find_con
t
e
xt
_
div: reserve negative
return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_simpl
i
fy
.
c: div_find
_
coalesce: reserve n
e
g
a
tive
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_m
a
p
.
c
: find_div: reser
v
e negat
i
v
e return value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_bernstein
.
c
:
is_tight
:
minor code simplification
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_map_simplify
.
c
:
lower_bound_is_cst: retu
r
n -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
a
dd_low
e
r_di
v
_c
o
ns
t
raint: return retu
r
n
modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
add
_
uppe
r
_div_constraint: ret
u
rn r
e
turn modified resul
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_basi
c
_map_add_div
_
con
s
tr
a
int: retur
n
r
eturn modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl
_
b
a
sic_
m
ap_add_div_const
r
a
ints: retu
r
n modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
add
_
{
u
pper
.
lower}_div_const
r
aint: only pass in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
remove now unused isl_basic_{set,map}
_
add_
d
i
v
_constraints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_local_spac
e
.
c: normal
i
ze_div: ret
u
rn m
o
dified
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
no
r
ma
l
i
z
e
_div_
e
xpression: ret
u
rn modified resul
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_simp
l
ify
.
c: eliminate_v
a
r_
u
sing_equali
t
y: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdool
a
ege
isl_
m
ap
.
c: set_ma_divs:
ret
u
rn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_bas
i
c_map_s
w
ap_d
i
v
: retur
n
modified
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_
o
utput
.
c: print
_
co
n
strain
t
_
c
: drop now red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
d
oolaege
isl_out
p
ut
.
c: drop pri
n
t_aff
i
ne_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_output
.
c: print_constr
a
i
n
t_c:
u
s
e
pri
n
t
_
ls_a
f
fine_c
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoo
l
aege
i
s
l
_
out
p
ut
.
c: print_
b
asic_set_c: use
print_
l
s_partial_aff
i
ne_c
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_cat: supp
o
r
t
C outpu
t
f
o
rmat
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
t
ra
n
s
itive_closure
.
c
:
add_leng
t
h:
reuse incre
m
ent
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
i
s
l
_transitive
_
cl
o
s
ure
.
c: move up increment
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_transitive_closur
e
.
c:
increment: return isl_map
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l
_
transiti
v
e_clo
s
ure
.
c
: increment: clean u
p
s
pace
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl_transit
i
ve_closure
.
c
: map_power: use stric
t
e
r
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_map
_
de
l
tas_map: extract out isl_ma
p
_check_equ
a
l_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdool
a
ege
isl_qpolynomial
_
g
e
t_d
e
n: ret
u
rn isl_val
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoo
l
aege
r
e
name
isl_u
p
o
l
y to isl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_basic
_
map_insert_dims: crea
t
e empty basic map dire
c
tly
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
ext
r
act out sh
a
re
d
i
s
l_point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
e
ge
extract
o
ut shar
e
d isl_
s
e
t
_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
out
s
hared
i
s
l
_
t
erm_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
r
d
oolaeg
e
extract
o
ut shared i
s
l_space_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
me
r
ge
i
s
l*m
a
p
_
check
_
rang
e
implementations
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_m
a
p_fix: reuse is
l
_ma
p
_che
c
k
_
r
a
ng
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_fix_si: reuse
isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
i
s
l_m
a
p_o
p
p
ose: reuse i
s
l_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolae
g
e
isl_m
a
p
.
c: map_
b
oun
d
_si:
r
e
use isl_ma
p
_check_ra
n
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c
:
m
ap_
b
ound: re
u
se isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdool
a
ege
is
l
_map_fi
x
_val: r
e
use isl_map_che
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
ol
a
ege
isl_basic_map_dr
o
p_core
:
reuse isl_
b
asic_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_basic_map_drop_di
v
: implemen
t
in terms of
i
sl_ba
s
ic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
i
s
l
_
b
asic_map
_
drop:
extract
out
isl
_
bas
i
c_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_
d
r
op: drop er
r
or label
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_
b
asic_ma
p
_drop
_
div: d
r
o
p rem
o
val of con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_map_simplify
.
c: remove_redunda
n
t_divs: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
priv
a
tely export isl_ba
s
ic_map_dr
o
p_constraints_i
n
volvi
n
g
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
o
o
l
aeg
e
isl_basic_ma
p
_drop_co
n
straints_involving: m
o
v
e
o
u
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
ba
s
ic_map_offset: use isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolaege
i
sl
_
basic_map
_
offset: us
e
isl_space
_
o
f
fset
and isl_s
p
ace_dim
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
isl_
b
asic
_
map_c
o
n
t
a
i
ns_p
o
int: use i
s
l_local_ext
e
n
d
_
p
oint_vec
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
pri
v
ately export isl_local_all
o
c_from_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
expose isl_loca
l
_f
r
ee
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_map
.
c:
add_co
n
straints: use isl_
b
asic_
m
ap_add
_
c
o
n
s
traint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_basic_
s
et_opt: reuse isl_basi
c
_se
t
_get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_tab_pip
.
c: impleme
n
t sp
l
it i
n
t
e
rms of split_domain
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_bas
i
c_se
t
_total_dim: implem
e
nt
in term
s
of isl_basi
c
_
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_constr
a
int
.
c: u
s
e
isl_basi
c
_se
t
_
o
ffset
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Ver
d
ool
a
ege
isl_constraint
.
c: use isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
V
erdoolaege
drop isl_ba
s
ic_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
drop isl_basic_
s
et_add_e
q
ual
i
ty
duplic
a
te
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaeg
e
i
s
l_ba
s
ic_map_ad
d
_
{eq,ineq}: only
modify
s
ingle co
p
y
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qp
o
lynomial_as_pol
y
nomial_on_domain: use isl_l
o
cal_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdo
o
laege
isl_qpolynomial_gist:
u
s
e is
l
_l
o
cal_space_li
f
t_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
d
oolaege
add
isl_loc
a
l_space_
l
ift_basi
c
_se
t
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_aff_gist: extrac
t
out isl_lo
c
al_spa
c
e_
l
ift_set
commit
|
commitdiff
|
tree
next