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,set}_free_equality: return modified result
2018-10-07
S
ven Verd
o
olaege
isl
_
b
asic_
{
m
a
p,set}
_
free_e
q
uality: return modifie
d
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sve
n
Verd
o
olaege
isl_basi
c
_map_f
r
e
e
_equality: avoi
d
accessing ctx f
i
eld
.
.
.
commit
|
commitdiff
|
tree
2018-10-07
Sve
n
Verdoolae
g
e
isl_output
.
c: can
_
print_div
_
e
xpr: use is
l
_local_div_i
s
_marke
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sven Verdoolaege
add
i
sl_tab_swap_constr
a
ints
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdool
a
ege
drop
d
eprec
a
ted isl_basic_map_n_*
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolaege
drop depre
c
ated isl_map_n_param
commit
|
commitdiff
|
tree
2018-09-06
S
ve
n
Verdoolaege
drop deprecated isl_map_n_out
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
d
rop depre
c
a
ted isl
_
map_n_in
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_dim: us
e
isl_spac
e
_di
m
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl
_
s
et_pa
r
a
ms: implemen
t
in terms of isl_map_
p
a
r
a
ms
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_set_d
i
m: imp
l
em
e
nt in terms of isl_map_di
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
o
rph
.
c: c
o
py_e
q
ualitie
s
: use isl_basic_set_g
e
t_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_ma
p
_sub
t
ract
.
c: t
a
b_add_constr
a
int
:
use isl_basic_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_subtract
.
c:
t
a
b_add_constraints:
u
se isl_basic_map_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_set
_
variable_compressi
o
n: use is
l
_basic_set_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl
_
basic_
m
ap_domai
n
_p
r
odu
c
t
: use isl_basic_ma
p
_
get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
is
l
_basic_map_overlying_set: use isl_b
a
sic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p_apply_ra
n
ge: use isl_basic_map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map
.
c: move_last: use isl
_
basic
_
map_of
f
s
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
i
s
l_m
a
p
.
c
:
move_last: use isl_b
a
sic_
m
ap_pee
k
_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_basic_map_move_di
m
s
:
u
se isl_basic
_
map_peek_spac
e
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
dool
a
e
ge
isl_ba
s
ic_map_
i
ntersect: use isl_ba
s
ic_map_pee
k
_space
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolaege
isl_bas
i
c_map_intersect_range:
u
se isl_basic_se
t
_dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_
b
asic_map_intersect_d
o
m
ain: use isl_
b
asic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaeg
e
i
sl_map_solve_lp: use
i
sl
_
m
a
p_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oolae
g
e
isl_pol
y
nomia
l
.
c: fix_i
n
act
i
v
e: use is
l
_set
_
dim
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
is
l
_
o
utput
.
c
: drop
_
aff: use isl_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
d
o
olaege
isl_basic_map_drop_redundant_
d
i
vs_
i
neq: use isl_basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map_
s
implify
.
c:
.
.
.
_drop_more_redunda
n
t_divs:
use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_map_simplify
.
c
:
coalesce_divs:
use isl_
b
asic_map
_
var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_map_sim
p
lify
.
c
:
div_is_
r
edundant: use isl_ba
s
i
c_m
a
p_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_bas
i
c_map_is_div_cons
t
raint
:
use isl_basic_map_offs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
elim
i
nate_unit
_
divs
:
us
e
isl_b
a
sic_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl
_
map_simplify
.
c: chec
k
_for_div_cons
t
raints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
l
aeg
e
isl_map_simplify
.
c:
b
ett
e
r_di
v
_c
o
nstr
a
i
nt: us
e
i
s
l
_ba
s
ic
_
map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_ma
p
_simp
l
ify
.
c: ok_to_set_div_from
_
bound: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_map
_
sim
p
lify
.
c: set_div_from_lower_bound: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olaege
isl_m
a
p
.
c: find_div: u
s
e isl_basic_ma
p
_var_offse
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aeg
e
is
l
_ba
s
ic_map
_
order_divs: use isl_
b
asic_map_var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaeg
e
isl_map
.
c: basic
_
s
e
t
_appen
d
_e
q
uali
t
ies: u
s
e isl_basic_set_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oola
e
ge
isl_map
.
c: inser
t
_div
_
row
s
: us
e
isl_basic_
m
ap_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
dool
a
ege
i
sl_basic_map_remove_d
i
vs: use isl_ba
s
i
c_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
isl_basic_map_swap_div:
use i
s
l_basic_ma
p
_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_ba
s
i
c_map_make_strides_explicit: u
s
e isl_basic
_
map_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl
_
a
f
f_su
b
st
i
tute_equalities_l
i
fted: use
i
sl_basic_
s
et_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_set_
p
ositive
_
orthant: use isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_basic_{set,map}_print_
i
nternal: use i
s
l
_
printer
_
pri
n
t_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verd
o
ol
a
ege
isl_t
r
a
n
sitive_
c
losure
.
c: empty_path
_
is_ide
n
tity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oo
l
aeg
e
isl_m
a
p_si
m
plify
.
c: div_find_coalesce:
reuse is
_
opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl_map_simplify
.
c: mo
v
e up is_op
p
osite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
i
sl_ta
b
_pip
.
c: f
i
nd_conte
x
t_d
i
v
: reserve negative return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_m
a
p_sim
p
lify
.
c: d
i
v_find_coalesce: r
e
serve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aeg
e
isl_
m
ap
.
c: find
_
div: reserve nega
t
ive r
e
turn valu
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_be
r
nstein
.
c: i
s
_tight: minor c
o
de s
i
mplification
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oo
l
aege
is
l
_map_si
m
p
l
ify
.
c: l
o
w
er_b
o
und_is_cst: re
t
urn -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erd
o
o
l
aege
add_low
e
r_div_co
n
st
r
aint: return return modified r
e
su
l
t
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
add
_
upper_div_
c
onstr
a
i
nt: return
r
e
turn modified re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl
_
basic_m
a
p
_add_div_constr
a
int: ret
u
r
n return modif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_basic_map_add_div_constrain
t
s:
r
e
t
u
rn
modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
l
a
ege
add_{
u
pp
e
r
.
lower}_d
i
v
_const
r
aint: only pa
s
s i
n
p
ositio
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
remove now unused isl_b
a
sic_{se
t
,map}_a
d
d_div_constraints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_loc
a
l
_space
.
c: no
r
malize_div: retu
r
n
modifie
d
r
e
sult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
nor
m
alize_
d
iv_express
i
on:
retu
r
n modified
r
esult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
is
l
_ma
p
_simplif
y
.
c
:
elimi
n
ate
_
var_using_equality:
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map
.
c: set_ma_div
s
: retur
n
modi
f
i
ed result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_swap_
d
iv:
return modified
r
esult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_outpu
t
.
c: print_constrain
t
_c: dr
o
p now redu
n
da
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c:
d
ro
p
print_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c
:
prin
t
_co
n
straint
_
c: use print_ls_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
i
s
l_out
p
ut
.
c: print
_
b
a
s
ic
_
s
e
t_c: use pri
n
t_ls_pa
r
tial_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_cat:
s
uppo
r
t C outpu
t
form
a
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdool
a
ege
isl_tra
n
sitive
_
closur
e
.
c: add_length: reus
e
increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_c
l
o
sure
.
c: mo
v
e up increm
e
nt
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
e
g
e
isl
_
transitive
_
closure
.
c:
i
ncrement: ret
u
rn is
l
_map
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
i
s
l
_
transitive_clos
u
re
.
c: i
n
crement: clean up
s
pace
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaeg
e
i
s
l_transitive_closure
.
c: map_power:
u
se
s
tricter t
e
st
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_deltas_map: extract out i
s
l_
m
ap_
c
h
e
c
k_equal_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
sl_qpolynomial_get
_
den: re
t
urn isl_val
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
r
e
n
ame is
l
_
upo
l
y to isl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
isl_basic_map
_
insert_dims: cre
a
te empty b
a
s
i
c
m
ap directly
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoola
e
ge
extract out
sh
a
red isl_poi
n
t_dim
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
erdool
a
ege
extr
a
ct out
shared isl_se
t
_check_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
extr
a
c
t ou
t
shared isl_term
_
check
_
r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
e
x
t
ract out s
h
a
r
e
d is
l
_space_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
laege
me
r
ge isl
*
map_chec
k
_range
i
m
plement
a
tions
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
is
l
_map_fix: reus
e
isl
_
map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
i
s
l_
m
ap_fix_s
i
: reuse isl_map_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_ma
p
_o
p
p
o
se: reuse isl_map_che
c
k
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verd
o
o
laege
isl_m
a
p
.
c: map_bound_si: reuse isl_map_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
laege
is
l
_ma
p
.
c
:
map_bound: reuse
i
sl_map_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verd
o
o
l
aege
i
s
l_map_fix_val
:
reuse isl
_
map_check_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
i
sl_
b
asic_map
_
drop_core: reus
e
isl_basic_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
i
s
l
_
ba
s
i
c_map_dro
p
_div: impleme
n
t in te
r
ms of is
l
_basic_ma
p
_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
aege
isl_b
a
sic_map_
d
r
o
p:
extract out isl_basic_m
a
p_dr
o
p_core
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basic_
m
ap_drop: drop error label
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_ma
p
_
drop_
d
iv: drop removal of constraint
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_map_simplify
.
c: remove_
r
edundan
t
_div
s
:
drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
privately e
x
por
t
isl_basic_map_drop_
c
onstra
i
nts_invol
v
ing
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_basic_map_drop_constraints_i
n
volving:
m
ov
e
out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_
b
asi
c
_map_offset: us
e
isl_basic_map_peek_s
p
ace
commit
|
commitdiff
|
tree
next