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.c: copy_equalities: use isl_basic_set_get_space
2018-09-02
Sven Verd
o
olaege
isl_
m
or
p
h
.
c:
c
opy_eq
u
alitie
s
: use i
s
l_basic_set
_
get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
e
ge
isl_
m
ap_
s
ubtract
.
c: ta
b
_add_const
r
ain
t
: use
isl
_
b
a
s
i
c_ma
p
_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
sl_map_subtract
.
c: tab_add_constr
a
in
t
s: use isl_basic_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_set_variable_compression: use is
l
_basi
c
_set_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl
_
basic_map_dom
a
in_product:
use isl_
b
asic_
m
ap_get_
s
pace
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
laege
isl
_
basic_
m
ap_ov
e
rlying_set:
u
se isl_
b
a
s
ic_set_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
a
s
ic_map_a
p
p
l
y
_
range: use isl_basic_m
a
p_get_
s
p
ace
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_map
.
c
:
move
_
las
t
: use
isl_ba
s
ic
_
map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map
.
c: move_last
:
u
s
e isl_
b
asic_map
_
peek_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
is
l
_basic_map_move_dims: use isl
_
basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basic_
m
ap_int
e
rsect: u
s
e
isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_basic_map_i
n
tersect_range: use i
s
l_basic_set_di
m
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_basic_ma
p
_inter
s
ect_domain: use isl_basic
_
set
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_so
l
ve_lp:
u
se isl_
m
ap
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doolae
g
e
isl_polynomial
.
c: fix_i
n
active: use i
s
l_set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_output
.
c
:
d
ro
p
_af
f
: u
s
e is
l
_basic_ma
p
_var_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_ma
p
_dr
o
p_redundant_di
v
s
_
i
neq: use isl_basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
m
ap_s
i
mplify
.
c:
.
.
.
_dr
o
p_more_red
u
ndant_divs:
use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
_simplify
.
c
:
coalesce_div
s
: use isl_basic_
m
ap_var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olae
g
e
i
sl_map_simplify
.
c: div_
i
s_re
d
undant:
use isl_basic_map
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_ba
s
ic
_
map_is_div_constr
a
i
n
t: u
s
e isl_basic
_
map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_map_simplify
.
c
:
eliminate
_
u
nit_divs: use
isl_basic_ma
p
_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
i
mplify
.
c: check_for_div_const
r
a
ints: u
s
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_s
i
mplify
.
c: better_div_c
o
nstraint: use i
s
l_
b
asic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_simplify
.
c: ok_t
o
_set_div_fr
o
m_b
o
und: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
ol
a
ege
is
l
_ma
p
_simpli
f
y
.
c
:
set
_
div_from_lowe
r
_bound: use
i
sl_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verd
o
olaeg
e
isl_map
.
c
:
find_div: use
isl_ba
s
ic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map_order_
d
ivs: use i
s
l
_
basic_map_var_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map
.
c: basic_set_append_equalities: use isl_ba
s
ic_set_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map
.
c: insert_div_rows:
u
se
i
sl_ba
s
ic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_basic_map_remov
e
_div
s
: use
i
s
l_
b
asic_map_var_of
f
se
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_basic_map_swap_
d
i
v
: use i
s
l_basic_map_
v
ar_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_basic_map_make
_
strides_explic
i
t: use isl_
b
a
sic
_
m
a
p_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_aff
_
substitute_equalitie
s
_lifted: use
isl_
b
asi
c
_s
e
t_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oola
e
ge
isl_basic_set_positi
v
e
_orthant:
use isl_spac
e
_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_basic_{set
,
map}_pri
n
t
_
internal: use
isl_pr
i
nt
e
r_print_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_t
r
ansitive_closure
.
c:
empty
_
p
ath_is_identity: us
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
i
sl
_
map_s
i
mplify
.
c:
d
iv_find_
c
oalesce: reuse is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_map_simpl
i
fy
.
c: move
up is_op
p
osite
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_tab_pip
.
c: f
i
nd_c
o
ntext_div: reserve negative return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_map_
s
implify
.
c: d
i
v_
f
ind_coalesce: re
s
erve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_map
.
c: find_div: reserve nega
t
ive re
t
urn value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_bern
s
tein
.
c: is_tight: mi
n
o
r
code
s
implificat
i
o
n
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_map_simp
l
i
f
y
.
c: lower_bou
n
d_is
_
cst: ret
u
rn -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
a
d
d
_
lowe
r
_div_co
n
straint: retu
r
n
return mo
d
ifi
e
d res
u
l
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
add_upper_
d
iv_constraint: return ret
u
rn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_m
a
p_add_div_
c
onstrai
n
t
: return return
modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erd
o
o
laege
i
s
l_basic_map_ad
d
_div
_
c
o
nst
r
aints: re
t
urn modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolae
g
e
add_
{
upper
.
lo
w
er}_div_constraint:
only pas
s
in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
remove now unused
i
sl_basic_{set,map}_add_div_const
r
a
i
n
t
s
_
v
a
r
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_l
o
ca
l
_
space
.
c: no
r
m
al
i
ze_div: return modifie
d
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
normali
z
e_div_expression: return mo
d
ified
r
esult
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_
m
ap_simplify
.
c: eliminate_var_using_equa
l
ity: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map
.
c: set_ma_
d
ivs: return
modified
result
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoola
e
g
e
isl_
b
asic_map_swap_
d
iv: ret
u
rn modified res
u
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_ou
t
put
.
c:
p
r
i
nt_cons
t
rain
t
_c: drop now r
e
dun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_output
.
c: drop print_affine_
c
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
i
s
l_output
.
c: pri
n
t_const
r
aint_c:
use
p
rint_ls_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdool
a
e
g
e
isl_outpu
t
.
c
:
print_basic_set_c: use p
r
i
n
t
_ls_parti
a
l_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
is
l
_cat: supp
o
rt C o
u
tput format
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_transitive_closure
.
c
:
add_length: r
e
use in
c
r
eme
n
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_tran
s
i
t
ive
_
closure
.
c: move up
i
n
creme
n
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transitive_
c
losure
.
c
: increme
n
t
: ret
u
r
n
isl_map
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_trans
i
tive_closure
.
c:
i
ncrement: clean up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_transitive
_
closure
.
c
:
map_po
w
er: use stricter tes
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_del
t
a
s
_
map:
extract ou
t
isl_map_check_e
q
ual_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
ege
isl_
q
polyno
m
ial_get_d
e
n: ret
u
r
n
isl_
v
a
l
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
ege
rename isl_upoly to i
s
l_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
g
e
isl_bas
i
c_
m
a
p_insert_dims: crea
t
e empty
b
asic
m
ap direc
t
ly
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
tra
c
t o
u
t
shared isl_poin
t
_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
ege
e
x
tra
c
t
ou
t
shared
i
sl_set_che
c
k
_
range
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
V
e
rdoola
e
g
e
extract out shared
isl_te
r
m_
c
heck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oo
l
a
ege
extract out
shared isl_
s
pace_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
merg
e
isl*m
a
p
_check_range implementations
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doo
l
aege
is
l
_map_fix: reuse isl_map_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
laege
isl_map_fix_si:
r
euse isl_map_ch
e
ck_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_map_oppose: reuse i
s
l_m
a
p_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
i
s
l
_map
.
c: map_b
o
und
_
si: re
u
se isl_map_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_ma
p
.
c: map_bound: re
u
se isl_m
a
p
_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
map_fix
_
val: reu
s
e isl_map_
c
heck_range
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoo
l
aege
i
s
l
_ba
s
ic
_
map_drop_core:
r
euse i
s
l_basic_map_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olae
g
e
i
s
l_ba
s
ic_map_
d
rop_div: implement in terms of isl_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
i
sl_basic
_
map_drop: e
x
t
ra
c
t out isl_ba
s
ic_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doo
l
a
e
ge
isl_basic_
m
ap_d
r
o
p:
d
rop
error la
b
el
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rd
o
olaege
isl_
b
asic_map_d
r
op_div: drop re
m
oval of constraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_simplify
.
c:
r
emove_redundant_divs:
d
rop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
p
r
ivately export isl_basic
_
map_dr
o
p_constr
a
ints_inv
o
l
v
i
n
g
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
i
s
l_ba
s
ic_ma
p
_dr
o
p_c
o
nstraints
_
involving: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
ae
g
e
isl
_
ba
s
i
c
_map_offset: use is
l
_
b
asi
c
_map_
p
e
ek_spac
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_basic_map_offset
:
use isl_space
_
offs
e
t a
n
d isl_space_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_contains_point: use isl_local_ex
t
end
_
point_vec
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
p
r
ivately
e
xport i
s
l
_
loc
a
l_alloc_from_ma
t
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
o
olaege
e
xpose is
l
_loca
l
_
f
ree
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: add_constr
a
ints: us
e
isl_basic
_
map_
a
d
d
_constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_basic_set
_
opt: reuse isl_basi
c
_set_get
_
divs
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
rdoolaege
isl_tab
_
pip
.
c:
i
m
plement split in terms of
spli
t
_dom
a
in
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_bas
i
c
_set_
t
o
t
al_dim: implement in terms of isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaeg
e
isl_constraint
.
c: use isl_basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_cons
t
raint
.
c
:
u
s
e isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
dr
o
p isl_ba
s
ic_set_e
x
tend
commit
|
commitdiff
|
tree
next