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_remove_divs: use isl_basic_map_var_offset
2018-09-02
Sven Verdoolaege
isl
_
basic_map_
r
emove
_
d
i
v
s:
u
se isl_basic_m
a
p_v
a
r_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_basic_map_swap_div: use isl_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_basic
_
map_make_strides_explicit: use isl
_
basic_map_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_a
f
f_substitute_equa
l
it
i
e
s
_lifted: use
isl_
b
asic_set_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdo
o
laege
i
sl_basic_set_positive_or
t
hant:
use isl_space
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_basic_{set
,
ma
p
}
_print_internal
:
use i
s
l_printer_print_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
oolaege
isl_tran
s
itive_closur
e
.
c
: empt
y
_path_is
_
i
d
entity:
u
se
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_m
a
p_s
i
mplify
.
c: div_fi
n
d_coa
l
es
c
e: reus
e
is_
o
pposite
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
map_s
i
mpli
f
y
.
c: move up is_oppo
s
i
te
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_t
a
b_pip
.
c: find_co
n
text_div: reserve
neg
a
tive return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_m
a
p_si
m
plify
.
c: div_find_coalesce: r
e
s
erve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
i
sl_map
.
c
:
find_div: reserve
n
egative r
e
turn value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_bernstein
.
c: is
_
t
ight:
m
ino
r
co
d
e simplific
a
ti
o
n
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
ae
g
e
isl_
m
ap_simplify
.
c: lower_bound_
i
s_cst:
r
eturn
-
1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
add
_
l
o
we
r
_
div_constr
a
in
t
: r
e
t
u
r
n re
t
urn m
o
dified resu
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
d
oo
l
a
e
ge
add_upper_div_constr
a
int: return r
e
turn modified resu
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_
b
asic_m
a
p_a
d
d_d
i
v_constraint: return ret
u
rn
modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_
a
d
d
_
div
_
constraints: r
e
turn modifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
e
ge
add_{uppe
r
.
lower}_div_con
s
t
r
a
int: only pass in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
re
m
ove
n
o
w
u
nused isl_
b
asic_{
s
et,ma
p
}_a
d
d_div
_
co
n
s
traints
_
var
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_local_space
.
c
: normalize_div: return mod
i
fi
e
d resul
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
nor
m
ali
z
e_di
v
_
expression: return modi
f
ied result
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_map_simplify
.
c: eliminate_var_usi
n
g_equality
:
return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
dool
a
ege
is
l
_
m
ap
.
c: set_ma_divs: return modified
r
e
su
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaeg
e
isl_basic_
m
ap_swap_di
v
: re
t
urn m
o
dif
i
e
d result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_output
.
c: pri
n
t_c
o
nstrain
t
_c:
d
rop now r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
oolaege
i
s
l_output
.
c: d
r
op p
r
int_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_output
.
c: print_con
s
traint_c: use print_ls
_
affi
n
e_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c
:
pri
n
t
_
basic
_
set_c
:
use pri
n
t_ls_
p
ar
t
ial_affine
_
c
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erd
o
olaege
isl_cat: support C output format
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
i
sl_transitive_closure
.
c: add_length: reuse increment
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
laege
isl_tr
a
nsitive_c
l
osure
.
c
:
move up
increm
e
nt
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_tra
n
sitiv
e
_cl
o
sure
.
c: i
n
crement:
r
eturn
i
s
l_ma
p
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_transitive_closure
.
c
:
in
c
r
ement: clean up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_transit
i
ve_closure
.
c:
map_power:
use stricter test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_deltas_map: extract o
u
t i
s
l
_
map_check_equal_tuples
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Ve
r
doo
l
aege
isl_qpolynomial_get_den: retu
r
n
isl_val
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
rename
isl_upoly to
i
sl
_
poly
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
isl_basic_map_insert_dims: create empty basic ma
p
direct
l
y
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaeg
e
extract out shared isl_point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
extract out shared
i
sl
_
set
_
c
h
eck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
tract out shared
isl_t
e
rm_check
_
ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
a
e
ge
extract
o
ut shared isl_
s
pace
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
la
e
ge
merge
isl*map_check_range implement
a
tio
n
s
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_map_
f
ix: reuse isl_map_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl
_
map_fix_si: reuse isl
_
m
ap
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolae
g
e
isl_map_oppose: r
e
use isl_map_
c
h
e
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdool
a
ege
i
s
l_map
.
c
: m
a
p_bound_si: reuse isl
_
map_chec
k
_
r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaeg
e
i
s
l_map
.
c: m
a
p_bound:
reuse isl_
m
ap_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
isl_map_fi
x
_
val:
reuse isl_map_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_basic_map
_
drop_core: reuse isl_bas
i
c_map_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop_div:
imp
l
e
ment
in t
e
rms
o
f isl_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
i
sl_basic_
m
ap_drop: extract ou
t
isl_
b
a
s
ic_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erdoolaege
isl_basic
_
map_dr
o
p: drop err
o
r labe
l
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map_d
r
op_div:
drop re
m
oval of c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_map_sim
p
l
ify
.
c
:
remove_r
e
dundant_
d
ivs:
drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privat
e
ly export isl_basic_map_drop
_
con
s
tra
i
n
t
s_involving
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
lae
g
e
isl_bas
i
c
_
map_drop_constraints_i
n
volving
:
move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_basic
_
map
_
off
s
et: use isl_
b
asic_map_peek_sp
a
c
e
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
er
d
o
olaege
isl_bas
i
c_ma
p
_offse
t
: use
i
sl_space
_
of
f
se
t
a
n
d
isl_space_di
m
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_basic_map_contains_
p
o
i
nt: use isl_local_
e
xtend_point_vec
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdo
o
la
e
ge
pr
i
v
ately expor
t
isl_loc
a
l
_alloc_from_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
g
e
expose
i
s
l_loca
l
_free
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl
_
map
.
c: add_constraints:
use i
s
l
_basic_map_add_constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
i
s
l
_
b
a
s
ic_set_op
t
:
re
u
se isl
_
ba
s
ic_set_get
_
divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
isl_tab_pip
.
c: implement split in terms of split_domain
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
rdoolaege
isl_basic_
s
et_
t
o
t
al_dim: implement in terms of isl
_
basi
c
_ma
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erdoolaege
isl_co
n
s
t
r
a
int
.
c: use isl_b
a
si
c
_set_
o
ff
s
et
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
is
l
_constraint
.
c: use
isl_basic_ma
p
_
o
f
fse
t
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
drop isl_bas
i
c_set_extend
commit
|
commitdiff
|
tree
2018-08-25
S
ven V
e
rdoolaege
dr
o
p isl
_
basic_set
_
add_equality dupli
c
ate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
basic_map_add_{eq,ineq}: only
modify
sing
l
e copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
isl_qpol
y
n
o
m
ial_as_
p
olynom
i
a
l
_on_
d
omai
n
: use isl_loca
l
_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
V
e
rdoo
l
aege
isl_qpolynomial_gist: use isl_loc
a
l_spa
c
e_li
f
t_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
e
g
e
ad
d
is
l
_local_space_lift
_
basic_set
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
r
doolaege
isl_aff_gist: extr
a
ct out isl_local_space_lift_
s
et
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_b
a
sic_map_identity: use is
l
_
s
p
ace_dim
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_m
a
p
.
c: basic_map_identity
:
reuse isl_ba
s
ic_m
a
p_e
q
ual
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_space_
u
nde
r
ly
i
ng: return set space
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaeg
e
isl
_
basic
_
set_preimage: use
i
sl_basic_set_ad
d
_dims
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
eg
e
isl
_
un
i
on_
*
_
s
et_has_di
m
: rename to isl_unio
n
_*_set_ha
s
_spa
c
e
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
rdoolaege
isl_
u
nio
n
_*_set_has_dim: rename "dim"
v
a
riab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_set_fl
a
tten_map: r
e
name "di
m
" variable
s
to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_t
r
ansitive_closure
.
c
: union_floyd_war
s
hall_on_l
i
st
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_sp
a
c
e_lift: rename "dim"
var
i
able to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_space_j
o
in: rename "dim"
variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_sp
a
c
e
_alloc: rename "di
m
" v
a
r
iable
to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_lo
c
al_space_
o
ffset
:
renam
e
"dim" v
a
r
iable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_transitive_closure
.
c: const
r
uct
_
p
o
wer: r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_map
.
c: map_dim_opt: rename "di
m
"
variable t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_basic_set_soluti
o
ns: rename "dim
"
va
r
iabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
i
s
l_basic_set_coeffic
i
ents: ren
a
me
"
dim" varia
b
le t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
g
e
isl_
s
et_lift: rename
"
dim
"
variable to
"space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aeg
e
isl_map
.
c: map_ap
p
ly_range: renam
e
"dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
e
g
e
isl_ba
s
i
c_set_sam
p
le_point: rename "d
i
m" varia
b
le to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l_factorizer_group
s
: r
e
name "dim" variable to
"sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl
_
basic_se
t
_
l
ift: rename
"
dim
"
variabl
e
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
i
s
l_basic_map_add_c
o
nstraint:
r
ename "d
i
m" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
bernst
e
in
.
c:
b
erns
t
e
i
n
_
coeff
i
cients_cell: ren
a
me
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdo
o
laege
i
s
l_union_pw_*
_
from_pw_*
:
rename
"
dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
next