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_insert_dims: create empty basic map directly
2018-08-31
Sv
e
n Verdoolaeg
e
isl_
b
a
sic_map_in
s
ert_
d
i
m
s: c
r
e
ate em
p
t
y basic map directly
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
do
o
lae
g
e
extra
c
t out shar
e
d isl
_
point_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
ex
t
r
a
ct out shared i
s
l_set_check_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out shared isl
_
term_check
_
range
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
l
a
ege
ex
t
ract out share
d
isl_space_che
c
k
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
merge isl*m
a
p_
c
heck_ran
g
e imp
l
em
e
nt
a
tio
n
s
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
aege
isl_map
_
f
i
x
: reuse isl_map_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rd
o
o
laeg
e
isl_map_fix_si: reuse isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_map_oppose: reuse isl_m
a
p_ch
e
c
k
_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_map
.
c: map_bound_si:
reuse isl_map_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_map
.
c: m
a
p_bo
u
nd: reus
e
i
sl_map_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
oola
e
ge
i
sl_map_fix_val
:
re
u
se isl_map_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
o
l
ae
g
e
isl_basic_map
_
d
rop_c
o
re: reuse isl_basic_map_che
c
k
_
ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basic
_
map_drop_div: impl
e
ment in terms o
f
i
sl
_
basic
_
map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdo
o
laege
isl_
b
a
sic_map_drop: extract
o
ut isl_basic_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
do
o
lae
g
e
i
s
l_basic_
m
ap_drop: drop err
o
r
l
a
bel
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_ba
s
ic_map_drop_div: d
r
op re
m
oval of cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdool
a
e
ge
isl_map
_
simpl
i
f
y
.
c:
remove_re
d
undan
t
_
d
ivs: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privatel
y
e
x
port isl_basic_map
_
drop
_
constraint
s
_involving
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_dr
o
p
_
constraints_i
n
volvin
g
: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
is
l
_bas
i
c
_
map
_
off
s
et:
use isl_ba
s
ic_map_
p
eek_space
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
i
s
l
_
basi
c
_map_offset: us
e
isl_space_
o
f
f
set and is
l
_space_dim
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
doolaege
isl_basic_map_c
o
ntains_point: use isl_local_extend_point_vec
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
p
rivately exp
o
rt
isl_local_alloc_from_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdo
o
la
e
ge
e
x
pose
isl_local_f
r
ee
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_map
.
c: ad
d
_con
s
tr
a
i
n
ts: use isl_
b
asi
c
_map_add
_
constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_basic_se
t
_
opt: reuse isl_bas
i
c_set
_
get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
tab
_
p
i
p
.
c: impl
e
ment spl
i
t
in terms
of
split_dom
a
i
n
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
i
s
l_basic_set_total_dim: implement in
t
e
rms of isl_b
a
sic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolae
g
e
isl_constraint
.
c: use isl_basi
c
_se
t
_off
s
et
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Verdoolaege
isl_co
n
straint
.
c: use isl_bas
i
c_map_offs
e
t
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oo
l
a
ege
drop isl_basic_
s
et_ex
t
end
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
drop isl
_
b
a
sic_set_add_equality
d
uplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoo
l
ae
g
e
isl_basic_map_add
_
{eq,
i
neq}: only mo
d
ify s
i
ngle
co
p
y
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
isl_qpolynomial_as_polyn
o
mial_on_domain: use isl_local_spac
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
is
l
_
q
polynomial_gis
t
: use isl_local_space_lif
t
_
s
et
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdo
o
lae
g
e
add isl
_
l
ocal_space_lift_
b
asic_se
t
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
Verdoolaege
is
l
_a
f
f_gist: e
x
tra
c
t ou
t
isl_local_
s
pace_lift_set
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
isl_basic_map_identity:
use i
s
l_space_dim
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_ma
p
.
c
:
basi
c
_
m
ap_identity
:
re
u
se isl_basic_ma
p
_
equal
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_underlying
:
retu
r
n set
space
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
s
l_b
a
si
c
_
s
e
t
_preimage: use isl
_
b
asic_set_add_dim
s
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
union_
*
_
s
et_has_dim: rename to
isl_
u
n
i
o
n
_
*_set_has_
s
pace
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl
_
u
n
ion_*
_
set_has
_
dim:
re
n
ame "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_se
t
_flat
t
en_map: rename
"dim" variables to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_t
r
ansi
t
i
ve_clos
u
re
.
c
: u
n
ion_floyd_wa
r
s
h
all_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ve
r
doo
l
aege
isl_space
_
lif
t
: rename "dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
s
pace_join: rename "di
m
" var
i
abl
e
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_
s
pace_alloc: rename "dim" v
a
riable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_l
o
ca
l
_
s
pac
e
_
o
ffset: r
e
name
"dim" v
a
riable to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ransitive_closure
.
c: cons
t
r
u
ct_power:
r
ename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_
m
ap
.
c: map_dim_op
t
: ren
a
m
e "dim"
v
ariab
l
e to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
i
sl_basic_set_so
l
utions: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basic_set_coe
f
ficients
:
rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_set_lift: renam
e
"dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_map
.
c:
map_apply_range: ren
a
me "
d
im
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l_ba
s
ic
_
set_sample_po
i
n
t
: r
e
nam
e
"dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_
f
a
c
t
o
rizer_groups: rename
"
d
i
m" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl
_
basi
c
_set_lift: rename "d
i
m" varia
b
le to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_ma
p
_
add_constraint: r
e
name "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl
_
bern
s
te
i
n
.
c: be
r
nstein_c
o
efficients_cell
:
r
e
name
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union_
p
w_*_from_pw_*: rename "di
m
" variable
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tab_pip
.
c: split_domain
:
rename "dim
"
var
i
able
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_deltas_m
a
p
: r
e
name
"
domain_
d
im" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_tran
s
i
t
ive_
c
losure
.
c:
a
dd_length: rename
"dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
rd
o
ola
e
ge
isl_tran
s
it
i
ve_clos
u
re
.
c: se
t
_path_l
e
ngth: ren
a
me
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaeg
e
isl_transitive_clo
s
ure
.
c: pa
t
h_along_delta:: re
n
am
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaeg
e
i
s
l_ba
s
ic_map_
r
ange_
p
roduct: rename "dim" variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basic
_
map_
p
roduc
t
: rename "di
m
" variable to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic
_
map_d
e
ltas_map: rena
m
e
"dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_m
a
p_
d
o
main_map: r
e
name "dim"
v
a
riable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laege
i
sl_ba
s
i
c
_map_apply_range: r
e
na
m
e "
d
im" variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_local_spa
c
e_
a
lloc
:
rena
m
e "dim"
v
ariable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
aege
isl_basic_map_less_at:
r
e
n
a
m
e
"
dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_basic_ma
p
_equal: rena
m
e "dim"
argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_output
.
c: pr
i
n
t
_b
a
s
i
c
_set_c: rena
m
e "
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_loca
l
_space_alloc_div: re
n
ame
"
dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
i
s
l_space_cow: rename "dim" arg
u
ment to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_sp
a
ce_lift: rename "di
m
" argument to
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_space_flatten:
r
ename
"di
m
" argum
e
nt to
"
spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_re
s
et:
re
n
a
me "dim"
argumen
t
t
o
"s
p
a
c
e"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
isl_sp
a
ce_zi
p
:
renam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_u
n
wra
p
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_space_wrap: rena
m
e
"dim" argu
m
e
nt to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
isl_space_i
s
_wrappin
g
:
rename
"dim" a
r
gu
m
e
nt to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_spac
e
_from_range: rename "dim"
a
rgum
e
n
t
t
o
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoola
e
g
e
isl_s
p
ace_from_
d
omain: rename "
d
im" argum
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
d
o
o
laege
isl_
s
pace_reverse: re
n
a
me "dim"
a
r
gument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set
_
di
m
_
name: rename "d
i
m"
a
r
g
ument to
"
s
p
ace
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
i
s
l_
s
p
a
ce_get_tuple_
n
ame: renam
e
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_get_
d
im_name: rename "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_space_set_tuple
_
n
ame: re
n
ame "d
i
m" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_space_get_d
i
m_id: rena
m
e "dim" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoo
l
aege
isl_space_h
a
s_dim_i
d
: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl
_
space_res
e
t_tuple_id: rename
"
d
im"
argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_sp
a
ce_set_tuple_id: rename "dim
"
a
r
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
do
o
laege
isl_spa
c
e
_
ge
t
_tuple_i
d
: rename "dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl
_
s
p
ac
e
_has_tuple_id: rena
m
e "dim" ar
g
ument
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spac
e
.
c: of
f
se
t
: ren
a
me "dim" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_dup:
r
e
name "d
i
m
"
argu
m
ent to "space"
commit
|
commitdiff
|
tree
next