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_offset: use isl_basic_map_peek_space
2018-08-28
Sven Verdo
o
lae
g
e
isl_b
a
sic_m
a
p_offset: use isl_basic_map_peek_spac
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_
b
a
sic_map_
o
ffset:
u
se i
s
l_space_offset and
isl
_
space
_
dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_
b
as
i
c_map_contains_point: use isl_
l
ocal_ex
t
end_p
o
in
t
_vec
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
privatel
y
expo
r
t isl_local_alloc_from_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
expose i
s
l_lo
c
al_
f
ree
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdool
a
eg
e
i
s
l_map
.
c: add_co
n
straints: use isl_basic_map_add_con
s
tr
a
i
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic_set_opt: reuse isl_basic_se
t
_
get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_tab_pip
.
c
:
im
p
le
m
ent
split in terms of spli
t
_domain
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_set_total_dim: implement in
terms of isl_bas
i
c_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ola
e
ge
isl_
c
onstraint
.
c
: use
i
sl
_
b
a
s
i
c_set_o
f
fse
t
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
c
onstraint
.
c: use is
l
_basic_
m
ap_offset
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rd
o
olaege
d
r
op isl
_
basic
_
set_exte
n
d
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
Verdo
o
l
aeg
e
drop isl
_
bas
i
c_set_
a
d
d_equality du
p
li
c
ate
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoo
l
aege
isl_bas
i
c_map_add_{e
q
,ineq}: only modify si
n
gle copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpo
l
ynomial_as_polynomial
_
on_domain: use isl_local
_
space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Ve
r
doolaeg
e
isl_qpolynomial_
g
ist: use isl_loca
l
_space
_
lift_
s
et
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
add
i
sl
_
lo
c
al_space_lift
_
basic_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
is
l
_aff_gis
t
: extract out isl_local_space_l
i
ft_set
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_m
a
p
_
ident
i
ty
:
use
i
s
l_s
p
a
c
e
_
dim
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_map
.
c: basi
c
_map_identity: re
u
se isl_b
a
sic_map_eq
u
a
l
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
g
e
isl_space_underl
y
ing:
return set spa
c
e
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_set_preimage: use
i
s
l_
b
asic_set_add_dim
s
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aeg
e
isl_union_
*
_set_has_dim: rena
m
e
to isl_u
n
i
on_*_set_ha
s
_space
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_un
i
on
_
*_s
e
t_has_dim: rename "dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_set_flatten_map: rename "dim" varia
b
les to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
l
a
e
g
e
isl_transitive_c
l
osure
.
c: union_floyd_war
s
hall_on_list
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
i
s
l_space_lift:
r
e
name "dim" variable t
o
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
space_join: re
n
ame
"d
i
m" v
a
riable to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
r
dool
a
ege
is
l
_space_alloc: rename "dim" variable to
"
sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaeg
e
isl_l
o
cal_space_offset: renam
e
"di
m
"
variable t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_transiti
v
e_closure
.
c:
c
o
nstruct_power: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
la
e
ge
isl_map
.
c:
m
ap_
d
i
m
_opt: r
e
nam
e
"dim" variab
l
e to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoo
l
aege
isl_basic_set_s
o
luti
o
ns: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic
_
set_coeff
i
c
ients: r
e
name "dim" variable
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoo
l
aege
isl_set_lift: rename "dim" v
a
riable to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl
_
map
.
c: map_apply_ran
g
e: rename "dim
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basi
c
_set_sam
p
le_point: rename "dim" variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_f
a
ctori
z
er_groups: rename "di
m
" va
r
iab
l
e to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
g
e
is
l
_b
a
sic
_
s
et_lift: re
n
ame
"dim" variable to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basic_map_add_constraint: rena
m
e
"
dim" variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdoolaeg
e
isl_ber
n
stei
n
.
c: bern
s
tein_coefficient
s
_cell: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laege
isl_union_pw_*_from_pw_*: rename "dim"
variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
t
ab_pi
p
.
c
:
split_dom
a
i
n: rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
rdoola
e
ge
isl_ma
p
_d
e
ltas_ma
p
: rename
"
d
omain_
d
i
m" var
i
able to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
transitive_clo
s
ure
.
c
:
a
d
d_length: rename "dim"
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
t
ra
n
sitive_
c
losure
.
c: set_p
a
th_length: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_tr
a
nsitiv
e
_clos
u
re
.
c: path_along_d
e
lt
a
:
:
rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_range_product: rename "dim
"
variable
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaeg
e
isl_ba
s
ic_map_prod
u
ct: rename
"
d
i
m
" variabl
e
t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doola
e
ge
isl_basic_map_deltas_map: rename "dim" v
a
riabl
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
isl_basi
c
_m
a
p_domain_map:
r
e
na
m
e "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ba
s
ic
_
map_
a
p
p
ly_ran
g
e: r
e
name "dim" variable t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_local_
s
pace_a
l
loc
:
rename "
d
i
m" var
i
able to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_basi
c
_map_less_at: rename "
d
i
m" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_ma
p
_
e
qual: rename "dim" arg
u
ment to
"
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaeg
e
isl_output
.
c
: print
_
b
a
sic_set_c
:
rename "
d
im" argu
m
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_l
o
cal_spac
e
_alloc_d
i
v: rename
"
di
m
" argum
e
nt
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdool
a
ege
isl
_
space_cow: rename "dim" argume
n
t
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
i
s
l
_
sp
a
ce_lift: rename "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_space_flatten: rename "dim" argu
m
ent t
o
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_re
s
et
:
r
ename
"dim
"
ar
g
ument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space_
z
i
p:
r
ename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl
_
space_unwrap: rename "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
isl_space_wrap: ren
a
me "dim
"
argument to "
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_spa
c
e_is
_
wrapping: rename "dim" ar
g
ument
to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdool
a
e
g
e
isl_spac
e
_fr
o
m_range: rename "dim" argumen
t
to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pace_from_domai
n
:
r
e
name "dim" argument to
"s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
isl_s
p
ace_
r
ever
s
e: renam
e
"dim" argument to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laege
isl_space_set_
d
i
m_n
a
m
e: rena
m
e "dim" argument
to "spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
s
l_
s
pace_get
_
tuple_name: rena
m
e
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
is
l
_space_get_d
i
m_name: rename "d
i
m" argument to
"spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_space_set_t
u
p
l
e
_na
m
e
: rename "d
i
m" argume
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_get_dim_id: renam
e
"di
m
" a
r
gumen
t
to "spac
e
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space_has_dim_id: renam
e
"dim
"
argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
s
pace
_
r
e
set_t
u
ple_i
d
: rename "dim" arg
u
ment
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_sp
a
c
e
_
s
et_tupl
e
_id: ren
a
me
"dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_get_tuple_id: rename "dim" argument to "s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_spac
e
_has_tup
l
e_id:
r
en
a
m
e "d
i
m"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdool
a
ege
isl_sp
a
ce
.
c: offs
e
t: rename "dim" argumen
t
t
o
"
spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
space_dup:
r
e
nam
e
"dim" argument t
o
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
is
l
_space
_
get_ctx:
ren
a
me "dim
"
argument to "space
"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
i
s
l_fol
d
.
c: qpolynomial_fold_alloc:
r
ena
m
e "di
m
"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
u
n
i
on_*
_
allo
c
: rename "dim" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laeg
e
isl_map
.
c: map_l
e
x_gte: rename "
d
ims"
argume
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l
_
ma
p
.
c: ma
p
_
l
ex_
l
te: rena
m
e "dims" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
r
ansitive_c
l
o
sure
.
c: const
r
uct_p
o
wer_components
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
ool
a
e
g
e
isl_b
a
sic_se
t
_nat_universe: r
e
na
m
e
"dim" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoo
l
ae
g
e
isl_map
.
c: map_lex_gte_first:
re
n
a
me "dims"
a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_map
.
c: map_lex
_
lt
e
_f
i
rst: rename "d
i
ms" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_output
.
c:
p
r
i
nt_set_c: rename "dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c: floyd_w
a
rshall: r
e
name "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaeg
e
isl_transitive_
c
losure
.
c: floyd_warshall_w
i
t
h
_groups
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_transitive
_
c
l
osure
.
c: comput
e
_incremental: rename
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
isl_
b
asic_map_al
l
oc_space
:
rename
"
dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_map_more_or_equ
a
l_at:
rename
"
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_basi
c
_map_m
o
re_at: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_map_l
e
ss
_
or_
e
qual_at: rename "d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_
t
ab_p
i
p
.
c: set_min
i
mum:
r
ename "dim" argument
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_dim_m
a
p_dim
_
ra
n
g
e: r
e
name "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic
_
map_ext
e
nd_s
p
a
c
e: re
n
ame "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
next